＜C++＞模板进阶

目录

一、非类型模板参数

二、模板的特化

三、模板的分文件编译

四、模板总结

---

---

一、非类型模板参数

template<class T>
class A
{
public:
	A(T m = 0)
		:_m(m)
	{

	}

	void Print()
	{
		cout << "T:" << _m << endl;
	}

private:
	T _m;
};

上面是类型模板参数，T表示的是一个类型；

非类型模板参数

模板的参数可以是一个整形，但不能是浮点型。

二、模板的特化

模板支持我们进行范型编程，可以省去我们大部分的写代码的时间，但是存在一些特殊的情况，在一个模板中，传的类型符合大部分的使用情景，但是有极个别的类型特例需要特殊的处理。

template<class T>
bool Greater(T left, T right)
{
	return left > right;
}

int main()
{
	A<int> a1;
	a1.Print();

	Date d1(2022, 9, 11);
	Date d2(2022,9,10);

	Date* pd1 = &d1;
	Date* pd2 = &d2;

	cout << Greater(d1, d2) << endl;
	cout << Greater(pd1, pd2) << endl;

	return 0;
}

上面的代码，我们想要比较的是日期类的大小，如果我们传入的是Date类的指针类型,那么它比较的是指针的值，但是我们想要比较仍然是指向的日期类的大小，所以我们需要做一件事情，模板的特化；

template<class T>
bool Greater(T left, T right)
{
	return left > right;
}

template<>//模板的特化
bool Greater<Date*>(Date* left, Date* right)
{
	return *left > *right;
}

上面我们将模板的特化写出来，模板特化的语法：

template<>

模板类/模板函数

我们现在将比较函数Greater()特化后，特化了一个Date*类型参数的模板，那么我们在传入Date*这个类型的时候，C++就会去执行我们特化后的模板。

三、模板的分文件编译

我们知道类是不能进行分文件编译的，因为会出现函数未定义的问题；

那么如果我们想要将模板进行分文件编译怎么做呢？

头文件

template<class T>
class vector
{
    public:
        void push(const T& x);
    privete:
};

template<class T>
void mr::vector<T>::push(const T& x)
{
	
}

四、模板总结

模板【优点】：

1、模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此产生

2、增强了代码的灵活性（重复的工作交给编译器去做）

模板【缺陷】：

1、模板会导致代码膨胀的问题，也会导致编译的时间变长

2、出现了模板编译错误时，错误信息非常凌乱，不易定位错误