在 C++0x 中，非静态数据成员初始值设定项是否会覆盖隐式复制构造函数？

Question

根据 N2628 相关 c++0x 中，非静态数据成员初始值设定项可以被显式定义的构造函数覆盖，但对于隐式定义的复制构造函数似乎有点模糊。

特别是，我注意到，在 Apple clang 3.0 版中，行为会根据结构（或类）是否是 POD 而有所不同。

以下程序返回输出“1”，这表明复制构造函数忽略右侧，而是替换为新的非静态数据成员初始值设定项（在此示例中，X::a 的布尔 true 值） ）。

#include <iostream>
#include <string>

struct X
{
    std::string string1;
    bool a = true;
};

int main(int argc, char *argv[])
{
    X x;
    x.a = false;
    X y(x);
    std::cout << y.a << std::endl;
}

然而，令人困惑的是，如果您注释掉 string1:

    // std::string string1;  

那么行为将按我的预期工作（输出为“0”），大概是因为没有隐式生成的复制构造函数，因此数据被复制 。

C++0x 规范是否真的表明允许隐式定义的复制构造函数不复制右侧的内容是一个好主意？这不是不太有用而且不直观吗？我发现非静态成员初始值设定项功能非常方便，但如果这是正确的行为，那么我将明确避免该功能，因为它的行为很棘手且不直观。

请告诉我我错了？

更新：此错误已在 Clang 源存储库中修复。请参阅此修订版。

更新：此错误似乎已在 Apple clang 版本 3.1 (tags/Apple/clang-318.0.45) 中修复（基于 LLVM 3.1svn）。此版本的 clang 作为 Lion 的 Xcode 4.3 的一部分进行分发。

Answer 1

它毕竟不是阴影，请参阅标准摘录的突出显示部分：

关于默认复制/移动构造函数的部分（第 12.8 节）有点太长，无法完整引用。底层是带有初始值设定项的非静态成员字段仍然简单地由默认的复制/移动构造函数

第 12.8 节复制：

-6。非联合类 X 的隐式定义的复制/移动构造函数执行成员复制/移动
其基地和成员。 [ 注意：非静态数据成员的大括号或等于初始化器将被忽略。看
也是 12.6.2 中的示例。 ——尾注]初始化顺序与初始化顺序相同
用户定义的构造函数中的基数和成员（参见 12.6.2）。设 x 为以下参数之一
构造函数，或者对于移动构造函数，引用参数的 xvalue。每个基础或非静态数据
成员以适合其类型的方式复制/移动：

• 如果成员是数组，则每个元素直接用x的相应子对象初始化；
• 如果成员 m 具有右值引用类型 T&&，则使用 static_cast(xm) 直接初始化它；
• 否则，基址或成员将直接使用 x 的相应基址或成员进行初始化。
  虚拟基类子对象只能由隐式定义的复制/移动构造函数初始化一次

这是引用的示例：

<前><代码>结构A {
int i = /* 一些有副作用的整数表达式 */;
A(int arg) : i(arg) { }
// ...
};

A(int) 构造函数将简单地将 i 初始化为 arg 的值，并且不会发生 i 的大括号或相等初始化器中的副作用。 —结束示例]

---

为了完整起见，默认的默认构造函数的相应部分：

§ 12.1

-6。当odr-used（3.2）创建其类类型（1.8）的对象时，或者当它在第一个之后显式默认时，默认且未定义为删除的默认构造函数是隐式定义的。声明。
隐式定义的默认构造函数执行类的一组初始化，这些初始化将由用户编写的该类的默认构造函数执行，没有构造函数初始化程序 (12.6.2) 和空
复合语句。如果用户编写的默认构造函数格式错误，则程序格式错误。
如果用户编写的默认构造函数满足 constexpr 构造函数 (7.1.5) 的要求，
隐式定义的默认构造函数是 constexpr。在默认的默认构造函数之前
类是隐式定义的，其基类及其非静态的所有非用户提供的默认构造函数
数据成员应已隐式定义。 [ 注意：隐式声明的默认构造函数
有一个例外规范（15.4）。
显式默认定义可能具有隐式异常规范，
见 8.4。 —尾注]