现代C++中如何实现C风格数组的编译期越界静态检查？

问题背景 #

你实现了一个获取C风格成员数组元素的方法：

constexpr T get(const int&& idx) const {
    static_assert(idx >= sizeof(array) / sizeof(T));
    return array[idx];
}

期望对参数值做静态检查，越界则拒绝编译，但使用static_assert时触发错误：

function parameter 'idx' with unknown value cannot be used in a constant expression

补充调用场景需求：

// 调用示例
decltype(auto) a = collections::StackArray<int, 5>{1, 2, 3, 4, 5};
auto val = a.get(6); // 期望编译期报错

甚至要求传入运行时值（如用户输入）时直接编译失败：

auto in;
cin >> in;
a.get(in); // 要求编译报错

你明确可接受get()无法用于循环场景，这类情况改用无边界检查的下标运算符。

一、编译期检查的实现方案 #

要实现编译期检查，核心是让idx成为编译期常量，以下是两种现代C++惯用方式：

1. 模板非类型参数方案 #

将idx作为模板参数，编译器实例化时即可确定其值，直接完成静态检查：

template <int idx>
constexpr T get() const {
    static_assert(idx >= 0 && idx < sizeof(array)/sizeof(T), "Index out of bounds");
    return array[idx];
}

调用方式调整为：

auto val = a.get<6>(); // 编译期直接触发静态断言错误

该方案完全匹配需求：传入字面量时编译期校验，传入运行时变量会直接编译失败（模板参数必须是编译期常量）。

2. C++20 consteval参数约束方案 #

若想保留函数参数的语法形式，C++20及以上版本可使用consteval限定参数，强制参数为编译期常量：

constexpr T get(consteval int idx) const {
    static_assert(idx >= 0 && idx < sizeof(array)/sizeof(T), "Index out of bounds");
    return array[idx];
}

调用时：

auto val = a.get(6); // 编译期报错
int in;
cin >> in;
a.get(in); // 编译报错，因为in是运行时变量

该方案无需修改调用语法，更符合直观，但依赖C++20标准。

二、无法编译期检查时的最低开销方案 #

若极端场景下必须支持运行时参数，且要求无异常、最低开销的非法访问报告，优先选择以下两种方案：

1. assert()宏调试检查 #

assert()在Debug模式下会触发断言失败并终止程序，Release模式下会被完全编译移除，几乎无运行时开销：

constexpr T get(int idx) const {
    assert(idx >= 0 && idx < sizeof(array)/sizeof(T) && "Index out of bounds");
    return array[idx];
}

注意：仅适合调试阶段发现问题，Release模式无检查逻辑。

2. 编译期+运行时混合兜底检查 #

结合编译器内置判断（如GCC/Clang的__builtin_constant_p），对编译期常量做静态检查，对运行时变量调用std::abort()兜底，无异常处理开销：

#include <cstdlib>

constexpr T get(int idx) const {
    if constexpr (__builtin_constant_p(idx)) {
        static_assert(idx >= 0 && idx < sizeof(array)/sizeof(T), "Index out of bounds");
    } else {
        if (!(idx >= 0 && idx < sizeof(array)/sizeof(T))) {
            std::abort();
        }
    }
    return array[idx];
}

该方案兼顾编译期严格校验和运行时最小开销的错误终止。

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