模板(非类型模板参数、模板特化、模板分离编译)

模板参数

• 类型模板参数：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。
• 非类型模板参数：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用

   比如用非类型模板参数定义一个静态数组
   template<class T, size_t N = 10>
  

  注意：
  1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的。
  2. 非类型的模板参数必须在编译期就能确认结果。

模板特化

为什么会有模板特化？

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

template<class T>
bool IsEqual(T& left, T& right) 
{ 
	return left == right;
}
void Test() 
{
	char* p1 = "nihao"; 
	char* p2 = "wanzhaofeng";

	if (IsEqual(p1, p2))   
		cout << p1 << endl;
	else      
		cout << p2 << endl;
}

对于上面代码来说，对于大部分参数数据类型（如 int double short）来说可以实现正确的结果，但是当我想要比较两个字符串的大小的时候，比较的时候却是比较的指针，这样就并达不到我们所想要的。此时，就需要对模板进行特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特 化中分为函数模板特化与类模板特化。

函数模板特化

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

类模板特化

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

偏特化：偏特化分为部分特化和参数更进一步的限制。

• 部分特化：将模板参数列表中的一部分参数特化

  将第二个参数特化为:
  int template <class T1> 
  class Data<T1, int> 
  { 
  public: 
  	Data()
  	{
  		cout<<"Data<T1, int>" <<endl;
  	}
  private:  
  	T1 _d1;   
  	int _d2; 
  };
  

• 参数更进一步的限制：针对模板参数更进一步的条件限制所设计出来的一个特化。

  两个参数偏特化为指针类型: 
  template <typename T1, typename T2>
  class Data <T1*, T2*>
  {
  public:  
  	Data()
  	{
  		cout<<"Data<T1*, T2*>" <<endl;
  	}
  private:  
  	T1 _d1;  
  	T2 _d2;
  };
  
  两个参数偏特化为引用类型:
  template <typename T1, typename T2>
  class Data <T1&, T2&> 
  {
  public:
  	Data(const T1& d1, const T2& d2)
  		: _d1(d1)
  		, _d2(d2)  
  	{
  		cout << "Data<T1&, T2&>" << endl;
  	}   
  private:  
  	const T1 & _d1;
  	const T2 & _d2;
  };
  

模板分离编译

什么是分离编译

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

模板支持分离编译吗？

一定要记住： 模板是不支持分离编译的！！！但是为什么不支持分离编译呢？

我故意写了一个函数模板分离编译的代码，发现在执行的时候编译器报了链接错误(链接错误一般是指找得到函数的声明而找不到定义而产生的)。分析原因： test.cpp里面包了add.h头文件，则会将add.h展开到test.cpp，在执行test（2,2）时编译器认为有这个函数有声明所以编译通过。但是又因为编译器对工程中的多个源文件是分离开单独编译的互不影响。因此每个源文件都会经过预处理、编译、汇编独立的生成 .obj 文件。在最后链接的时候test.obj会去找add（2,2）这个函数的定义，也就是找这个函数的地址。但是在 add.cpp 进行编译时编译器并没有看到对add模板函数的实例化，所以不会生成具体的函数。所以 test.obj 找不到这个函数的地址，因此发生链接错误。

对非模板函数分离编译是可以的，因为在链接之前就已经实例化出函数，可以被找到地址。

如何解决模板编译分离带来的问题？

• 1、在模板定义的位置显式实例化。这种方法不实用，不推荐使用。

  //add.cpp
  #include"add.h"
  template//只需要一个template关键字即可
  int add<int>(const int& x1, const int& x2);
  
  template
  double add<double>(const double& x1, const double& x2);
  
  template<class T>
  T add(const T& x1, const T& x2)
  {
  	return x1 + x2;
  }
  

  PS：该方法不建议用的原因是当我们想要不同类型的数据进行计算时，就需要显示的实例化出多个，导致代码增多。

• 2、将声明和定义放到一个文件 “xxx.hpp” 里面或者xxx.h（xxx.hpp更好一点，说明模板的定义和声明都在这个文件里面，让读者读起来更加清晰是模板）。推荐使用这种。

  这样子是将 add .hpp 文件中的代码展开到 test.cpp 中，在test.cpp编译时候，模板会随着test.cpp中的函数调用实例化出一个函数，函数调用可以直接找到实例化出的这个函数的地址，不需要进行链接就可以完成程序的正常进行。

  //add.hpp
  template<class T>
  T add(const T& x1, const T& x2);
  
  template<class T>
  T add(const T& x1, const T& x2)
  {
  	return x1 + x2;
  }
  
  

模板的优缺点

优点：

• 实现代码复用，节省资源，方便使用
• 增强了代码的灵活性

缺点：

• 模板会导致代码膨胀问题，也会导致编译时间变长。
• 出现模板编译错误时，错误信息非常凌乱，不易定位错误。