g ++

Question

我遇到了g ++的一个问题，使用static_cast在constexpr上下文中向上转换成员指针。请参阅代码示例。

使用g ++版本6.3和7.0进行编译时，会出现编译错误，指出reinterpret_cast不是常量表达式。 虽然clang 4.0版没有错误，但我认为这是正确的，因为这里没有reinterpret_cast。

这是g ++或clang中的错误吗？什么是正确的行为？

struct Base {};

struct Derived : Base
{
  int i;
};

struct Ptr
{
  constexpr Ptr(int Derived::* p) : p(static_cast<int Base::*>(p)){}
  int Base::* p;
};

constexpr Ptr constexpr_ptr(&Derived::i);

编译器输出

g++ -c -std=c++14 test.cpp 
test.cpp:17:40:   in constexpr expansion of ‘Ptr(&Derived::i)’
test.cpp:11:41: error: a reinterpret_cast is not a constant expression
constexpr Ptr(int Derived::* p) : p(static_cast<int Base::*>(p)){}
                                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~

Answer 1

海湾合作委员会可能错误地理解了[expr.static.cast]/12，这允许你演员并注意到

  

如果类B包含原始成员，或者是包含原始成员的类的基类或派生类，则指向成员的结果指针指向原始成员。否则，行为未定义。

由于Base确实是包含成员的类的基础，因此应该定义行为，并且构造函数调用常量表达式。