如何针对满足Concept的类型特化类模板成员函数？

你尝试的代码编译报错，原因是C++不允许对同一类模板的成员函数，通过外部添加约束的方式实现差异化版本——类内声明的Load无约束，外部定义却加了CanDouble<T>约束，属于模板声明不一致，因此触发“模板重声明中类型约束不同”的错误。

以下是几种正确的实现方式：

方法一：使用constexpr if内部分支（推荐） #

直接在成员函数内部通过编译期判断区分逻辑，代码集中且简洁：

template<typename T>
concept CanDouble = requires (T a) {
    a + a;
};

template<typename T>
struct Foo {
    T Load() {
        if constexpr (CanDouble<T>) {
            return m_bar + m_bar;
        } else {
            return m_bar;
        }
    }

    T m_bar;
};

方法二：部分特化整个类 #

如果多个成员函数都需要针对CanDouble类型做差异化实现，可以部分特化整个类：

template<typename T>
concept CanDouble = requires (T a) {
    a + a;
};

// 通用版本
template<typename T>
struct Foo {
    T Load() {
        return m_bar;
    }

    T m_bar;
};

// 针对满足CanDouble的类型特化
template<CanDouble T>
struct Foo<T> {
    T Load() {
        return m_bar + m_bar;
    }

    T m_bar;
};

方法三：重载模板成员函数 #

将Load定义为模板成员函数，通过约束区分重载版本，需注意避免调用歧义：

template<typename T>
concept CanDouble = requires (T a) {
    a + a;
};

template<typename T>
struct Foo {
    // 仅对不满足CanDouble的类型启用
    template<typename U = T> requires !CanDouble<U>
    T Load() {
        return m_bar;
    }

    // 仅对满足CanDouble的类型启用
    template<typename U = T> requires CanDouble<U>
    T Load() {
        return m_bar + m_bar;
    }

    T m_bar;
};

内容的提问来源于stack exchange，提问作者Evan La Fontaine