C++程序员应了解的那些事（86）类模板特例化之~ 模板特化要与对应的模板放在同一个命名空间下

【标准库hash模板示例】

       为标准库hash模板定义一个特例化版本，可以用它来将Sales_data对象保存在无序容器中。默认情况下，无序容器使用hash<key_type>来组织元素，为了让我们自己的数据类型Sales_data也能使用这种默认组织方式，必须定义hash模板的一个特例化模板。

       一个特例化hash类必须定义：

（1） ※！ 一个重载的调用运算符，它接受一个容器关键字类型的对象，返回一个size_t

（2） 两个类型成员，result_type和argument_type，分别调用运算符的返回类型和参数类型

（3） 默认构造函数和拷贝赋值运算符。

<代码示例> 

  ① 我们可以向命名空间添加成员，首先必须打开命名空间！！

//打开命名空间，以便特例化std::hash
namespace std 
{
  
}

②定义能处理Sales_data的特例化hash版本

//打开std命名空间，以便特例化std::hash
namespace std 
{
    template<> //定义一个特例化版本，模板参数为Sales_data
    struct hash<Sales_data>
    {
        //用来散列一个无序容器必须要定义以下类型
          typedef size_t result_type;
          typedef Sales_data argument_type;
          size_t operator() (const Sales_data& s) const;
          //我们的类使用合成的拷贝控制成员
    };   
    size_t hash<Sales_data>::operator() (const Sales_data& s) const
    {
        return hash<string>() (s.bookNo) ^
               hash<unsigned>(s.units_sold) ^
               hash<double> (s.revenue);
    }   
}  //关闭std命名空间

【functional 头文件中 std::equal_to 仿函数特例化】

<示例代码>

struct CompA
{
    CompA(int a, int b)
    {
        this->a = a;
        this->b = b;
    }

    int a;
    int b;
};

namespace std //打开std命名空间
{
    template<>
    struct equal_to<CompA>  //这里如果写成std::equal_to会报错：不允许有多余的限定
    {
        bool operator()(CompA X, CompA Y)
        {
            return X.a == Y.a;
        }
    }; 
}

void test_special_template()
{
    std::equal_to<CompA> comp_a;
    bool flag = comp_a(CompA(1,2), CompA(1,2));
    std::cout << "flag = " << flag << std::endl;
}

int main(){
    test_special_template();
    return 0;
}

输出：
flag = 1

重点指出：

（1）※ 打开命名空间std后，在std空间内如果写成std::equal_to会报错：不允许有多余的限定  ！！  (此时std命名空间还没有结束定义)

（2）template<> class equal_to<CompA>，特例化时使用class也可以，但不推荐。