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

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了java-使用泛型时失去类型安全性，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1751字，纯文字阅读大概需要3分钟。

内容图文

我有一个实用程序类(ListUtils)用于深层复制列表.该类中的重要方法是复制,定义如下：

public static <T  extends ICopy> List<T> copy(List<T> xs) {
    LinkedList<T> newList = new LinkedList<>() ;
    for(T x : xs) {
        newList.add(x.<T> copy()) ;
    }
    return xs;
}

ICopy接口又由以下方式提供：

public interface ICopy {
    <T extends ICopy> T copy() ;
}

然后,为强制每个AST节点实现ICopy,IAstNode定义如下：

public interface IAstNode extends ICopy {

    ImmutableList<? extends IAstNode> getChildren() ;

    int getStartLine() ;
    int getEndLine() ;

    IAstNode copy() ;
}

在这一点上,我失去了类型安全性,因为Java编译器指示我应该使用禁止警告注释来编写副本？

对正在发生的事情有任何见解吗？

解决方法:

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

<T extends ICopy> T copy();

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

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

public interface ICopy<T extends ICopy<T>> {
    T copy();
}

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

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

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

public interface IAstNode<T extends IAstNode<T>> extends ICopy<T> {

    ImmutableList<T> getChildren() ;

    int getStartLine() ;
    int getEndLine() ;

    T copy();
}

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

public class MyAstNode implements IAstNode<MyAstNode>

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

内容总结

以上是互联网集市为您收集整理的java-使用泛型时失去类型安全性全部内容，希望文章能够帮你解决java-使用泛型时失去类型安全性所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端