C++Primer学习:模板特例化

（1）类模板特例化

某些时候通用模板的定义不适用,这个时候就需要对特定类型的实例进行特例化.

例子1:hash类模板是标准库里的一个模板,我们现在需要对它进行特例化,定义hash，使得关联容器可以存储相应的对象.

//注意,需要在sales_data上声明友元.
#include "unordered_set"
#include "Sales.h"
namespace std{//打开名字空间

    template<>//定义一个特例化的hash类
    struct hash
    {
        typedef size_t result_type;
        typedef Sales_data argument_type;
        size_t operator() (const Sales_data&) const;
    };
    size_t hash:: operator()(const Sales_data& s) const
    {
        return hash<string>()(s.bookNo) ^ hash<unsigned>()(s.units_sold)
            ^ hash<double>()(s.revenue);//注意,hash()生成一个不具名的对象,该对象调用()
    }
}
int main(int argc, char** argv)
{

    unordered_multiset record;
    Sales_data a("aaa", 10, 2), b("bbbb"), c("ccccc");
    record.insert(a);
    record.insert(b);
    record.insert(c);
    for (auto it : record)
        print(cout, it)<return 0;
}

(2)函数模板特例化:和类模板特例化相似,我有时候需要将函数模板特例化。下面通过一个例子来进行分析.

例子2:定义一个函数模板,统计一个给定值在vector中出现的次数。并且为该模板编写特例化版本来处理vector。

template<typename T>
size_t compute(const vector& vec, T key_value)
{
    size_t count = 0;
    for (auto& it : vec)
    {
        if (it == key_value)
            ++count;
    }
    return count;
}
template<>
size_t compute(const vector<const char*>& vec, const char*  key_value)
{
    size_t count = 0;
    for (auto &it : vec)
    if (strcmp(it,key_value)==0)
        ++count;
    return count;
}
//注意,在这里我们可以将给定值的类型定义为const T&，这在通用版本没有问题,但是在特例化的版本里面，如果我们传入字面字符串常量,就会出现问题,因为字符串常量被当作const char[],而形参是引用,所以实参不能够转换为指针.所以还是用T作为类型比较好.

例子3:对debug_rep进行特例化,处理const char*的字符指针.

template<>
string debug_rep(const char*  p)
{
    std::string ret(p);
    return ret;
}