如何避免C++模板特化typedef时产生的代码重复？

针对你遇到的模板特化时重复编写成员函数的问题，有几种简洁的解决方案可以避免冗余代码，只专注于特化需要改变的typedef（或C++11后的using类型别名）：

方案1：拆分类型定义与通用逻辑（最通用） #

把需要特化的type单独封装到一个小型模板结构体中，主模板S继承这个类型结构体，所有通用的成员函数都只在主模板中声明一次。

代码示例 #

// 单独封装需要特化的类型映射
template<bool value> struct S_Type {
    typedef int type;
};

// 仅特化类型部分，无需重复成员函数
template<> struct S_Type<false> {
    typedef unsigned type;
};

// 主结构体继承类型结构体，只写通用逻辑
template<bool value> struct S : public S_Type<value> {
    // 直接使用继承来的type类型
    type size();
    void func();
    int bar(int);
};

如果需要针对value=false特化某个成员函数（比如示例中的bar参数类型不同），单独特化该成员函数即可，无需特化整个结构体：

// 主模板的bar实现
template<bool value>
int S<value>::bar(int input) {
    return input * 2;
}

// 仅特化false版本的bar
template<>
typename S<false>::type S<false>::bar(typename S<false>::type input) {
    return input * 3;
}

方案2：使用C++11类型别名模板+条件类型 #

如果你的编译器支持C++11或更高版本，可以用std::conditional直接根据模板参数推导类型，配合using类型别名，完全避免结构体特化：

代码示例 #

#include <type_traits>

// 直接根据value推导type类型
template<bool value>
using S_Type = typename std::conditional<value, int, unsigned>::type;

template<bool value> struct S {
    using type = S_Type<value>;

    type size();
    void func();

    // 用std::enable_if重载不同版本的bar函数
    typename std::enable_if<value, int>::type bar(int);
    typename std::enable_if<!value, unsigned>::type bar(unsigned);
};

这种方式把类型选择和成员函数的重载都集中在主模板中，不需要任何特化的结构体，代码更紧凑。

方案3：CRTP模式（复杂场景适用） #

如果通用的成员函数逻辑需要依赖派生类的类型（比如某些需要多态的模板场景），可以使用奇异递归模板模式（CRTP），把通用逻辑放到基类中，派生类只需要定义type和特化的实现细节：

代码示例 #

// 基类封装通用成员函数
template<typename Derived>
struct S_Base {
    using type = typename Derived::type;

    // 通用的func实现
    void func() {
        // 通用逻辑代码
    }

    // 调用派生类的特化实现
    type size() {
        return static_cast<Derived*>(this)->size_impl();
    }
};

// 主模板继承基类，定义type和特化实现
template<bool value> struct S : public S_Base<S<value>> {
    using type = int;
    type size_impl();
};

// 仅特化type和对应的实现细节
template<> struct S<false> : public S_Base<S<false>> {
    using type = unsigned;
    type size_impl();
};

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