C++模板编程中只特化模板类的一个成员函数

模板编程中如果要特化或偏特化(局部特化)一个类模板，需要特化该类模板的所有成员函数。类模板中大多数成员函数的功能可能是一模一样的，特化时我们可能只需要重新实现1、2个成员函数即可。在这种情况下，如果全部重写该模板类的所有成员函数，不但会增加工作量，也不利于代码的维护。

例如下面的类模板A，只有在模板参数是char*时才需要特化成员函数func()，但其他的成员函数都不需要特化：

template <typename _Ty>
struct A
{
    // 其他成员函数a
    // 其他成员函数b
    // ......
    void func()
    {
        std::cout << "common type." << std::endl;
    }
};

int main()
{
    A<int> i;
    i.func();

    A<char*> c;
    c.func();

    return 0;
}

方法一：通过运行时类型识别，这个方法最简单

template <typename _Ty>
struct A
{
    // 其他成员函数a
    // 其他成员函数b
    // ......
    void func()
    {
        if (typeid(_Ty) == typeid(char*))
            std::cout << "common type." << std::endl;
        else
            std::cout << "special type." << std::endl;
    }
};

方法二：通过类的成员函数模板特化来实现，这个方法也比较简单

template <typename _Ty>
struct A
{
    // 其他成员函数a
    // 其他成员函数b
    // ......
    template <typename __Ty>
    void funcImpl()
    {
        std::cout << "common type." << std::endl;
    }

    template <>
    void funcImpl<char*>()
    {
        std::cout << "special type." << std::endl;
    }

    void func()
    {
        funcImpl<_Ty>();
    }
};

方法三：通过一个嵌套模板类的特化来实现

template <typename _Ty>
struct A
{
    // 其他成员函数a
    // 其他成员函数b
    // ......
    template <typename __Ty>
    struct IsCharPType
    {
        const static bool b = false;
    };

    template<>
    struct IsCharPType<char*>
    {
        const static bool b = true;
    };

    void func()
    {
        if (IsCharPType<_Ty>::b)
            std::cout << "special type." << std::endl;
        else
            std::cout << "common type." << std::endl;
    }
};

方法四：先定义一个嵌套的类模板，通过重载函数实现（函数的参数类型不同）

template <typename _Ty>
struct A
{
    // 其他成员函数a
    // 其他成员函数b
    // ......
    template <typename __Ty>
    struct TypeClass
    {
    };

    template <typename __Ty>
    void funcImpl(const TypeClass<__Ty>&)
    {
        std::cout << "common type." << std::endl;
    }

    void funcImpl(const TypeClass<char*>&)
    {
        std::cout << "special type." << std::endl;
    }

    void func()
    {
        funcImpl(TypeClass<_Ty>());
    }
};