使用模板参数添加/删除数据成员？

Question

考虑以下代码：

template<bool AddMembers> class MyClass
{
    public:
        void myFunction();
        template<class = typename std::enable_if<AddMembers>::type> void addedFunction();

    protected:
        double myVariable;
        /* SOMETHING */ addedVariable;
};

在此代码中，模板参数AddMembers 允许在类为true 时添加一个函数。为此，我们使用std::enable_if。

我的问题是：数据成员变量是否同样可能（可能有技巧）？ （这样MyClass<false> 将有 1 个数据成员（myVariable），MyClass<true> 将有 2 个数据成员（myVariable 和 addedVariable）？

Answer 1

可以使用条件基类：

struct BaseWithVariable    { int addedVariable; };
struct BaseWithoutVariable { };

template <bool AddMembers> class MyClass
    : std::conditional<AddMembers, BaseWithVariable, BaseWithoutVariable>::type
{
    // etc.
};

Answer 2

首先，您的代码不会为MyClass<false> 编译。 enable_if trait 对于 deduced 参数很有用，而不是类模板参数。

其次，控制成员的方法如下：

template <bool> struct Members { };

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

template <bool B> struct Foo : Members<B>
{
    double y;
};