23

我知道 java 不应该支持作为原始类型的泛型参数,并且确实是这样的:

Vector<byte> test;

将无法编译。

但是,我在程序中不小心执行了一些操作,我发现实际上可以创建具有原始类型的通用对象(技术如下所示)

Vector<Byte>此外,当打印语句显示 byte.class 和 Byte.class 是两个独立的野兽时,java 错误地允许将此实例分配给类型变量。因此,尝试对对象进行调用会导致意外和奇怪的行为/错误。

这是一个java错误吗?或者这种疯狂有什么押韵或理由吗?似乎即使 java 允许创建原始类型泛型的意外行为,它们也不应该分配给与原始类型不同的包装类型的泛型。

import java.util.Vector;

public class Test
{
    //the trick here is that I am basing the return type of
    //the vector off of the type that was given as the generic
    //argument for the instance of the reflections type Class,
    //however the the class given by byte.class yields a non-class
    //type in the generic, and hence a Vector is created with a
    //primitive type
    public static <Type> Vector<Type> createTypedVector(Class<Type> type)
    {
        return new Vector<Type>(0,1);
    }

    public static void main(String ... args)
    {
        //these lines are to demonstrate that 'byte' and 'Byte'
        //are 2 different class types
        System.out.println(byte.class);
        System.out.println(Byte.class);

        //this is where I create an instance of type Vector<byte>
        //and assign it to a variable of type Vector<Byte>
        Vector<Byte> primitiveTypedGenericObject = createTypedVector(byte.class);

        //this line causes unexpected exceptions to be thrown
        //because primitiveTypedGenericObject is not actually type
        //Vector<Byte>, but rather Vector<byte>
        primitiveTypedGenericObject.set(0,(byte)0xFF);

    }

}
4

3 回答 3

20

Byte.class和都是Byte.TYPE对象Class<Byte>。后者只是用来区分原始类型和对象类型。

实际上 Byte.TYPE 定义为:

public static final Class<Byte> TYPE = (Class<Byte>) Class.getPrimitiveClass("byte");

并且getPrimitiveClass是一种从 VM 中检索类型的不透明方法,因此我们无法进一步调查它。

因此,即使您认为您正在传递原始数据类型 Class,因为它们不存在(为什么要它们,因为它们引用了根据 Java 对象类型系统可键入的东西,其中不包括原始数据类型,直到它们被装箱到包装类中),您正在创建一个Vector<Byte>.

但最终这并不重要,在运行时执行类型注释被删除并且泛型类型没有任何意义。每当您添加 abyte时,它都会自动装箱到Byte对象中,仅此而已。

我目前无法测试您的代码,在向 ? 中添加项目时会在运行时引发哪些异常Vector

于 2013-09-07T06:55:29.400 回答
16

您偶然发现了自动装箱和拆箱。请参阅http://docs.oracle.com/javase/tutorial/java/data/autoboxing.html

简而言之版本

List<Integer> list = new List<Integer>(); 
list.add(1); // works

byte.class,int.class等解析为Byte,Integer等。请参阅Java 语言规范 15.8.2

15.8.2. 类文字

……

的类型p.class,其中 p 是原始类型的名称(第 4.2 节Class<B>,其中 B 是装箱转换后的 p 类型表达式的类型(第5.1.7 节)。

void.class( §8.4.5 )的类型是Class<Void>.

于 2013-09-07T06:53:19.750 回答
8

不!这不是错误。它被称为自动装箱。当您将byte传递给需要Byte的泛型方法时,编译器会自动将其自动装箱为 Byte ,它是 Object 的一个实例。该操作的对立面称为自动拆箱,这就是为什么如下所示的操作是合法的。

int a = new Integer(5);
Integer b = 5;
于 2013-09-07T06:50:15.953 回答