如何將constexpr數組傳遞給函數

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屬性的情況下將數組傳遞給check函數？

Answer 1

內部check static_assert取決於函數參數。 它不計量您已將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");
}

現場樣品