java 类型安全 list,java-使用泛型时失去类型安全性

在ICopy界面中,已使方法复制通用,而不是接口本身.这意味着任何实现方法还必须是通用的,具有相同的边界,返回类型和签名,以避免编译器错误和编译器警告.您将需要在IAstNode中：

T copy();

即使您打算在此处将T用作IAstNode,也是如此.您的当前代码会收到未经检查的转换警告,因为T可能是IAstNode.未经检查的转换警告是您已失去代码类型安全性的信号,即使编译器允许您编译代码.

维护类型安全的方法是将泛型类型参数的声明从copy方法移动到接口ICopy本身.

public interface ICopy> {

T copy();

}

然后,任何子接口(或实现类)都可以提供类型参数,或者声明自己的类型参数,以用于扩展或实现接口.

这是IAstNode现在的样子.它声明自己的类型参数并带有自己的范围,该范围适合ICopy施加的范围.扩展ICopy时,它将其用作类型参数.现在,复制方法签名更加简单.

我给getChildren的ImmutableList类型指定了类型参数T；在这种情况下,这是最有意义的.

public interface IAstNode> extends ICopy {

ImmutableList getChildren() ;

int getStartLine() ;

int getEndLine() ;

T copy();

}

任何想要指定T实??际上是什么的类都可以这样做：

public class MyAstNode implements IAstNode

复制方法将返回MyAstNode,而getChildren将返回ImmutableList< MyAstNode>.