如何在编译时验证数组长度与计数器值相等

问题根源 #

你用的counter是运行时变量——哪怕声明为constexpr，只要执行了运行时自增操作，它就不再是编译时常量，自然没法在static_assert里使用。要实现无需硬编码的自动校验，必须把结构体生成次数和计数逻辑完全放到编译时上下文里。

可行实现方案 #

1. 重构结构体生成器为模板函数 #

用模板参数代替运行时counter，让每个结构体的val3成为编译时常量：

#include <array>
#include <tuple>
#include <utility>

struct myStruct {
    int val1;
    int val2;
    int val3;
};

// 模板版生成器，N为编译时计数，直接作为val3的值
template<int N>
constexpr myStruct struct_generator(int v1, int v2) {
    return {v1, v2, N};
}

2. 编译时生成指针数组 #

修改make_ptr_array，利用可变参数模板的sizeof...(Args)直接获取编译时的结构体数量：

template<typename... Args>
constexpr auto make_ptr_array(Args&&... structs) {
    return std::array<myStruct*, sizeof...(Args)>{&structs...};
}

3. 自动绑定的编译时断言 #

因为每个结构体的val3是连续的编译时数值，总计数等于最后一个结构体的val3 + 1，直接和数组的size()做断言即可：

int main() {
    // 生成结构体，val3由模板参数自动分配为0、1、2
    constexpr auto s1 = struct_generator<0>(10, 20);
    constexpr auto s2 = struct_generator<1>(30, 40);
    constexpr auto s3 = struct_generator<2>(50, 60);

    constexpr auto all_myStruct_pointers = make_ptr_array(s1, s2, s3);

    // 编译时校验：数组长度等于总计数（最后一个val3+1）
    static_assert(all_myStruct_pointers.size() == s3.val3 + 1, "Wrong length bucko");

    return 0;
}

进阶：自动维护连续计数 #

如果不想手动写模板参数的数字，用std::index_sequence自动生成连续的编译时计数，彻底避免手动计数：

// 批量生成结构体的内部实现，利用index_sequence生成连续N个计数
template<int... Is>
constexpr auto generate_structs_impl(std::index_sequence<Is...>, std::pair<int, int>... args) {
    return std::make_tuple(struct_generator<Is>(args.first, args.second)...);
}

// 外部接口：指定生成N个结构体，传入对应数量的(val1, val2)对
template<int N>
constexpr auto generate_structs(std::pair<int, int>... args) {
    static_assert(sizeof...(args) == N, "Number of value pairs doesn't match N");
    return generate_structs_impl(std::make_index_sequence<N>{}, args...);
}

int main() {
    // 生成3个结构体，val3自动为0、1、2
    constexpr auto structs = generate_structs<3>(
        {10, 20}, {30, 40}, {50, 60}
    );

    // 从tuple生成指针数组
    constexpr auto all_myStruct_pointers = make_ptr_array(
        std::get<0>(structs), std::get<1>(structs), std::get<2>(structs)
    );

    // 两种校验方式任选其一
    static_assert(all_myStruct_pointers.size() == 3, "Wrong length bucko");
    static_assert(std::get<2>(structs).val3 + 1 == all_myStruct_pointers.size(), "Wrong length bucko");

    return 0;
}

核心注意点 #

• 所有计数相关逻辑必须完全在编译时上下文（模板参数、constexpr变量、std::index_sequence）中实现，不能依赖运行时变量。
• 利用sizeof...(Args)或std::array::size()的编译时特性获取数组长度，彻底摆脱硬编码。
• 通过模板参数绑定结构体生成数量和数组长度，后续修改结构体数量时，断言会自动同步校验，无需手动调整。

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