Java 8泛型类型检查

Question

在Java 7中，checked方法的不同类型会导致编译错误，而在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是如何做到的，据我所知，没有任何变化。

然而，这会导致编译错误：

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