C++模板进阶

C++模板进阶

1.非类型模板参数

模板参数分类型模板与非类型参数。

类型形参：出现在模板参数列表中，跟在class或者typename之后的参数类型名称。

非类型形参：就是用一个常量作为类（函数）模板的一个参数，在类（函数）模板中可将该参数当成常量来使用。

template <class T, size_t N = 10>	//N就是非类型模板参数
class array
{

private:
	T _array[N];
};

1.浮点数、类对象以及字符串不允许作为非类型模板参数。

2.非类型的模板参数必须在编译期就能确认结果。

2.模板的特化

2.1概念

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊的可能会得到一些错误的结果。

template<class T>
bool isequal(T& left, T& right)
{
	return left == right;
}
int main()
{
	char* p1 = new char[6]{ "hello" };
	char* p2 = new char[6]{ "hello" };
	cout << isequal(p1, p2) << endl;	//输出0
    //比较的是p1和p2的地址。
	return 0;
}

此时，就需要对模板进行转化。在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化。

2.2函数模板特化

template<>
bool isequal<char*>(char*& left, char*& right)
{
	if (strcmp(left, right) == 0)
		return true;
	return false;
}

一般情况下如果函数模板遇到不能处理或者处理有误的类型，为了实现简单通常都是将该函数直接给出。

bool isequal(char*& left, char*& right)
{
	if (strcmp(left, right) == 0)
		return true;
	return false;
}

2.3类模板的特化

2.3.1全特化

全特化即是将模板参数类表中所以的参数都确定化。

template<class T1, class T2>
class A
{
public:
	A()
	{
		cout << "A<T1， T2>" << endl;
	}
private:
	T1 _a;
	T2 _b;
};

template<> 
class A<int, int>
{
public:
	A()
	{
		cout << "A<int， int>" << endl;
	}
private:
	int _a;
	int _b;
};

int main()
{
	A<char, int> d1;
	A<int, int> d2;
	return 0;
}

2.3.2偏特化

任何针对模板参数进一步进行条件限制设计的特化版本。对于以下模板类：

template<class T1, class T2>
class A
{
public:
	A()
	{
		cout << "A<T1， T2>" << endl;
	}
private:
	T1 _a;
	T2 _b;
};

偏特化有以下两种表现方式：

部分特化：将模板参数类中的一部分参数特化。

template<class T1>
class A<T1, int>
{
public:
	A()
	{
		cout << "A<T1， int>" << endl;
	}
private:
	T1 _a;
	int _b;
};

template<class T2>
class A<int, T2>
{
public:
	A()
	{
		cout << "A<int， T2>" << endl;
	}
private:
	class _a;
	T2 _b;
};

参数更近一步的限制：偏特化并不仅仅是指特化部分参数，而是针对模板参数更近一步的条件限制所设计出来的一个特化版本。

template<class T1, class T2>
class A<T1*, T2*>
{
public:
	A()
	{
		cout << "A<T1*， T2*>" << endl;
	}
private:
	T1* _a;
	T2* _b;
};

template<class T1, class T2>
class A<T1&, T2&>
{
public:
	A()
	{
		cout << "A<T1&， T2&>" << endl;
	}
private:
	T1& _a;
	T2& _b;
};

3.模板分离编译

3.1什么是分离编译

一个项目由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链接起来形成单一的可执行文件的过程为分离编译模式。

3.2模板的分离编译

假设有如下场景，模板的声明与定义分离开，在头文件中进行声明，源文件中进行定义。

//test.h
template<class T>
bool isequal(T& left, T& right);

//test.c
template<class T>
bool isequal(T& left, T& right)
{
	return left == right;
}

//main.c
int main()
{
	int a = 0;
	int b = 0;
	isequal(a, b);
}

这样子写会报错，模板只有在使用时才会实例化。在main中调用的isequal，编译器在链接时才会找其地址，但是这两个函数没有实例化生成具体代码，因此连接时报错。

3.3解决方法

1.将声明和定义放到一个文件里面。

2.模板定义的位置显示实例化。（不推荐使用）

4.模板总结

4.1优点

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

2.增强了代码的灵活性。

4.2缺陷

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

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