C++模板篇

1. 泛型编程

---

C语言中，想实现不同类型数据的交换，我们得实现针对不同类型的交换函数，每个函数的实现细节又很类似，显示很繁琐；有没有一种通用交换函数，能适用所有类型的交换

C++中，提供了模板的概念，我们只需要提供一个模板函数，编译器就会根据传参类型自动推导出函数

编写与类型无关的通用代码，也称为泛型编程

模板又分为：

• 函数模板
• 类模板

2. 函数模板

---

2.1 格式

template<typename T1,typename T2......>
// typename是用来定义模板参数的关键字，也可以换成class

template<typename T>
void Swap(T& x, T& y)
{
	T temp = x;
	x = y;
	y = temp;
}

2.2 函数模板的原理

函数模板只是一个蓝图，它不是函数，编译器会根据模板生成不同类型的函数，其本质是原本要我们做重复的事情交给了编译器去做

编译器会根据模板和传参的类型，自动推演生成一个函数以供调用

2.3 函数模板的实例化

用不同类型的参数使用函数模板时，成为函数模板的实例化

函数模板的实例化分为：

• 隐式实例化
• 显示实例化

// 隐式实例化：让编译器根据实参类型自动推导模板参数的实际类型
template<typename T>
T Add(const T& x, const T& y)
{
	return x + y;
}

int main()
{
	int i1 = 1, i2 = 2;
	Add(i1, i2);
    
    double d1 = 1.1, d2 = 2.2;
	//Add(i1, d1);
    //该语句无法编译，传i1时，编译器认为T是int类型，传d1时，编译器又认为是double类型，产生了歧义
    //编译器一般不会进行类型转换操作
    //想要解决这个问题，一种是在传参前强制类型转换，另一种是显示实例化模板
    
    double d1 = 1.1, d2 = 2.2;
	Add(i1, (int)d1);
    
    //显示实例化：在函数名后指定模板参数实际类型
    //如果类型不匹配，会进行隐式类转换
    Add<int>(i1, d1);

	return 0;
}

2.4 函数模板的匹配原则

• 非模板函数和模板函数可以同名，模板函数可以被实例化为这个非模板函数

  template<typename T>
  T Add(const T& x, const T& y)
  {
  	return x + y;
  }
  
  int Add(const int& x, const int& y)
  {
  	return x + y;
  }
  
  int main()
  {
  	Add(1, 2);// 调用非模板函数
  	Add<int>(1, 2);// 调用编译器根据模板生成的函数
  	
  	return 0;
  }
  

• 模板函数和重名的非模板函数同时存在的情况下，如果参数类型与非模板函数相同，会优先调用非模板函数；如果模板函数可以产生一个更加匹配的函数，那么选择模板

  template<typename T1, typename T2>
  T1 Add(const T1& x, const T2& y)
  {
  	return x + y;
  }
  
  int Add(const int& x, const int& y)
  {
  	return x + y;
  }
  
  int main()
  {
  	Add(2, 3);// 调用非模板函数
  	Add(2, 3.0);// 调用编译器根据模板生成的函数
  	return 0;
  }
  

3. 类模板

---

3.1 格式

template<class T1, class T2......>
class 类模板名
{
	//...
};

• 类模板中的函数在类外定义需要指定类模板域

  template<class T>
  class Stack
  {
  public:
  	void Push(const T& d);
  private:
  	T* _a;
  	int _top;
  	int _capacity;
  };
  
  template<class T>
  void Stack<T>::Push(const T& d){}
  

3.2 类模板的实例化

int main()
{
    //Stack是类名，Stack<int>才是类型
	Stack<int> s1;
    //在类模板名后加上<>和模板实例化的类型
	return 0;
}
//类模板名不是一个类，实例化的结果才是一个类
T& d){}

3.2 类模板的实例化

int main()
{
    //Stack是类名，Stack<int>才是类型
	Stack<int> s1;
    //在类模板名后加上<>和模板实例化的类型
	return 0;
}
//类模板名不是一个类，实例化的结果才是一个类