ジェネリックのコントラバナンスは期待どおりに動作しません。

List<? super Number> myNumsContra = new ArrayList<Number>(); 
    myNumsContra.add(2.0F); 
    myNumsContra.add(2); 
    myNumsContra.add(2L); 

    System.out.println(myNumsContra.get(0)); //should throw error

ジェネリックの反則ルールによると、上記のget（0）コールはコンパイルエラーを投げます。しかし、私はこれが起こっているとは思わない。私が逃したものはありますか？私はJava-8を使用していますジェネリックのコントラバナンスは期待どおりに動作しません。

出典

2017-10-05 jtkSource

では、あなたがhttps://docs.oracle.com/javase/7/docs/api/java/util/ArrayListを使用しているメソッドのjavadocを参照してください。 html＃get（int） –

'get（0）'は正確にエラーを投げるべきですか？ –

Listクラスがバインドされているかどうかを示すこの記事（https://dzone.com/articles/covariance-and-contravariance）を読んでいましたか？スーパーTの場合、コンパイラがエラーをスローするので、get（0）を呼び出すことができません。 – jtkSource

printlnはObject（どちらでも?と互換性があります）でもかまいませんので、コンパイル時エラーはありません。

あなたが探しているエラーが

Number x = myNumsContra.get(0); 
// does not compile, because we cannot know this is really a `Number`.

出典

2017-10-05 07:42:39 Thilo

私はそれを逃した:)本当にそれはタイプに割り当てることができないことを意味します！ – jtkSource

タイプキャストなしではありません。 – Thilo

@jtkSource： "それは本当にそれがタイプに割り当てることができないことを意味する" – newacct

ジェネリックのコントラバナンスは期待どおりに動作しません。

答えて

関連する問題