Java泛型GetThis技巧解释

Question

我正在阅读Java Generics，我遇到了这个主题，我有点困惑。

来自： 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的可能性，最好避免。

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

谢谢。

Answer 1

第一个代码示例

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

我说： The method add(N) in the type List<N> is not applicable for the arguments (Node<N>)

问题是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);
   }
}