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>());
    }
};