条件 C++ 类成员定义

Question

我想根据 C++ 类中的模板参数定义一个类的两个变体。 （我使用的是 C++17。）

例如，如果模板参数bool flag 为真，我希望该类有一个成员：

Class1 foo;

如果flag 为假

Class2 bar;

类定义也会有一些逻辑变化，并使用foo 或bar。我可以使用继承来实现这一点，但我正在探索是否有另一种方法。 https://en.cppreference.com/w/cpp/types/conditional 似乎有帮助，但我不确定。我也可以同时拥有两个成员并在任何给定对象中使用其中一个，但这似乎很浪费，必须有更好的方法。请注意，如果特定解决方案仅允许我交换类而不是名称（可能有条件？），我不一定需要以不同的方式命名成员。

Answer 1

如果您可以在两个版本中使用相同的成员名称，那么这很简单：

template <bool flag>
struct Foo {
    std::conditional_t<flag, Class1, Class2> foo;
};