如何将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");
}

实时样本