Question

我需要对constexpr数组执行检查，但是无法弄清楚如何将数组传递给check函数。

#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

如何将constexpr数组传递给函数

1 个答案: