C++模板VSJava泛型

JAVA

java泛型是实现是通过强制cast。
如

 static <T>T test(T a){
        return a;
    }
 //该方法最后会被转换成如下形式
    static Object test(Object a){
        return a;
    }
 //此时我们所有的调用
int i=test(1);
//最后也会被转化成如下形式
int i= (int) test(1);
//当然，由于java的基础数据类型不是对象，所有还有额外的拆箱装箱操作

只要查看在class文件中的字节码就知道，java为每个泛型调用，都生成了一个强制cast指令，当然，为了保证这种强制cast不会失败，还要再源代码中执行严格的静态检查。

这种做法的后果就是，最终在虚拟机常量池中只有一个方法，以及方法字节码中一些多出来的cast指令，好处是整个class文件会更小。坏处就是，没有办法访问泛型参数，因为泛型参数在class文件里是不存在的。

当然，还是有一些曲线救国的方式来让我们访问到泛型参数，既然在class文件中不存在泛型参数，我们就直接把它当成类的一个字段就行了，google guava就是这么做的。

除了java，所有实现在jvm上的语言，如果能与java兼容的(互相调用之类的)，那么他必定也是这种泛型实现方式，例如kotlin,groovy…

---

C++

与java相对，c++的模板则是创建多个具有不同参数的方法，所以最后的可执行文件中，也必定包含了多个方法，虽然会使文件体积增大，但和所好处相比并不算什么。
所以C++可以写出如下的模板方法

template <typename T> T max(T a,T b){
    return a>b?a:b;
}
//在实际调用max的时候，会判断传入的参数T是否支持>操作符，如果不支持也会报错

这在java中是没法实现的，因为java的泛型只有一个实际上的方法，所以必须在编译期就要确定，T是否支持比较。

//无法编译，因为java的泛型要求必须在编译期就要确定类型约束
 static <T>T max(T a,T b){
        return a.compareTo(b)>0?a:b;
    }

java要实现类似的效果，就要使用java中所谓的类型上限和下限约束,c++中就没有必要存在这种东西。

 static <T extends Comparable<T>>T max(T a,T b){
        return a.compareTo(b)>0?a:b;
    }

从理论上来说，效果是一样的，不过C++这种明显看上去更灵活一些。实际上，c++的模板可以写出很多动态语言风格的代码。我也还在探索中

具体就可以想象成,java的泛型只有一个方法，所以它的类型必须符合严格的要求，而c++有多个互不干涉的方法，每个方法有自己的类型要求。java的泛型检查在编译期，运行时没有泛型。c++的泛型在编译器运行时都存在。

C语言

既然说到java，就再提一个c语言好了，我们之前说java是用强制cast实现运行期泛型的，而泛型的类型检查只在编译期。那么c语言也是可以实现类似的”泛型”，只是这个泛型，连编译期检查也没有了，所有的类型检查全靠自己。

因为c/c++都是弱类型的，所以很多时候进行cast是不用强制转换的，我们就可以写出一个”泛型”list。

这里只贴出部分代码

struct _List {
    void **_arr;
    int size;
    int _arrSize;
};

typedef struct _List *List;

void list_add(List self, void *p) {

    list_ensureSize(self, self->size + 1);
    self->_arr[self->size++] = p;
}

void *list_get(List self, int index) {
    list_checkIndex(self, index);
    return self->_arr[index];
}

//使用

 List l = new_List();
    for (int i = 0; i < 100; i++) {
        list_add(l, newStudent("mike", i));
    }
    Student s = list_get(l, 0);
    println_s(s->name);

可以看到，在list里面只是使用void*，返回也是void*，就像java的object一样，但是因为c是弱类型的，不用像java一样从object 强制cast到某个具体的类
所以就可以直接这样写Student s = list_get(l, 0);

---

我的github
https://github.com/luckyCatMiao