可以使用'reinterpret_cast”来初始化'constexpr”变量吗？

使用reinterpret_cast 和编译器兼容性进行constexpr 变量初始化

考虑以下代码片段：

struct foo {
  static constexpr const void* ptr = reinterpret_cast<const void*>(0x1);
};

当使用g v4.9，此代码编译成功。但是，clang v3.4 无法编译，并发出错误：

error: constexpr variable 'ptr' must be initialized by a constant expression

编译器正确性

根据 C 11 草案标准（第 5.19 节，第 2 段） )，如果条件表达式涉及reinterpret_cast，则不将其视为常量表达式。因此，clang 的解释是正确的，即 ptr 的初始化无效。

正确声明

要正确声明这种性质的常量表达式，应该使用intptr_t 改为 intptr_t 并在必要时强制转换：

static constexpr intptr_t ptr = 0x1;

或者，gcc 和 clang 支持的解决方法涉及使用未记录的 __builtin_constant_p 宏：

static constexpr const void* ptr =
  __builtin_constant_p(reinterpret_cast<const void*>(0x1)) ?
    reinterpret_cast<const void*>(0x1) : reinterpret_cast<const void*>(0x1);

由于 __builtin_constant_p 检查，两个编译器都接受该表达式，这会强制表达式进行常量折叠。

以上是可以使用'reinterpret_cast”来初始化'constexpr”变量吗？的详细内容。更多信息请关注PHP中文网其他相关文章！