首页 / JAVA / java – 转换为泛型类的通用子类型

java – 转换为泛型类的通用子类型

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了java – 转换为泛型类的通用子类型，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1151字，纯文字阅读大概需要2分钟。

内容图文

假设我有这个：

class Base<T> {}

class Derived<T> extends Base<T> {}

然后在我的代码中,我可以安全地投射而没有像这样的警告：

public <T> void foo(Base<T> base) {
    Derived<T> f = (Derived<T>) base; // fine, no warning
}

这很好.但是如果派生类有更多的类型参数,它就不再起作用了：

class Base<T> {}

class Derived<T, U> extends Base<T> {}

public <T> void foo(Base<T> base) {
    Derived<T, ?> f = (Derived<T, ?>) base; // unchecked warning!
}

这是为什么？有什么明显的东西我在这里不见了吗？

解决方法:

这对我来说似乎是个错误.从JLS §5.5.2. Checked Casts and Unchecked Casts开始：

A cast from a type S to a parameterized type (§4.5) T is unchecked
unless at least one of the following conditions holds:

  • S <: T

  • All of the type arguments (§4.5.1) of T are unbounded wildcards

  • T <: S and S has no subtype X other than T where the type arguments of
    X are not contained in the type arguments of T.

鉴于您的类型Base< T>和派生< T,？>分别作为S和T,前两个条件显然不成立.

这留下了第三个条件 – 如果我们能够识别Base< T>的子类型,则不会成立.除了Derived< T,？>其类型参数不包含在Derived< T,？>的类型参数中.如果警告正确,则必须存在这样的子类型,但我无法识别.例如,Derived<？,？>不起作用,因为它不是Base< T>的子类型.

内容总结

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

内容备注

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

内容手机端

扫描二维码推送至手机访问。

本文链接：https://qyyshop.com/info/823341.html

来源：【匿名】