コンパイラ
静的な型をもつ言語で、コンパイラが型検査を行う主な利点はどれか。
- A型の合わない演算や代入を、実行する前に見つけられる
- B型の宣言がなくなり、プログラムが必ず短くなる
- C実行中に起こるすべての誤りを、コンパイル時になくせる
答えと解説を見る
正解：A. 型の合わない演算や代入を、実行する前に見つけられる
型検査では、整数と文字列を足そうとする、関数に型の違う引数を渡すといった誤りを、プログラムを実行する前に見つけられます。誤りを早く見つけられるうえ、型の情報はコンパイラが効率のよい機械語を選ぶのにも役立ちます。ただし、0での割り算や配列の範囲外のアクセスなど、値によって起こる誤りまですべてなくせるわけではありません。型を宣言する分、プログラムが短くなるとも限りません。
- A. 正しい。型の誤りを実行前に見つけられます。
- B. 型を宣言する分、短くなるとは限りません。
- C. 値によって起こる実行時の誤りはなくせません。