函数模板两种类型以及函数模板具体化

模板有两种类型：1 自动类型推导  2 显示指定类型

template<typename T>
T foo(T &a,T &b){
    return a;
}


void test(){
    int a=10;
    double b=20;
    foo(a,a);  //不告诉编译器我是什么类型，让编译器自己判断 自动推导类型
    foo<double>(b,b);  //告诉编译器我是double类型，让编译器知道我得类型，显示指定类型
}

 

模板具体化例子1

int func1(int a, int b){
    return a+b;
}

double func2(double a,double b){
    return a+b;
}

void test(){
    int a=10;
    int b=20;
    cout<<func1(a,b)<<endl;

    double c=10.1;
    double c=20.1;
    cout<<func2(a,b)<<endl;

}

此时的fun1和func2的代码执行内容一样，仅仅只是参数类型不同，可以使用模板。

模板格式如下：

template <typename T>//T为通用类型
T func(T &a,T &b){
    return a+b;
}

调用模板的时候，编译器会根据传入的参数决定生成的模板函数（即实例化一个函数）

但是，如果发生一下这种情况。。。

class stu {
public:
	stu(int a, string b) {
		this->a = a;
		this->name = b;
	}
	int a;
	string name;

};

template <class T>
bool foo(T&a, T&b) {
	return a == b;
}

int main()
{
	int a = 10;
	int b = 10;
	if (foo(a, b)) {
		cout << "两个数相等" << endl;
	}

	stu p1(11, "123");
	stu p2(12, "123");
	if (foo(p1, p2)) {
		cout << "两个对象相等" << endl;
	}
	else {
		cout << "两个对象不相等" << endl;
	}
	system("pause");
	return 0;
}

理论上，应该输出

两个数相等

两个对象不相等

可是，输出失败，因为此时p1,p2时两个类，不存在与之匹配的 =运算符；

此时应该具体化，代码如下：

template<> bool bijiao<stu>(stu &a, stu &b) {
	return a.a == b.a &&a.name == b.name;
}