C++primer 阅读笔记-模板与泛型编程（成员模板）

成员模板

• 一个类（类模板或者普通类）可以包含本身是模板的成员函数
• 成员模板不能是虚函数

普通类的成员模板

• 下例为一个类似于unique_ptr的默认删除器的类
• 希望删除器适用于任何类型，所以将调用运算符定义为一个模板
• 成员模板也是也模板参数列表开始

class DebugDelete{
    public:
        DebugDelete(std::ostream &s = std::err):os(s){}
        template<typename T> void operator(T *p) const
        {os << "deleting unique_ptr"<<std::endl;delete p;}
    private:
        std::ostream &os;
}
//销毁p指向的对象
//实例化DebugDelete::operator()<int>(int *);
unque_ptr<int, DebugDelete>p(new int, DebugDelete());

类模板的成员模板

• 类和成员各有自己的、独立的模板参数
• 在类模板外定义一个成员模板时，必须同时为类模板和成员模板提供模板参数列表。类模板参数列表在前，后跟成员模板参数列表

实例化与成员模板

• 实例化一个类模板的成员模板，必须同时提供类和函数模板的实参