如何将 constexpr 数组传递给函数

Question

我需要对 constexpr 数组进行检查，但不知道如何将数组传递给检查函数。

#include <cstdlib>

constexpr int is[2] = {23, 42};

void inline check(const int (&elems)[2])
{
    static_assert(elems[0] == 23, "Does not work");
}


void bar()
{
    static_assert (is[0] == 23, "Works");
    check(is);
}

有没有办法在不丢失 constexpr 属性的情况下将数组传递给检查函数？

Answer 1

static_assert 内部 check 取决于函数参数。它不会计量您已将 constexpr 参数传递给该函数。 请注意，该函数通常会被多次使用。因此，在一种情况下，static_assert 可能会失败，而另一种情况可能会通过。静态断言不检查从哪里调用包含它的函数。 它必须在编译期间是可验证的，无需检查下面的内容。

可能你需要这样的东西：

constexpr int is[2] = {23, 42};

template<typename T>
constexpr bool firstElementIs23(const T& v)
{
    return v[0] == 23;
}

void bar()
{
    static_assert (firstElementIs23(is), "Works");
}

Live sample