Java 8 generic type check

时间:2017-10-12 09:49:06

标签: java generics compiler-errors

In Java 7 different types for the checked method causes compile error, while in Java 8 there is no compile error. Is it possible to keep the generics in checked and make it create compile error in 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("");
        }
    }
}

1 个答案:

答案 0 :(得分:1)

The behaviour not to cause a compile error is correct here, since the generic type parameter T is Object. How else should the compiler guess the type parameter if it isn't specified? I wonder how Java 7 did that, as far as I know there were no changes.

This one would lead to a compile error however:

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