c# – 处理泛型时编译器的无用期望？

Code specialization. The compiler generates a new representation for
every instantiation of a generic type or method. For instance,the
compiler would generate code for a list of integers and additional,
different code for a list of strings,a list of dates,a list of
buffers,and so on.

Code sharing. The compiler generates code for only one representation
of a generic type or method and maps all the instantiations of the
generic type or method to the unique representation,performing type
checks and type conversions where needed.

Java使用代码共享方法.我相信C#遵循代码特化方法,所以下面的所有代码都是根据我使用C#的逻辑.

假设这个Java代码片段：

public class Test {

    public static void main(String[] args) {
        Test t = new Test();
        String[] newArray = t.toArray(new String[4]);
    }

    @SuppressWarnings("unchecked")
    public <T> T[] toArray(T[] a) {
        //5 as static size for the sample...
        return (T[]) Arrays.copyOf(a,5,a.getClass());
    }
}

代码共享方法将在类型擦除发生后导致此代码：

public class Test {

    public static void main(String[] args) {
       Test t = new Test();
       //Notice the cast added by the compiler here
       String[] newArray = (String[])t.toArray(new String[4]);
    }

    @SuppressWarnings("unchecked")
    public Object[] toArray(Object[] a) {
       //5 as static size for the sample...
       return Arrays.copyOf(a,a.getClass());
    }
}

所以我的问题是：

精确初始演员的需要是什么？ ：

(T[]) Arrays.copyOf(a,a.getClass());

而不是简单地做(在??类型擦除之前,在编码时)：

Arrays.copyOf(a,a.getClass());

这个演员是否真的对编译器有用？

好的,Arrays.copyOf返回Object []并且在没有显式向下转换的情况下不能通过更具体的类型直接引用.

但是编译器不能在这种情况下努力,因为它处理泛型类型(返回类型！)？

实际上,编译器对方法的调用者行应用显式强制转换是不够的？ ：

(String[])t.toArray(new String[4]);

更新 – – – – – – – – – – – – – – – – – – – – – – – – – ——————–

感谢@ruakh的回答.

这里的一个示例证明了即使只是在编译时出现的显式转换也是相关的：

public static void main(String[] args) {
   Test t = new Test();
   String[] newArray = t.toArray(new String[4]);
}


public <T> T[] toArray(T[] a) {
   return (T[]) Arrays.copyOf(a,Object[].class);
}

强制转换为T []是向用户发出警告的唯一方法.实际上,在这里我们最终将Object []转换为String [],这会在运行时导致ClassCastException.

因此,要说“编译器对方法的调用者行应用显式强制转换是不够的”,答案是：

开发人员不会掌握此转换,因为它是在编译步骤中自动创建的,因此在启动编译之前,此运行时功能不会警告用户深入检查其代码的安全性.

简而言之,这个演员阵容值得一提.