为什么从对象构造函数调用 consteval 不是常量表达式？

Question

我有如下所示的 consteval 函数：

template <std::size_t text_length>
consteval std::size_t text_id(const char(&a_text)[text_length])
{
    std::size_t result{text_length};
    for (const auto &c : a_text)
    {
        result ^= c;
        result <<= ((c % 7u) + 1u);
    }
    return result;
}

它在需要编译时值的地方按预期工作：

template <auto x>
auto v = x;

int main(int argc, char **argv)
{
    constexpr auto id = text_id("test");

    switch (argc)
    {
        // No problem
        case text_id("test"):
            std::cout << v<text_id("test")>; // No problem either
            break;
    }

    return 0;
}

但是 如果我将它放在对象构造函数上，它不会编译：

struct S
{
    template <std::size_t size>
    constexpr S(const char (&text)[size]) :
        id{text_id(text)}
    {}

    std::size_t id;
};

int main()
{
/*
error: 'text' is not a constant expression
        id{text_id(text)}
           ~~~~~~~^~~~~~
*/
    constexpr S s("test");
    static_assert(text_id("test") == s.id);

    return 0;
}

有没有办法让它工作？

Answer 1

您不能使用 constexpr 函数的参数调用 consteval 函数，因为它可能是非常量。

consteval int bar(int){
    return 1;
}

constexpr int foo(int s){
    return bar(s); // error
}

---

您可以将 S::S 更改为 consteval 或将 text_id 更改为 constexpr。