生の型のメンバで一般的な型が失われた

Question

ジェネリックで作業するときに奇妙な動作が検出されました。このクラスFoo<T>で

、stringsメンバーはTとは何の関係もありません：コンパイルエラーは、「互換性のない型である

package test; 

public class Main { 

    public static void main() { 
     Foo<Integer> intFoo = new Foo<>(); 
     Integer i = intFoo.getSome(); 
     String s1 = intFoo.strings.get(0); 

     Foo rawFoo = new Foo(); 
     Object o = rawFoo.getSome(); 
     String s2 = rawFoo.strings.get(0); // Compilation error on this line 
    } 
} 

：

package test; 
import java.util.ArrayList; 

public class Foo<T> { 
    ArrayList<String> strings; 

    T getSome() { 
     return null; 
    } 
} 

クラスをメインに使用されています。必須：文字列が見つかりました：オブジェクト "。

生タイプがFooの場合、ArrayListには、Stringタイプの引数が忘れられているようです。 rawFoo生なので

私のJavaのバージョンは、その非静的メンバーはまた、生となり、簡単に言えば1.7.0_21

Answer 1

です。

これはJLS §4.8に概説されている：

• ジェネリック型の名前を取ることによって形成された参照型：

  より正確には、生型はのいずれかであると定義されます付随する型引数リストのない宣言。

• エレメントタイプが生のタイプである配列タイプ。

• R.

  のスーパークラス又はスーパーインターフェースから

注最後の弾丸を継承していない生のタイプRの非静的メンバ型。