在类本身中初始化泛型类型字段

Question

这里是代码...

public class Dog {

}


public class Bird {

}


public class Animal< T > {
    T field1 = (T) new Bird();  // unchecked cast : Bird to T

    public void display() {
        System.out.println(field1);
    }
}

我期待运行时错误，但它运行良好....

它给了我输出：

com.company.Bird@48140564

在主类中

public static void main(){
    Animal<Dog> animal = new Animal();
    animal.display();   // I was expecting run time error here

}

Answer 1

它没有出错，因为代码仍然“有效”。 Java 泛型是一种处理对象强制转换和改进类型检查的好方法。每次使用泛型时，在编译代码时，Java 都会将它们转换为显式转换。主要原因与引入泛型之前的 Java 版本有关，因此 Java 像“对象”类一样处理它们，然后在需要时为您转换它们。

例如，在您的 .java 文件中编写以下代码：

String hello = new String();
ArrayList<String> list = new ArrayList<>();
list.add(hello);

Object noCastRequired = list.get(0);
String castRequired = list.get(0);

在其相关的 .class 文件中，Java 将编写：

String hello = new String();
ArrayList<String> list = new ArrayList();
list.add(hello);
Object noCastRequired = list.get(0);
String castRequired = (String)list.get(0);

如果你要检查你的编译代码，你可以看到这个表达式仍然是一个有效的代码语句，但是如果你尝试在一个方法中“使用”那个字段，你就会遇到错误和麻烦“类型”是必需的； print 语句接受对象类的参数，因此 Java 不会强制转换它。

例子：

class Scratch {
    public static void main(String[] args) {
        Root<FirstLevel> correct = new Root<>();

        Root<FirstLevelChild> iAmNotValid = new Root<>(); // No error
        Root<SecondLevel> iAmNotValidToo = new Root<>(); // No error

        System.out.println(correct.field.first); // Ok
        System.out.println(iAmNotValid.field.first); // Ko, because java.lang.ClassCastException: FirstLevel cannot be cast to FirstLevelChild
        System.out.println(iAmNotValidToo.field.second);
    }


}

class Root<T> {
    public T field = (T) new FirstLevel();
}

class FirstLevel {
    public String first = "First";
}

class SecondLevel {
    public String second = "Second";
}

class FirstLevelChild extends FirstLevel {
}