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

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

我想编写一个在编译时求值的函数，它需要一个指向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
}

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

error: accessing value of ‘"GOOG"’ through a ‘int’ glvalue in a constant expression case f("GOOG")

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

解决方法

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

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

 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。