类模板成员函数偏特化：避免全类特化重复代码

你当前用全特化实现功能的方式会导致大量代码重复，尤其当原类规模较大时非常麻烦。下面提供两种实用方案，既能实现需求又能彻底避免复制粘贴代码：

方案一：提取公共基类，特化类继承基类 #

把trait_vector的通用成员（构造函数、通用方法、成员变量等）提取到一个基类模板中，主模板和特化版本都继承这个基类，仅在特化版本里添加差异化的get_first方法：

// 提取公共基类，包含所有通用逻辑
template<class T>
struct trait_vector_base {
protected:
    std::vector<T> vec;
public:
    trait_vector_base() : vec {} {}
    // 可在此添加原trait_vector的所有通用方法，比如push_back、size等
    void push_back(const T& val) { vec.push_back(val); }
    size_t size() const { return vec.size(); }
    // ...其他通用成员
};

// 主模板继承基类，直接复用所有通用逻辑
template<class T>
class trait_vector : public trait_vector_base<T> {};

// 针对two_val<T>的特化版本，继承基类并仅实现额外功能
template<class T>
class trait_vector<two_val<T>> : public trait_vector_base<two_val<T>> {
public:
    trait_vector<T> get_first() {
        trait_vector<T> result;
        for(const auto& elem : this->vec) {
            result.push_back(elem.get_first());
        }
        return result;
    }
};

这个方案的核心是通过基类复用所有通用代码，特化版本只需要实现差异化逻辑，完全消除了代码冗余。

方案二：用SFINAE在主模板中条件添加成员函数 #

如果不想拆分基类，可以利用SFINAE特性，在主模板中仅当模板参数是two_val<T>时才启用get_first方法：

#include <type_traits>

template<class T>
class two_val{
private:
    T first_val;
    T second_val;
public:
    using value_type = T; // 添加类型别名，用于后续判断
    two_val() : first_val {}, second_val {} {}
    T get_first() const {return first_val;}
};

template<class T>
class trait_vector {
private:
    std::vector<T> vec;
public:
    trait_vector() : vec {} {}

    // 保留所有通用方法
    void push_back(const T& val) { vec.push_back(val); }
    size_t size() const { return vec.size(); }

    // 仅当T是two_val<U>类型时，此函数才会被实例化
    template<class U = T, 
             std::enable_if_t<std::is_same_v<U, two_val<typename U::value_type>>, int> = 0>
    trait_vector<typename U::value_type> get_first() {
        trait_vector<typename U::value_type> result;
        for(const auto& elem : vec) {
            result.push_back(elem.get_first());
        }
        return result;
    }
};

这里通过给two_val添加value_type别名，配合std::is_same和std::enable_if实现条件编译，只有当trait_vector的模板参数是two_val<U>时，get_first方法才会存在，其他类型的trait_vector不会包含该方法，无需类特化就能实现需求。

补充说明 #

• 方案一更适合原类有大量通用逻辑的场景，代码结构更清晰；
• 方案二更简洁，无需拆分基类，适合轻量级扩展需求；
• 你的原特化代码里result错误地使用了trait_vector<double>，上述方案已修正为trait_vector<T>，确保类型匹配。

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