操作符重载 与 模板（泛化，全特化，偏特化）

操作符重载

参考链接：https://zh.cppreference.com/w/cpp/language/operators

• 在 C++ STL 中，广泛使用了操作符重载和模板。实际上 C++ 使用者在使用容器时，对不同容器的迭代器使用的操作符（*, ->, ++， --）都可能是不同的实现逻辑。操作符重载使得使用者不需要知道底层具体的代码实现过程，降低编程的复杂度。

---

限制
（1）不能重载运算符 ::（作用域解析）、.（成员访问）、.*（通过成员指针的成员访问）及 ?:（三元条件）。
（2）不能创建新运算符，例如 **、<> 或 &|。
（3）运算符 && 与 || 的重载失去短路求值。
（4）重载的运算符 -> 必须要么返回裸指针，要么（按引用或值）返回同样重载了运算符 -> 的对象。
（5）不可能更改运算符的优先级、结合方向或操作数的数量。

模板

模板分为三大类，（1）类模板， （2）函数模板， （3） 成员模板

• 类模板
  例1：

template <typename T> // 此处用 typename 或 class 都可
class complex {
public:
	complex(T r = 0, T i = 0) : re(r), im(i) {}
	complex& operator += (const complex&);
	T real() const {return re;} // 此处 const 表示不会改变类成员变量。
	T imag() const {return im;}
private:
	T re, im;
	friend complex& __doapl(complex*, const complex&);
};
// 以下是使用方式：
{
	complex<double> c1(1.22, 2.33);
	complex<int> c2(1,2);
}

• 函数模板

例2：

template <class T>
const T& min(const T& a, const T& b) {
	return b < a ? b : a; // 此处 会自动检测 a 和 b 的类型是否重载运算符 < 
}

以上示例中，编译器会做实参推导，将 T 推导为 传入的函数参数 a 和 b 的类型。

• 成员模板

• 模板特化
  以上例1和例2就呈现了泛化的过程，如果对于例1和例2 有如下操作，
  例3：

// 例1 的特化
template<> class complex<int> { // 可视为将前面<>中的 T 取走，化成 int 放在后面的<>中。
...  // 针对模板特化int 时，需要做的特殊操作；
};
// 例2 的特化
template<> 
const string& min(const string& a, const string& b) {
	... // 针对模板特化string 时，需要做的特殊操作；
}

• 模板偏特化