Javaはオブジェクトの型を動的にチェックします

Question

Javaの型システムは、配列を共変変数として処理するという点で、壊れたサブタイプの規則に従うことを学びました。私は、メソッドの引数が読み込まれ、変更された場合、タイプセーフな唯一のオプションは不変式であり、Javaの簡単な例を提供できることをオンラインで読んでいます。

このルールのJavaのパッチは、パフォーマンス面で目立つように格納されているオブジェクトのタイプを動的にタイプチェックすることでですか？私はそれがオブジェクトのタイプをチェックするための1つまたは2つ以上の追加の命令であるとは想像できません。フォローアップの質問は、実行時のパフォーマンスの違いを無視して、これは配列のサブタイプが壊れていないというルールと同じですか？私の質問が初心者なら私を許してください！

Answer 1

パフォーマンスは常に難しい問題です。コンテキストに応じて、そのようなチェックは完全に最適化されるかもしれません。たとえば：

public static void main(String[] args){ 
    Object[] array = new String[2]; 
    array[0] = "Hello, World!";//compiler knows this is safe 
    System.out.println(array[0]); 
    array[1] = new Object();//compiler knows this will throw 
} 

ここで、コンパイラは、両方の割り当て時に、配列の実際の型へのアクセス権を持っているので、実行時のチェックはコンパイラが十分に賢いであれば、それはそれらを最適化することができます（厳密には必要ではありません）。この例では、しかし、実行時のチェックが必要である

：あなたは場所を取ることができ、心曲げジャストインタイムの最適化を検討する際に

public static void main(String[] args){ 
    Object[] array = Math.random()<.5? new String[2]: new Object[2]; 
    array[0] = "Hello, World!";//compiler knows this is safe 
    System.out.println(array[0]); 
    array[1] = new Object();//compiler must check array type 
} 

物事はさらに複雑になります！全体としては、Javaの安全機能の多くと同様に、必要なパフォーマンスコストがあります。目立つかどうかは、ユースケースによって異なります。

同値質問について：いいえ、これは不変配列を持つことと同じではありません。不変の配列は、Object[] array = new String[2];をコンパイル時エラーにします。

Answer 2

私はあなたの質問に答えるように思われる記事を見つけた：

「Javaは、実行時にオブジェクトの種類を見つけるために3つの異なる方法を提供：。instanceofキーワード、getClass()とjava.lang.ClassのisInstance()方法を3つのすべてのみgetClass()のうちオブジェクトのタイプがスーパータイプであれば真を返します。

MyObject.getClass()と書くと、オブジェクトクラスが返されるはずです。または、MyObject.isInstance(TheObject)を使用できます。MyObjectがTheObjectの場合はtrueを返します。第三に、あなたのことができるようにする必要があります。また、ここで

Java isInstance vs instanceOf operator

：

if (MyObject instanceof TheObject) { 
//your code 
} 

Hereは、Webページ

へのリンクはまたここに明確に役立つかもしれない別のポストへのリンクです他の同様の質問への2つのリンクです：

How to determine an object's class (in Java)?

java - How do I check if my object is of type of a given class?