寻求C++20下替代现有宏、实现编译期校验int数组以0终止的更优雅方案

兄弟，你这个宏的痛点我太懂了——运行时的assert在release模式下通常会被优化掉，等于白加了一层校验；而且宏本身是预处理器层面的东西，类型安全完全没保障，一不小心传错参数就会搞出奇怪的问题。既然你能用C++20，咱们可以用原生的constexpr和模板特性，搞出编译期就能强制校验的优雅方案，彻底替代这个老宏！

方案一：编译期校验的数组包装函数（兼容现有代码写法） #

这个方案几乎不用改你现有的数组初始化逻辑，只是在传给Bar的时候加一层包装，就能把校验提前到编译阶段：

#include <cstddef>

template <std::size_t N>
constexpr const int* ensure_null_terminated(const int (&arr)[N]) noexcept {
    // 先兜底：数组不能是空的
    static_assert(N >= 1, "数组不能为空！");
    // 核心校验：最后一个元素必须是0
    static_assert(arr[N-1] == 0, "数组未以0结尾！");
    // 返回数组首地址，完美兼容Bar的const int*参数
    return arr;
}

使用的时候和原来的写法几乎一致，只是把Bar(foo)改成Bar(ensure_null_terminated(foo))就行：

static const int foo[] = {VALUE1, VALUE2, VALUE3, 0};
Bar(ensure_null_terminated(foo));

如果有人不小心删掉了最后一个0，编译器会直接抛出编译错误，根本到不了运行时环节，比原来的assert靠谱太多。而且模板会自动推导数组大小，你完全不用手动传参。

方案二：自动补0的数组生成器（彻底省掉手动加0的步骤） #

要是你想连“手动加0”这个步骤都省掉，避免自己或者同事忘了加的情况，可以写一个辅助函数，自动在元素列表末尾补0，全程编译期生成数组：

#include <array>
#include <type_traits>

template <typename... Ints>
// C++20概念约束：确保传入的所有参数都是int类型
requires (std::same_as<Ints, int> && ...)
constexpr auto make_null_terminated_array(Ints... vals) noexcept {
    // 数组大小是传入元素个数+1，末尾自动补0
    return std::array<int, sizeof...(vals) + 1>{vals..., 0};
}

使用的时候直接传元素值就行，完全不用管加0的事：

static constexpr auto foo = make_null_terminated_array(VALUE1, VALUE2, VALUE3);
// 用data()获取C风格指针传给Bar
Bar(foo.data());

这个方案更省心，从根源上避免了“漏加终止符”的错误，而且std::array本身比裸数组更安全，同时data()又能完美兼容Bar的指针参数。

对比原宏的核心优势 #

• 编译期强制校验：原宏的assert在release模式下会被优化掉，等于没校验；新方案的static_assert是编译期检查，只要代码有问题就过不了编译。
• 类型安全：模板函数只接受int数组，要是不小心传了指针或者其他类型，编译器直接报错，不会像宏那样搞出莫名其妙的运行时崩溃。
• 无宏的坑：宏没有作用域，容易和其他代码冲突，预处理器展开也经常有各种玄学问题；模板函数是C原生特性，完全符合现代C的编码风格。

内容来源于stack exchange