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;
}