Java泛型与C++的区别

来源:互联网 发布:淘宝领的红包在哪里 编辑:程序博客网 时间:2024/06/14 22:45

Java 对泛型的处理和 C++ 对模版的处理有所不同,在 Java 里这么做有两个问题。Java 的所有类型(除了基本类型)都是对象而且是 Object 的子类,这样 Java 没什么动力去做一个功能特别强的泛型了,毕竟 C++ 无模版就没法泛型,Java 大不了都搞成 Object 完了再动态检查类型。

但是这样编译时刻对类型不做任何检查的话,太容易把编译时刻可能查出来的问题推迟到运行时刻才发现了(其实 C 的 void * 也有类似作用和问题,比如qsort ),Java 就也只好引入尖括号标记,加入了编译时刻的检查机制。Java 的泛型就是一编译的检查机制,实现起来如下:以 public class mammal 为例,在编译检查后,把所有 T 都换成 Object,这样在泛型类型变量被赋值时对象会先被强制转换成 Object,而一个引用获得泛型类型变量的值时,指向的对象会由 Object 强制转为 T(没有考虑泛型方法和有(多个)界限的情况)。用类型名变量调用静态方法碰到问题都是从这种机制中生出来的。

如果没有太看懂可以参考这里