Java 8ジェネリック型チェック

Question

チェックされたメソッドのJava 7では、コンパイルエラーが発生しますが、Java 8ではコンパイルエラーは発生しません。ジェネリックをチェックしてJava 8でコンパイルエラーを作成することは可能ですか？

class CheckedEquals{ 
    public static <T> boolean checked(T expected, T actual) { 
     return com.google.common.base.Objects.equal(expected, actual); 
    } 
} 

class ShouldFailAtCompileTime{ 
    public void foo(){ 
     if(CheckedEquals.checked("String", Boolean.TRUE)){ 
      System.err.println(""); 
     } 
    } 
} 

Answer 1

ジェネリック型パラメータTがObjectあるので、コンパイルエラーを引き起こす行動ないは、ここに正しいです。コンパイラは、型パラメータが指定されていない場合、どのように推測する必要がありますか？私は、Java 7がそれをどうやって行ったのだろうと思っています。

この1つはしかし、コンパイルエラーにつながる：あなたの例では

CheckedEquals.<String>checked("String", Boolean.TRUE)