代码之家 › 专栏 › 技术社区 › Hearen

必要时插入类型转换以保持类型安全[重复]

type-erasure generics java

-1

Hearen · 技术社区 · 6 年前

爪哇 tutorial on type erasure 似乎没有详细说明编译器强制转换插入的特定规则。有人能解释一下导致本教程详细介绍的转换的具体规则吗(转载如下):

public class Node<T> {
    public T data;

    public Node(T data) { this.data = data; }

    public void setData(T data) {
        System.out.println("Node.setData");
        this.data = data;
    }
}
public class MyNode extends Node<Integer> {
    public MyNode(Integer data) { super(data); }

    public void setData(Integer data) {
        System.out.println("MyNode.setData");
        super.setData(data);
    }
}

MyNode mn = new MyNode(5);
Node n = (MyNode)mn;         // A raw type - compiler throws an unchecked warning
n.setData("Hello");
Integer x = (String)mn.data; // Causes a ClassCastException to be thrown.

具体来说,我想知道是什么规则导致插入 (MyNode) 和 (String) . 何时插入转换,如何为转换选择类型?

0 回复 | 直到 6 年前

Crazyjavahacking 10 年前

MyNode mn = new MyNode(5);
- 将创建的实例 MyNode 它定义了泛型类型 T 界面的 Node 作为 Integer
- 强制转换:开发人员不需要强制转换,编译器不添加强制转换
Node n = (MyNode)mn;
- 这基本上会告诉编译器忘记泛型类型 T 使用接口 结点 完全没有将产生以下后果的泛型: 想象泛型类型 T 作为 java.lang.Object
- 强制转换:开发人员不需要强制转换,编译器不添加强制转换
n.setData("Hello");
- 将允许您添加任何类型的ob对象 因为t被当作物体( String , 整数 ,数组,其他任何内容)
- 强制转换:开发人员不需要强制转换,编译器不添加强制转换
Integer x = mn.data;
- nm.data 应该返回一个 整数 类型为 整数 定义为泛型类型参数 T 在 小精灵 班
- 但是,因为您使用的原始类型允许您添加 弦 相反, NM数据 持有 弦 实例
- 强制转换:开发人员不需要强制转换,但是编译器会在后台为您将强制转换添加到integer,并且由于类型不匹配,您将得到 ClassCastException

Hearen 6 年前

这个 ClassCastException 将是 throw 当打电话给

n.setData("Hello");

这是因为编译器构建桥方法来保留多态性。桥接方法如下:

 public void setData(Object data) {
       setData((Integer)data);   //the exception is thrown here
  }

因为字符串的实例不能转换为 Integer , the 类别例外 会被扔掉。

你可以阅读桥梁方法 here .

推荐文章

Abdulkerim Awad · 带有泛型的Typescript函数重载无法按预期工作

12 月前

matt · 为什么在使用泛型参数时可以进行强制转换,而在指定了参数后则不能

1 年前

Moonlit · 在Golang中将`func()Foo`转换为`func)any`?

1 年前

Pavel Foltyn · 如何在C中生成逆字典#

1 年前

Danil · 无法访问通用下标

1 年前

Daniel · C#编译器在应该出错时失败

1 年前

Unlucky · Apollo服务器PubSub实现中的TypeScript泛型问题

1 年前

Oliver Schönrock · 将泛型函数指针强制转换为具有指向不同类型的void*params的特定签名是否定义良好

1 年前

Raz Luvaton · 如何在rust中使用结构泛型使用编译时已知大小为数组长度的类型

1 年前

Exifers · Record与泛型键扩展模板文字的交集不会推断索引访问的结果

1 年前