C++实验三 模板

一：函数模板

1. 1模板的概念

模板是一种对类型进行参数化的工具，通常有两种形式：函数模板和类模板。函数模板针对仅参数类型不同的函数；类模板针对仅数据成员和成员函数类型不同的类，可以显著减小源代码的大小并提高代码的灵活性，而不会降低类型安全。

函数模板的定义：
template<模板参数表>

返回类型 函数名 （参数列表）{

        //函数体

} 

注：class或typename修饰的类型参数，代表一种类型；非类型参数表达式，可以是int，long，long long类型，使用已知类型符，代表一个常量

1.2一般模板函数

#include<iostream>
using namespace std;

template<typename T>
int compare(const T& a, const T& b) {		//定义模板函数


	return a == b ? 0 : a > b ? 1 : -1;

}


int main() {

	int a = 10, b = 6;
	double c = 6.6, d = 7.7;


	cout << compare(a, b) << endl;
	cout << compare(c, d) << endl;
}

运行结果展示：

 1.3特化模板函数

template<>
void func(int i) {
    cout << "In special version for int "<< i << endl; 
}

int i = 88;
func(i); //调用特化版本

 注意事项：

1 模板的定义和声明最好放在相同的地方

        模板在定义时就使用，要像其他普通函数或类在.h中声明，在.cpp中定义会出现问题

2 模板不支持在局部函数中声明和调用

二：模板类

1.类模板

类模板以

template <class T>  开头，

普通的类模板：

#include<iostream>
using namespace std;
template <typename T>
class Complex
{
public:
    //构造函数
    Complex(T a, T b)
    {
        this->a = a;
        this->b = b;
    }

    //运算符重载
    Complex<T> operator+(Complex& c)
    {
        Complex<T> tmp(this->a + c.a, this->b + c.b);
        return tmp;
    }

private:
    T a;
    T b;
};

int main()
{
    //对象的定义，必须声明模板类型，因为要分配内容
    Complex<int> a(10, 20);
    Complex<int> b(20, 30);
    Complex<int> c = a + b;

    return 0;
}

类模板的特化：

//类模板的特化
#include<iostream>
using namespace std;

template<typename T1,typename T2>
class Test										//模板类
{
public:
	Test(T1 a, T2 b) :x(a), y(b) {
	cout<<"模板类"<<endl };

private:
	T1 x;
	T2 y;
};


template<>									//模板类的全特化
class  Test<int ,char>
{
public:
	Test(int a, char b) :x(a), y(b) {
		cout << "全特化" << endl;
	};
	
private:
	int x;
	char y;
};


template<typename T1>				//模板类的偏特化
class  Test<T1, int>
{
public:
	Test(T1 a, char b) :x(a), y(b) {
		cout << "偏特化" << endl;
	};

private:
	T1 x;
	char y;
};