我可以重新解释 constexpr 函数的参数吗？

Question

我想编写一个在编译时评估的函数，它需要一个指向 4 字节数组的指针，并输出一个与该数组具有相同位模式的 int。 所以我想出了：

constexpr int f(const char* p) {
     return *reinterpret_cast<int*>(p);
}

然后，我想像这样使用f()：

switch(x) {
case f("GOOG"):
   // do something
case f("MSFT"):
   // do something
case f("NIKE"):
  // do something
}

但是，我遇到了编译器错误：

错误：通过常量表达式 case f("GOOG") 中的“int”glvalue 访问“GOOG”的值

1. 如何修复 f() 使其编译？
2. 是否有更好的方法来实现相同的目标？

Answer 1

恭喜，您已经激活了严格别名陷阱卡，并且您的代码具有未定义的行为（如果可以编译的话）。

您的代码中几乎没有错误，“正确”的版本是：

 constexpr int f(const char* p) {
         return *reinterpret_cast<const int*>(p);
    }

• reinterpret_cast不能抛弃const。
• cursor->p错字？

但由于const char* 不指向int，因此对其进行强制转换会破坏严格的别名规则。 int 不是可以给其他人起别名的类型之一 - 只有 std::byte, (unsigned) char 可以。

最干净的应该是这样的：

#include <cstring>

constexpr int f(const char* p) {
         int val = 0;
         static_assert(sizeof(val)==4); // If the array is 4-byte long.
         std::memcpy(&val,p,sizeof val);
         return val;
    }

但是std::memcpy 不是constexpr，即使在运行时这也可能没有任何开销，编译器可以识别这一点并自行重新解释字节。

所以使用位移：

constexpr int f(const char* p) {
       int value=0;
       using T = decltype (value);
       for(std::size_t i =0; i< sizeof(T);++i)
        value|= (T)p[i] << (8*i);

    return value;
    }

int main(){

    // @ == 64
    // 1077952576 = 01000000 01000000 01000000 01000000
    static_assert(f("@@@@") ==1077952576);
}

只是为了迂腐"@@@@" 的长度是 5，而不是 4。