C#的泛型和java的伪泛型,talk is cheap,show me the code
C#泛型
下面结果,C#里面会输出false,如果这个还不能真正的说明C#的泛型是真的泛型,那就看下面这段代码。
List<Test> arr1 = new List<Test>(); List<String> arr2 = new List<String>(); Console.WriteLine(arr1.GetType()); Console.WriteLine(arr2.GetType()); Console.WriteLine(arr1.GetType()==arr2.GetType());
下面这段代码,我们通过反射执行Add方法,即使代码编译通过,但是执行的时候会报错。
List<String> strList = new List<string>();
strList.Add("test");
Type type = strList.GetType();
type.GetMethod("Add").Invoke(strList, new object[] { 123 }); foreach (var t in strList) { Console.WriteLine(t); }
上面这两段代码证明了,C#的泛型是真的泛型,因为它确实在IL方法中,给了我们一个真实存在的类。
Java泛型
java泛型会进行类型擦除,是伪泛型。因为在java生成的字节码中,最后泛型会背Object替代。
java中,下面这些代码都不会报错,足以证明,伪泛型。
System.out.println("java中的假泛型"); ArrayList<Integer> arr1=new ArrayList<>(); ArrayList<String> arr2=new ArrayList<>(); System.out.println(arr1.getClass()==arr2.getClass()); System.out.println("类型擦除"); ArrayList<Integer> list = new ArrayList<Integer>(); list.add(1); //这样调用 add 方法只能存储整形,因为泛型类型的实例为 Integer list.getClass().getMethod("add", Object.class).invoke(list, "asd"); for (int i = 0; i < list.size(); i++) { System.out.println(list.get(i)); }
C#的泛型是不是真的那么好
可能有同学会问,C#如果给每个泛型都搞上一个类(在中间代码中),那DLL/EXE会不会变得非常大,从而影响性能呢,是的,我们想到了的,CLR的设计者也想到了。
1、如果为特定类型的实参调用了一个方法,以后相同类型的实参调用这个方法,CLR只会为这个方法进行组合编译一次。比如一个程序集使用了List<DateTime> ,一个完全不同的程序集(加载到同一个AppDomain中)也是用List<Datetime>,CLR只为会为List<DateTime>编译一次。
2、CLR还认为所有引用类型的实参都完全相同,所以代码可以共享,因为引用类型都是在堆上了,因为堆上的东西,都是以对象指针的形式操纵。如果是值类型的呢,就需要专门为每个值类型生成本机代码,因为值类型是位于内存栈上的,值类型的大小不固定,即使大小一样,也没办法共享代码,因为可能要用到不同的CPU的指令来进行操作