java 泛型 get()_Java泛型GetThis技巧解释

第一个代码示例

在第一个代码示例中,存在编译错误.您可以在IDE中自行验证.

我说：方法add(N)在List< N>类型中.不适用于参数(Node< N>)

问题是N是Node的子类型. N的列表可能是StupidNode的列表,其中StupidNode是Node的子类.但是当前实例可能不是StupidNode,它可能是Node的不同子类,因此添加它可能是错误的.

第二个代码示例

现在第二个代码示例是开发人员,他厌倦了他不理解的编译时错误,认为编译器错误并试图强制转换.

这样的强制转换会使代码编译,但可能会在运行时在相同条件下中断(如上所述).

因此,编译器会发出警告,以帮助您了解某些内容可能出错.

样品问题

对于前面的两个代码示例,如果调用代码写入(对于Node的两个子类NodeA和NodeB),则可能会发生此问题：

Node root = new NodeA(null);

// code needs a change,to be able to handle the root,that has no parent

// The line with parent.children will crash with a NullPointerException

Node child = new NodeB(root);

在第二行,将在Node的构造函数中运行的代码将解释为(用当前参数NodeB替换格式参数N)：

public abstract class Node {

private final List children = new ArrayList();

private final NodeB parent;

protected Node(NodeB parent) {

this.parent = parent;

parent.children.add(this); // error: incompatible types

}

// ...

}

如您所见,调用者的第二行将传递NodeA实例,而Node的构造函数需要NodeB！因此错误……

注释要求的更新：子类NodeA(或NodeB)的示例代码.

public class NodeA extends Node {

public NodeA(NodeA parent) {

super(parent);

}

}