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

Java泛型类型强制

generics java

Kitten · 技术社区 · 6 年前

这里我有以下代码:

public final class Generics {
    private Generics() {}

    public static <T> T unchecked(Object obj) {
        return (T)obj; //unchecked cast warning
    }

    public static void main(String[] args) {
        //correct
        ArrayList<String> str = new ArrayList<String>();
        str.add("Hello");
        str.add("World");
        System.out.println(str);

        //"correct" - not type safe at all but due to type erasure this is almost legal
        ArrayList<Object> obj = Generics.<ArrayList<Object>>unchecked(str);
        obj.add(1);
        System.out.println(obj);

        //obviously wrong but still compiles (ClassCastException at runtime)
        Exception except = Generics.<Exception>unchecked(str);
        System.out.println(except);
    }
}

通常是铸模 ArrayList<Object> obj = (ArrayList<Object>)str 这将是一个致命的编译错误,因为这将违反使用该列表的预期。(可以将非字符串的对象插入到仅字符串列表中)

这个场景中的“未选中”警告是什么,以及如何使用 unchecked() 方法不同于直接铸造参考?如何绕过编译器的类型检查?

2 回复 | 直到 6 年前

Andy Turner 6 年前

checkcast

public static <T> T unchecked(Object obj) {
    return (T)obj; //unchecked cast warning
}

T Object obj

Exception except = Generics.<Exception>unchecked(str);
               // ^ cast here!

Exception except = (Exception) Generics.unchecked(str);

ClassCastException

unchecked null

Exception except = (Exception) str;

Exception except = (Exception) (Object) str;

Daniele 6 年前

ArrayList<Object> obj = (ArrayList<Object>)str

ArrayList<String> ArrayList<Object> Double String

unchecked

  // ArrayList<String> to ArrayList (raw) is legal
  ArrayList<Object> obj = (ArrayList<Object>)(ArrayList) str;
  // you can also cast to an interface-
  // at runtime, str could as well extend that interface!
  // and then Runnable can be downcasted to Exception
  // obviousy wrong, but still legal
  Exception except = (Exception)(Runnable)(str);

Runnable ArrayList

JLS, 5.1.6

推荐文章

Glory Raj · 有什么方法可以使这两个块具有共同的功能吗

2 年前

username128437855 · 在泛型类中使用非泛型方法是否有任何问题?

2 年前

milczi · Swift通用无强制展开向下投射

6 年前

NSjonas · 接受函数并返回包含参数子集的函数的Typescript函数

6 年前

Richard Sand · Java工厂使用泛型和供应商接口,但仍然需要类型转换,有些地方不太正确

6 年前

Stephen Kennedy annamataws · 为什么受“Enum”约束的泛型类型在C#7.3中不能限定为“struct”?

6 年前

bugs · Typescript-泛型类型扩展自身

6 年前

John Bustos · C#通用工厂模式,不说明通用工厂模式的类型

6 年前

Blankdud · 具有默认数据的通用对象创建方法

6 年前

Tim Hutchison · 从泛型对象列表中读取泛型值

6 年前