文字的reinterpret_cast对于初始化constexpr静态常量空指针有效吗？

constexpr 和使用重新解释强制转换静态常量空指针的初始化：哪个编译器是正确的？

问题描述

考虑以下代码片段：

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

auto main() -> int {
  return 0;
}

此代码在 g v4.9 中编译成功，但在 clang v3.4 中编译失败，生成错误：

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

问题

1. 哪个根据标准，编译器是正确的？
2. 声明这样的表达式的正确方法是什么？

答案

1. clang 编译器是正确

根据C 11标准第5.19节（常量表达式），条件表达式在涉及reinterpret_cast时不被视为核心常量表达式。因此，clang 将此代码标记为错误是正确的。

2. 正确声明

一个简单的解决方案是使用 intptr_t 代替并强制转换为void* 需要时：

static constexpr intptr_t ptr = 0x1;
reinterpret_cast<void*>(foo::ptr);

但是，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);

以上是文字的reinterpret_cast对于初始化constexpr静态常量空指针有效吗？的详细内容。更多信息请关注PHP中文网其他相关文章！