JAVA C# C/C++比教学：泛型

所谓泛型，便是指参数化类型

1、JAVA

java中允许使用泛型定义接口，类和方法。如

//泛型方法
public <T1, T2> void printPoint(T1 x, T2 y){
T1 m = x;
T2 n = y;
System.out.println("This point is：" + m + ", " + n);
}
//泛型类
class Point<T1, T2>{

}

java的泛型机制是伪泛型。意味着在编译期间，所有的泛型信息都会被擦掉。即所谓的类型擦除。

类型擦除只通过类型参数合并，将泛型类型的实例关系到同一个字节码上。

如

interface Comparable <A> {
public int compareTo( A that);
}

中，A被直接替换为了object

由于隐蔽类型擦除的问题，出现了很多灵异结果。

java中泛型必须是类，不能是基本类型。

2、C#

当编译器遇到泛型的定义时，会将泛型转化为独特的IL代码，如

public CompareUtil(T itemOne, T itemTwo)会被转化为：

GenericTest.CompareUtil`1<([mscorlib]System.IComparable) T>
`1表示元数，也就是类型参数的数量
<([mscorlib]System.IComparable) T>就是我们加在泛型类型上的类型约束
!T和!0
!T就是类型参数的占位符
!0代表第一个类型参数（当泛型的元数为2时，!1就代表第二个类型参数）

当程序调用该方法时，会根据类型实参将IL由JIT转化为本机代码。本地代码中只涉及实际的参数类型。

3、C/C++

C++在编译时，做法是根据函数的调用代码，分别生成几个传入参数不同的函数。这显然会带来代码膨胀的问题。

//泛型函数的写法
template <typename T>
int compare(const T &v1, const T &v2) {
if(v1 < v2) return -1;
if(v2 < v1) return 1;
return 0;
}
//泛型函数的实际调用
int a = 1, b = 0;
cout << compare(a, b) << endl;

double x = 2.1, y = 3.3;
cout << compare(x, y) << endl;

string s1 = "hi", s2 = "world";
cout << compare(s1, s2) << endl;
//泛型函数在编译中会被等效为
int compare(const int &v1, const int &v2) {
if(v1 < v2) return -1;
if(v2 < v1) return 1;
return 0;
}

int compare(const double &v1, const double &v2) {
if(v1 < v2) return -1;
if(v2 < v1) return 1;
return 0;
}

int compare(const string &v1, const string &v2) {
if(v1 < v2) return -1;
if(v2 < v1) return 1;
return 0;
}