能否在std::array内创建constexpr std::array值？编译期配置优化求助

这个方案完全可行，核心要解决的是不同模板参数的PerSeverity实例类型不统一导致std::array无法兼容的问题，以下是几种实用解决技巧：

1. 用std::variant统一类型（C++17+） #

把不同模板参数的PerSeverity类型打包成std::variant，让PerTask中的std::array元素类型统一为这个variant类型。编译期可以constexpr构造variant，访问时用std::visit处理不同类型的逻辑。

示例代码：

struct PerId {
    int id;
    constexpr PerId(int i) : id(i) {}
};

template<size_t N>
struct PerSeverity {
    std::array<PerId, N> ids;
    constexpr PerSeverity(std::array<PerId, N> arr) : ids(arr) {}
};

// 把所有可能的PerSeverity类型打包进variant
using SeverityVariant = std::variant<PerSeverity<2>, PerSeverity<3>>;

struct PerTask {
    std::array<SeverityVariant, 2> severities;
    constexpr PerTask(std::array<SeverityVariant, 2> arr) : severities(arr) {}
};

// 编译期常量配置实例
constexpr PerTask my_task{{
    SeverityVariant(PerSeverity<2>{{PerId(1), PerId(2)}}),
    SeverityVariant(PerSeverity<3>{{PerId(3), PerId(4), PerId(5)}})
}};

2. 统一数组长度，补默认值 #

找到所有PerSeverity中PerId数组的最大长度MaxLen，将所有PerSeverity统一为PerSeverity<MaxLen>类型，长度不足的实例在构造时补默认值（比如空PerId）。这种方式类型最简单，访问逻辑直接，仅需少量构造逻辑适配，适合配置体量不大的场景。

示例代码：

constexpr size_t MaxIdCount = 3; // 假设这是所有PerSeverity中最大的PerId数组长度

struct PerId {
    int id = 0; // 默认值
    constexpr PerId(int i = 0) : id(i) {}
};

template<size_t N>
struct PerSeverity {
    std::array<PerId, MaxIdCount> ids;
    constexpr PerSeverity(std::array<PerId, N> arr) : ids{} {
        // 拷贝有效元素，剩余位置用默认值填充
        for (size_t i = 0; i < N; ++i) {
            ids[i] = arr[i];
        }
    }
};

struct PerTask {
    std::array<PerSeverity<MaxIdCount>, 2> severities;
    constexpr PerTask(std::array<PerSeverity<MaxIdCount>, 2> arr) : severities(arr) {}
};

constexpr PerTask my_task{{
    PerSeverity<2>{{PerId(1), PerId(2)}},
    PerSeverity<3>{{PerId(3), PerId(4), PerId(5)}}
}};

3. 用std::tuple替代std::array #

如果不需要随机访问，仅需编译期遍历或运行期按索引访问，可将PerTask中的元素改为std::tuple——tuple允许不同类型的元素，完全支持constexpr操作。编译期可通过模板元编程遍历tuple，运行期用std::get或std::visit访问元素。

示例代码：

struct PerId {
    int id;
    constexpr PerId(int i) : id(i) {}
};

template<size_t N>
struct PerSeverity {
    std::array<PerId, N> ids;
    constexpr PerSeverity(std::array<PerId, N> arr) : ids(arr) {}
};

struct PerTask {
    std::tuple<PerSeverity<2>, PerSeverity<3>> severities;
    constexpr PerTask(std::tuple<PerSeverity<2>, PerSeverity<3>> t) : severities(t) {}
};

constexpr PerTask my_task{std::make_tuple(
    PerSeverity<2>{{PerId(1), PerId(2)}},
    PerSeverity<3>{{PerId(3), PerId(4), PerId(5)}}
)};

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