コンパイル時型（compile-time type）－ BohYoh.com【Java講座】用語集

　コンパイル時型（compile-time error）　

Java講座用語集

コンパイル時型（compile-time error）

　コンパイル時に決定する変数および式の型のこと。
　変数のコンパイル時型は宣言によって指定され、式のコンパイル時型はコンパイル時に推定される。コンパイル時型によって、変数の取り得る値や、式が実行時に生成可能な値が制限される。実行時の値がnull以外の参照である場合、それはクラスのオブジェクトや配列を参照するものであり、そのクラスは必然的にコンパイル時型と互換性を持つことになる。
　変数や式がコンパイル時型としてインタフェース型となる場合があるが、インタフェースのインスタンスが存在するわけではない。インタフェース型の変数や式は、そのインタフェースを実装したクラスの任意オブジェクトを参照することができる。

□ 索引へ戻る