局部常量变量不可计算，但无法找出原因

Question

我尝试将int作为参数并单独对其字节进行操作，例如取0xDEADF00D并逐个处理每个字节：0xDE 0xAD 0xF0 0x0D

为此，我执行了以下代码：

template <int state, int seed>
constexpr static uint32_t CalculateRandomFromState()
{
    const char bytes[4] = {
        (state >> 24) & 0xFF,
        (state >> 16) & 0xFF,
        (state >> 8) & 0xFF,
         state & 0xFF,
    };

    constexpr auto value = Compiletime::Hash<seed, sizeof(bytes)>(bytes);

    return value;
}

HashFn的sig为：

template <const uint32_t seed, const uint32_t size = NULL>
constexpr uint32_t Hash(const char* message)

编译失败，并显示：

错误C2131：表达式未计算为常量

注意：失败是由于在变量的生命周期之外读取了变量导致的

注意：请参阅“字节”的用法

我在StackOverflow上读过一些关于参数在编译时可能无法求值的主题（这就是为什么我将大多数参数切换为模板变量，所以100%保证它们是编译时的），但在这种情况下，它给出错误的原因似乎不符合逻辑。bytes值取决于编译时值，byte也是常量。

为什么会超出它的生命周期？如果我把“somestring”替换为变量bytes，那么它可以完美编译。这里什么不是恒定可评估的？

Answer 1

函数声明上的 constexpr 不需要所有计算路径都指向常量表达式。函数调用的结果是否为 constexpr 取决于输入参数。

假设您的哈希函数如下所示:

template <uint32_t seed, uint32_t size>
constexpr uint32_t Hash(const char* message)
{
    uint32_t rc = seed;
    for (uint32_t i = 0; i < size; ++i)
        rc += message[i];
    return rc;
}

这将计算为一个常量表达式 iff 消息是一个常量表达式。

但您使用的是一个非常量表达式：

    const char bytes[4] = {
        (state >> 24) & 0xFF,
        (state >> 16) & 0xFF,
        (state >> 8) & 0xFF,
         state & 0xFF,
    };

    constexpr auto value = Compiletime::Hash<seed, sizeof(bytes)>(bytes);

每次调用＜code＞Hash（byte）＜/code＞时，＜code＞byte＜/code＜都可能具有不同的地址。

您可以通过简单地声明bytesconstexpr来实现：

template <int state, int seed>
constexpr static uint32_t CalculateRandomFromState()
{
    constexpr char bytes[4] = {
        (state >> 24) & 0xFF,
        (state >> 16) & 0xFF,
        (state >> 8) & 0xFF,
         state & 0xFF,
    };

    constexpr auto value = Compiletime::Hash<seed, sizeof(bytes)>(bytes);

    return value;
}