如何在模板类中根据条件选择性引入基模板类的成员？

问题场景 #

我有一个模板类，其是否包含成员int x取决于模板参数，通过继承特化的基类实现。示例代码如下：

#include <iostream>

template <bool present>
struct base;

template <>
struct base<true> { int x; };

template <bool present>
struct base { };

template <bool activate>
struct A : public base<activate> {
    void print() const;
};

template <bool activate>
void A<activate>::print() const
{
    if constexpr (activate) {
        std::cout << "x = " << this->x << std::endl;
    } else {
        std::cout << "nothing" << std::endl;
    }
}

int main()
{
    A<true> a;
    a.print();
    A<false> b;
    b.print();

    return 0;
}

在这段代码中，A<true>继承了base<true>的成员int x，而A<false>则没有该成员。由于x是依赖名称，每次访问都需要写this->x或base<true>::x，十分繁琐。常规的using base<true>::x;声明仅在activate=true时有效，想知道是否能通过宏或其他方式，仅在满足条件时添加这个using声明。

解决方案 #

方法一：使用条件继承的辅助类（推荐） #

这是最符合C++模板特性的优雅方案，无需依赖宏：

1. 定义一个辅助模板类，仅在模板参数为true时包含using声明：

template<bool present>
struct using_x_helper {};

template<>
struct using_x_helper<true> {
    using base<true>::x;
};

2. 修改A类的继承列表，同时继承这个辅助类：

template <bool activate>
struct A : public base<activate>, public using_x_helper<activate> {
    void print() const;
};

当activate=true时，using_x_helper<true>会将base<true>::x引入A的作用域；当activate=false时，辅助类为空，不会产生任何多余代码。

方法二：使用宏配合编译期条件（不推荐） #

虽然可以通过宏实现，但宏的可读性差且容易引发潜在问题，仅作参考：

#define CONDITIONAL_USING_X(ACTIVATE) \
    template<bool = ACTIVATE> \
    struct using_x_wrapper {}; \
    template<> \
    struct using_x_wrapper<true> { \
        using base<true>::x; \
    }; \
    using using_x_wrapper<ACTIVATE>::x;

然后在A类中添加：

template <bool activate>
struct A : public base<activate> {
    CONDITIONAL_USING_X(activate)
    void print() const;
};

不过这种方式本质上还是依赖模板特化，和方法一逻辑类似，但宏会降低代码的可维护性。

效果验证 #

修改后，在A<true>的成员函数中可以直接写x而无需this->前缀：

template <bool activate>
void A<activate>::print() const
{
    if constexpr (activate) {
        std::cout << "x = " << x << std::endl; // 直接访问x
    } else {
        std::cout << "nothing" << std::endl;
    }
}

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