同一の実行時型（same run-time type）－ BohYoh.com【Java講座】用語集

　同一のコンパイル時型（same compile-time type）　

Java講座用語集

同一の実行時型（same run-time type）

　二つの型が同一の実行時型であるとは、以下の条件を満足していることである。

両方の型がクラス型もしくはインタフェース型であり、それらが同一のクラスローダによって定義され、同一のバイナリ名となっている場合（それぞれ、同一の実行時クラス（same run-time class）あるいは同一の実行時インタフェース（same run-time interface）と表現される）。
両方の型が配列型であり、その配列構成要素型として同一の実行時型が保持されている場合。

※プログラムの実行時に、同一のバイナリ名となる複数の参照型が、異なったクラスローダによって同時にロードされる場合がある。このような型は、同じ型宣言である場合もあるが、そうでない場合もあり得る。このとき、二つの型が同じ型宣言を表現していたとしても、それらは異なったものとして扱われる。