c++ - 如何将 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 属性的情况下将数组传递给检查函数？

标签： c++c++11constexpr

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

现场样品