在C++泛型编程中如何只特化类的某个成员函数

　　方法7：

namespace
{
    template <bool，typename T，typename> struct conditional { typedef T type; };
    template <typename T，typename U> struct conditional<false，T，U> {typedef U type; };
}
template<class T， unsigned B>
struct Base
{
    //other function
    //....

    void Func ()
    {
        typedef typename ::conditional<B!=16，primary_t，spec_t>::type type;
        Func_impl(type());
    }
private:
    struct primary_t { };
    struct spec_t    { };
    void Func_impl (primary_t) { std::cout << "primary function" << std::endl; }
    void Func_impl (spec_t   ) { std::cout << "specialization function" << std::endl; }
};

　　点评：和方法6类似，通过函数重载实现

　　方法8：

　　namespace

{
    template <bool，typename T = void> struct enable_if { typedef T type; };
    template <typename T> struct enable_if<true，T> {};
}
template<class T， unsigned B>
struct Base
{
    //other function
    //....

    template <unsigned N>
    typename ::enable_if<16!=N>::type
        FuncImpl () { std::cout << "primary function" << std::endl; }
    template <unsigned N>
    typename ::enable_if<16==N>::type
        FuncImpl () { std::cout << "specialization function" << std::endl; }
    void Func() {
        FuncImpl<B>();
    }
};

　　点评：通过enable_if，利用SFINAE实现。

　　我们可以看到根据编译时模板参数int值的不同，我们重写模板类的某个成员函数的方法是多种多样的。针对上面这种情况，个人其实推荐方法2，我们没必要把简单的问题复杂化。