c++ - 索引上的 static_assert 在编译时知道

Question

有没有办法静态断言编译时已知的索引，否则在运行时断言？示例:

template <class T, int Dim>
class Foo
{
    T _data[Dim];
    public:
        const T &operator[](int idx) const
        {
            static_assert(idx < Dim, "out of range"); // error C2131: expression did not evaluate to a constant
            return _data[idx];
        }
};

int main()
{
    Foo<float, 2> foo;

    foo[0];
    foo[1];
    foo[2]; // compiler error

    for (int i=0; i<5; ++i)
    {
        foo[i]; // run time assert when i > 1
    }

    return 0;
}

Answer 1

您可以简单地抛出异常或断言。它将在 constexpr 上下文中编译失败。这仅在可以在 constexpr 上下文中评估抛出条件时才有效。请注意，某些版本的 gcc 中有一个错误会阻止 throw 工作。