15、C++模板特化与重载详解

C++模板特化与重载详解

1. 模板相关的一些背景知识

在C++中，函数模板的模板参数推导是最初设计的一部分，而显式模板参数的替代方案直到多年后才成为C++的一部分。同时，友元名称注入被许多C++语言专家认为是有害的，因为它使程序的有效性对实例化的顺序更加敏感。不过，Barton - Nackman技巧需要一种友元名称注入的形式，这使得它以当前（弱化）的形式保留在语言中。有趣的是，很多人听说过“Barton - Nackman技巧”，但很少有人能正确地将其与之前描述的技术联系起来。

2. 通用代码的局限性

C++模板允许将通用定义扩展为一系列相关的类或函数，但在很多情况下，操作的通用形式对于特定的模板参数替换并非最优。例如下面的 Array 类和 exchange 函数：

template<typename T>
class Array {
private:
    T* data;
    // ...
public:
    Array(Array<T> const&);
    Array<T>& operator = (Array<T> const&);
    void exchange_with (Array<T>* b) {
        T* tmp = data;
        data = b->data;
        b->data = tmp;
    }
    T& operator[] (size_t