Java泛型和C++模板

Java中的泛型和C++中的模板有些相似。

类型变量的限定

在Java中，可以对类型变量进行限定。如果类或者方法只支持某些类型的操作，就可以限定T的类型。对于不支持的变量类型，编译时就会报错。而C++中不能对模板参数的类型加以限制。

一个类型变量可以由多个限定，这些限定中可以有多个接口，但至多有一个类（Java不支持多重继承）。如果用一个类作为限定，它必须是限定列表中的第一个。

类型擦除

Java虚拟机没有泛型类型对象，所有的对象都属于普通类。泛型是通过类型擦除来实现的。编译器编译的时候，会把类型参数去掉。

对于一个泛型类型，存在一个相应的原始类型。对于没有进行限定的泛型类型，原始类型就是Object；对于进行了限定的类型，其原始类型就是第一个限定的类型变量。进行类型擦除，就是将类型变量替换为原始类型。

如果对泛型方法的返回类型进行擦除，编译器会对返回的类型进行强制类型转换以保证安全性。

由于类型擦除机制，基本类型不能作为类型参数，因为擦除后的Object或其他原始类型不能存储基本类型的值。

重载方法也会由于类型擦除产生问题，下面的两个方法经过类型擦除后会具有相同的类型签名，编译时会出错。

public class UseList{
    void f(List v){}
    void f(List v){}
}

C++模板

和Java泛型的实现完全不同，C++中每个模板的实例化会产生不同的类型，也就是“模板代码膨胀”。也就是说会产生多份代码，而Java泛型，最后产生的只是一份字节码。知乎上的一句话很有意思。

模板并不会带来代码膨胀，它只是允许你更轻松地写出膨胀的代码而已。

参考 

C++ 模板带来的代码膨胀有多少影响？