なぜ、Javaは汎用スーパータイプキャストを許可しませんが、ワイルドカードキャストで許可しますか？</p> <pre><code>Table<Record> tableOfRecord() {} </code></pre> <p>と種類<code>TableRecord<R extends TableRecord> extends Record</code>：

Question

だが、私はこの機能を持っているとしましょう。そして私は、この他の機能を持っている：

<R extends TableRecord<R>> Table<R> table(Table<R> table, String filtered) { 
    // ... 
    return (Table<R>) tableOfRecord(); 
} 

は、上記のコンパイルに失敗します。

error: incompatible types: Table<Record> cannot be converted to Table<R> 

はしかし、これはコンパイルし、正常に動作：

return (Table<R>) ((Table<?>) tableOfRecord()); 

これが許可されている理由は、私はわかりません前の例はそうではありません。

Answer 1

オブジェクトがTable<Record>とTable<R>の両方になることはできませんことを、コンパイル時に証明することができるので、キャストが正しくないことが保証されているので、Table<R>にTable<Record>からキャストすることは違法です。コンパイル時に不正確であることが証明できるキャストを書くことは不正です。

(Table<R>)(Table<?>)tableOfRecord()は、各キャストは、それ自体で、コンパイル時に正しくないことが知られていないので、正当で各々が2人の別個のキャスト、Table<?>のタイプTable<Record>から1、及びTable<R>からTable<?>から一つのシーケンスです。