为什么在初始化列表中分配数据时没有创建额外的副本？

Question

Parashift 很好地解释了初始化列表，但没有解释 <强>为什么在构造函数主体中分配之前会创建变量的额外副本，但通过初始化列表分配时不会创建额外的副本。
我什至遇到过使用 ++i 而不是 i++ 的建议，因为前者可以避免在赋值之前创建临时 i 。在 ctor 主体中分配的 POD 是否相同？在赋值之前创建临时变量？

换句话说，为什么编译器需要创建变量的额外副本？为什么不能直接给变量赋值？
为什么？

Answer 1

请考虑以下内容：

struct C { 
    C() { /* construct the object */ }
};

struct X {
    C member;

    X() { member = C(); }
};

X() 构造函数与您所说的相同：

X() : member() { member = C(); }

首先，调用 C 构造函数来构造 member数据成员。然后执行X 的主体，创建第二个临时C 对象并将其分配给member，然后销毁该临时对象。

---

请注意，这仅适用于自动初始化的类型。如果 member 的类型为 int 或 POD 类类型（作为示例），则当 X 构造函数的主体为进入。

对于此类类型，从性能角度来看，是在初始化列表中初始化数据成员还是在构造函数主体中分配给数据成员并不重要；差异完全是风格上的。在可能的情况下，为了保持一致性，仍应首选初始化列表。

Answer 2

要解决您的第一个问题，特别是关于副本的问题（不涉及“++i”与“i++”）：

构造函数是一个函数，并且它有参数。这些参数是作为参数传递的变量的副本（除非使用通过引用传递）。您现在可以操纵此副本或用它执行任何其他操作。然后，当您分配时，您将获取该参数的副本（可操作的可能性）并将其分配给成员变量。当您使用初始化列表时，编译器可以在没有此副本的情况下立即优化赋值，因为除了初始化之外，您不会将其用于任何其他用途（并且在将其分配给成员变量之前无法对其进行修改）。

Answer 3

为什么在赋值之前会创建变量的额外副本
ctor 主体，但通过分配时不会创建额外的副本
初始化列表。

因为赋值是在初始化之后进行的。换句话说，赋值是可选的，但初始化是强制性的。您可能不会注意到 POD 有太大差异。但这同样适用于用户定义的数据类型。

使用 ++i 代替 i++ 的建议

同样，对于 POD 来说这并不重要。但对于用户定义的类，i++ 确实会创建一个临时副本。所以最好使用++i。

struct A {
  A operator ++ (int)  // example of i++
  {
    A temp = *this;
    this->value ++;
    return temp;    // makes 2 copies "temp" and return value
  }
  A& operator ++ ()  // example of ++i
  {
    this->value ++;
    return *this;  // no copy
  }
};