如何用C++20 Concept约束自定义容器的索引越界检查？

错误原因 #

你对C++20 Concept的核心用途存在误解：Concept是用来约束模板参数的编译期条件，而非检查函数的运行时参数。

你定义的IsInBounds<Num>中，requires idx >= Num里的idx是Concept的requires表达式中模拟的上下文参数，并非mut_ref_at的实际函数参数。当你在mut_ref_at上添加requires IsInBounds<N>时，编译器会尝试在编译期验证约束，但idx是函数调用时才确定的运行时变量，编译期无法得知其值，因此报错“无法在常量表达式中使用未知值的函数参数”。

另外你的Concept逻辑也有误：合法索引应该是idx < N（而非idx >= N），不过这是次要问题。

正确实现索引越界检查 #

要实现容器的索引越界检查，需要区分编译期常量索引和运行时变量索引分别处理：

修正后的mut_ref_at实现 #

注意：mut_ref_at是返回可变引用的方法，不能标记为const成员函数（否则无法返回非const引用）。以下是完整修正代码：

#include <stdexcept>
#include <cassert>
#include <type_traits>

template <typename T, size_t N>
class StackArray{
private:
    T array[N];
public:
    template <typename... InitValues>
    StackArray(InitValues... init_values) 
        : array{ init_values... } {}

    void* operator new(std::size_t) = delete;

    /**
     * @brief 返回指定位置元素的可变引用，包含越界检查
     * @param idx 元素位置索引
     * @return 对应位置元素的可变引用
     */
    constexpr T& mut_ref_at(size_t idx) {
        // 编译期常量索引：用static_assert强制检查
        if constexpr (std::is_constant_evaluated()) {
            static_assert(idx < N, "StackArray: 索引超出范围（编译期检查）");
            return array[idx];
        } 
        // 运行时变量索引：用异常或断言检查
        else {
            if (idx >= N) {
                throw std::out_of_range("StackArray: 索引超出范围（运行时检查）");
                // 若不需要异常，也可以用断言：
                // assert(idx < N && "StackArray: 索引超出范围");
            }
            return array[idx];
        }
    }

    // 对应const版本的方法（返回const引用）
    constexpr const T& ref_at(size_t idx) const {
        if constexpr (std::is_constant_evaluated()) {
            static_assert(idx < N, "StackArray: 索引超出范围（编译期检查）");
            return array[idx];
        } else {
            if (idx >= N) {
                throw std::out_of_range("StackArray: 索引超出范围（运行时检查）");
            }
            return array[idx];
        }
    }
};

关键说明 #

1. 编译期检查：通过std::is_constant_evaluated()判断当前是否处于编译期求值上下文，对常量索引用static_assert强制报错，编译期直接拦截非法索引。
2. 运行时检查：对变量索引，使用std::out_of_range异常（适合生产环境）或assert（适合调试阶段）触发越界提示。
3. Concept的正确用法：如果要给StackArray添加Concept约束（比如要求容器大小为正整数），可以这样写：

   template <size_t Num>
   concept ValidContainerSize = Num > 0;
   
   template <typename T, ValidContainerSize N>
   class StackArray { ... };
   

   这里Concept用来约束模板参数N的编译期值，这才是Concept的正确应用场景。

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