模板类成员函数的特化能否在类体内实现？

你有一个模板类opt_arg，其中myfunc()函数对绝大多数T类型执行通用逻辑，但针对bool等特定类型需要特殊处理。目前你已实现了将bool类型的myfunc()特化放在类体外部的可行代码，现在想了解是否能把该成员函数的特化代码放在类体内部。

原实现代码：

template <class T> class opt_arg{
    private: void myfunc(){
     /*Do generic stuff */
    }

/* Can I insert here the bool specialization? */

};

/* The specialization "inserted outside of the class body": */
template<>
 inline void opt_arg<bool>::myfunc(){
    /* Do bool specific stuff*/
 }

结论 #

不能直接在类体内部放置成员函数的显式特化，C++标准不允许这种语法。不过你可以通过以下几种替代方案，在类体内部实现针对特定类型的特殊逻辑：

方案1：利用SFINAE结合重载（C++11及以上） #

通过std::enable_if和类型特性，在类内定义带约束的重载版本：

#include <type_traits>

template <class T> class opt_arg{
private:
    // 通用版本
    void myfunc() {
        /* Do generic stuff */
    }

    // bool专属版本，仅当T为bool时生效
    template <typename U = T>
    typename std::enable_if<std::is_same<U, bool>::value>::type
    myfunc() {
        /* Do bool specific stuff */
    }
};

编译器会根据T的类型自动匹配对应的版本：当T为bool时选择专属实现，其他类型选择通用实现。

方案2：标签分发（Tag Dispatch，C++11及以上） #

通过类型标签辅助函数分发逻辑，可读性更强：

#include <type_traits>

template <class T> class opt_arg{
private:
    // 通用逻辑实现
    void myfunc_impl(std::false_type) {
        /* Do generic stuff */
    }

    // bool专属逻辑实现
    void myfunc_impl(std::true_type) {
        /* Do bool specific stuff */
    }

    // 对外统一入口，自动分发到对应实现
    void myfunc() {
        myfunc_impl(std::is_same<T, bool>{});
    }
};

std::is_same<T, bool>会生成std::true_type或std::false_type的实例，编译器据此选择对应的myfunc_impl版本。

内容的提问来源于stack exchange，提问作者Tom Solid