C++条件using声明问题：避免bar模板特化代码重复的方案问询

你遇到的问题很典型：当Enable为false时，基类foo<false, T>根本没有say_hello成员，直接写using foo<Enable, T>::say_hello会触发编译错误，而特化bar又会导致大量代码重复。下面给你几个不需要特化的巧妙解决方案，适配不同C++版本：

方法一：C++20 用requires直接约束using声明 #

C++20引入的概念（Concepts）允许我们用requires子句直接条件化声明，这是最简洁的方式：

#include <iostream>
using namespace std;

template<bool enable, typename T>
struct foo;

template<typename T>
struct foo<false , T> { };

template<typename T>
struct foo<true , T> {
    void say_hello() { cout << "Hello !" << endl; }
protected:
    int m_some_data_when_I_enabled{};
};

template<bool Enable, typename T>
struct bar : foo<Enable , T> {
    void say_hello(int different_signature) { 
        cout << "Hello with int!" << endl;
    }

    // 仅当Enable为true时，才引入基类的say_hello
    requires(Enable)
    using foo<Enable, T>::say_hello;
};

struct duck { };

int main(int, char**) {
    bar<true , duck> enabled_bar;
    enabled_bar.say_hello();       // 调用基类的无参版本
    enabled_bar.say_hello(123);    // 调用bar的int参数版本

    bar<false , duck> disabled_bar;
    disabled_bar.say_hello(456);   // 只能调用bar的版本，无编译错误
}

当Enable为false时，requires(Enable)不满足，编译器会直接跳过这个using声明，不会去检查基类是否有say_hello成员，完美避免错误。

方法二：C++17及更早版本 用中间辅助基类 #

如果你的项目还在用C++17或更早的标准，可以借助一个条件辅助基类来实现，同样不需要特化bar：

#include <iostream>
using namespace std;

template<bool enable, typename T>
struct foo;

template<typename T>
struct foo<false , T> { };

template<typename T>
struct foo<true , T> {
    void say_hello() { cout << "Hello !" << endl; }
protected:
    int m_some_data_when_I_enabled{};
};

// 辅助模板：根据条件决定是否引入基类成员
template<bool Cond, typename Base>
struct conditional_member_using : Base {
    // 条件满足时，引入基类的say_hello
    using Base::say_hello;
};

// 特化：条件不满足时，空基类，不引入任何成员
template<typename Base>
struct conditional_member_using<false, Base> { };

template<bool Enable, typename T>
struct bar : conditional_member_using<Enable, foo<Enable, T>> {
    void say_hello(int different_signature) { 
        cout << "Hello with int!" << endl;
    }

    // 这里不需要再写using了，辅助基类已经帮我们处理了条件引入
};

struct duck { };

int main(int, char**) {
    bar<true , duck> enabled_bar;
    enabled_bar.say_hello();       // 正常调用基类版本
    enabled_bar.say_hello(123);    // 调用bar的版本

    bar<false , duck> disabled_bar;
    disabled_bar.say_hello(456);   // 无编译错误
}

这个思路是把条件引入成员的逻辑抽离到辅助基类里，bar只需要继承这个辅助类就行，完全不用修改原有大量的成员和函数，避免了代码重复。

补充说明 #

两种方法的核心都是让using声明只在基类确实有对应成员的时候才被实例化，本质上都是利用了C++的模板实例化规则：只有当模板参数满足条件时，对应的代码才会被编译器处理，否则会被忽略（SFINAE或Concepts的约束效果）。

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