引用基类的constexpr构造函数因编译器而异

Question

以下代码使用Clang（3.9.1测试）和GCC（6.3测试）编译，如此链接所示：https://godbolt.org/g/kO1nBa.但是，MSVC（19.00.24215.1测试）无法编译它：

struct ValueWitnessTable {
  int size;
};

struct ExtraInhabitantsValueWitnessTable : ValueWitnessTable {
  constexpr ExtraInhabitantsValueWitnessTable(const ValueWitnessTable &base) : ValueWitnessTable(base) {}
};

struct ValueWitnessTableGenerator {
  static constexpr const ExtraInhabitantsValueWitnessTable table = { { 1 } };
};

int main() {}

错误C2131：表达式未计算为常量

注意:失败是由赋值操作的计算引起的

注意：在评估'ExtraResidentsValueWitnessTable：：ExtraResidentsValueWitnessTable（ExtraResident ValueWitnessTable{ValueWitnessTable{（null）}}， ValueWitnessTable{size=1}）'

这里发生了什么？标准允许这样做吗？这是C 17功能吗？

还有，我该如何解决这个问题？我需要按成员方式初始化基类的行为（因为我省略了一些涉及宏等的内容）。

Answer 1

所以我找到了这个问题的解决方案：改用初始值设定项列表：

struct ValueWitnessTable {
  int size;
};

struct ExtraInhabitantsValueWitnessTable : ValueWitnessTable {
  constexpr ExtraInhabitantsValueWitnessTable(const ValueWitnessTable &base) : ValueWitnessTable{base.size} {}
};

struct ValueWitnessTableGenerator {
  static constexpr const ExtraInhabitantsValueWitnessTable table = { { 1 } };
};

int main() {}

由于某些原因，初始值设定项列表被支持为constexpr，但执行相同操作的复制构造函数不受支持。