Java 泛型 GetThis 技巧说明

Question

我正在阅读有关 Java 泛型的内容，并且遇到了这个主题，我对此感到有点困惑。

来自： http://www.angelikalanger.com/GenericsFAQ/FAQSections/ProgrammingIdioms.html #FAQ205

public abstract class Node <N extends Node<N>>  {
   private final List<N> children = new ArrayList<N>();
   private final N parent;

   protected Node(N parent) {
     this.parent = parent;
     parent.children.add(this);  // error: incompatible types
   }
   public N getParent() {
     return parent;
   }
   public List<N> getChildren() {
     return children;
   }
 }

public class SpecialNode extends Node<SpecialNode> {
   public SpecialNode(SpecialNode parent) {
     super(parent);
   }
} 

向下滚动几个屏幕...

public abstract class Node <N extends Node<N>>  {
   ...
   protected Node(N parent) {
     this.parent = parent;
     parent.children.add( (N)this ); // warning: unchecked cast
   }
   ...
 }

目标类型是类型的强制转换 无法验证参数 运行时并导致未经检查的 警告。这个不安全的演员介绍 意想不到的可能性 ClassCastException s 是最好的 避免。

有人能给我一个上面代码抛出 ClassCastException 的例子吗？

谢谢。

Answer 1

第一个代码示例

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

我的说：List类型中的方法 add(N) 是不适用于参数 (Node)

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

---

第二个代码示例

现在，在第二个代码示例中，开发人员对他不理解的编译时错误感到恼火，认为编译器是错误的并尝试强制转换。
这样的转换使代码可以编译，但可能在相同条件下在运行时中断（如上文所述）。

因此，编译器会发出警告，帮助您了解可能出现错误。

---

示例问题

调用代码写入（对于 Node 的两个子类 NodeA 和 NodeB），则可能会出现问题：

Node<NodeA> root = new NodeA<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<NodeB> child = new NodeB<NodeB>(root);

对于前面的两个代码示例，如果 第二行，将在 Node 的构造函数中运行的代码将被解释为（用当前参数 NodeB 替换格式参数 N） ：

public abstract class Node <NodeB>  {
   private final List<NodeB> children = new ArrayList<NodeB>();
   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<NodeA>  {
   public NodeA(NodeA parent) {
     super(parent);
   }
}