如何通过构造函数参数设置C++容器类模板成员的bool参数？

原写法的核心问题 #

TestClass的模板参数必须是编译期常量，但构造函数的参数是运行期值——试图用运行期值给constexpr变量赋值再作为模板参数完全行不通，因为constexpr变量的值必须在编译阶段就确定，无法通过运行期的构造函数调用修改。

方案1：运行期配置场景——使用std::variant统一成员类型 #

如果你的配置结构体是运行期传入的（比如从文件、用户输入读取），可以用std::variant容纳TestClass<true>和TestClass<false>两种类型，无需编译期确定每个成员的模板参数，完全通过运行期配置初始化对应类型。

示例代码：

#include <variant>

// 原TestClass定义保持不变
template <bool hasExtraParam>
class TestClass {};

template <>
class TestClass<true> {
public:
    int param1;
    int param2;
};

template <>
class TestClass<false> {
public:
    int param1;
};

// 大型配置结构体
struct Config {
    bool ep1;
    bool ep2;
    bool ep3;
    bool ep4;
    // 更多布尔配置项...
};

class Container {
public:
    // 定义变体类型，同时兼容两种TestClass
    using TestVariant = std::variant<TestClass<true>, TestClass<false>>;

    // 构造函数根据配置初始化每个变体成员
    explicit Container(const Config& cfg)
        : testClass1(cfg.ep1 ? TestClass<true>{} : TestClass<false>{}),
          testClass2(cfg.ep2 ? TestClass<true>{} : TestClass<false>{}),
          testClass3(cfg.ep3 ? TestClass<true>{} : TestClass<false>{}),
          testClass4(cfg.ep4 ? TestClass<true>{} : TestClass<false>{})
          // 其他成员按同样逻辑初始化
    {}

    TestVariant testClass1;
    TestVariant testClass2;
    TestVariant testClass3;
    TestVariant testClass4;
    // 更多TestVariant类型的成员...
};

访问变体成员时，可通过std::visit自动适配类型，或用std::holds_alternative+std::get明确判断类型：

// 通用访问：自动匹配两种TestClass类型
std::visit([](auto& tc) {
    std::cout << tc.param1 << std::endl;
}, container.testClass1);

// 仅当类型为TestClass<true>时，访问额外参数param2
if (std::holds_alternative<TestClass<true>>(container.testClass1)) {
    auto& tc = std::get<TestClass<true>>(container.testClass1);
    std::cout << tc.param2 << std::endl;
}

方案2：编译期配置场景——用编译期数组作为模板参数 #

如果配置可在编译期确定（比如硬编码的常量配置），可把所有布尔配置打包成std::array<bool, N>作为模板参数，避免编写大量单个模板参数。

示例代码：

#include <array>

// 原TestClass定义保持不变
template <bool hasExtraParam>
class TestClass {};

template <>
class TestClass<true> {
public:
    int param1;
    int param2;
};

template <>
class TestClass<false> {
public:
    int param1;
};

// 用编译期数组作为模板参数，数组大小对应成员数量
template <std::array<bool, 4> Flags>
class Container {
public:
    TestClass<Flags[0]> testClass1;
    TestClass<Flags[1]> testClass2;
    TestClass<Flags[2]> testClass3;
    TestClass<Flags[3]> testClass4;
    // 更多成员按索引对应数组元素...
};

// 使用方式：定义编译期常量数组
constexpr std::array<bool, 4> cfg_flags = {true, false, true, false};
Container<cfg_flags> container;

这种方案的优势是类型完全明确，没有变体的访问开销，但要求所有配置必须在编译阶段确定。

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