初始化器列表:复制构造函数和赋值运算符=冗余？

Question

似乎初始化器列表是类构造函数的good idea，我假设也是复制构造函数的are。对于赋值运算符，必须在函数体中赋值每个成员。考虑下面这个简单的代码块：

class Foo {
private: 
  int a,b;
public:
  Foo(int c, int d)  : a(c), b(d) {}
  Foo(const Foo & X) : a(X.a), b(X.b) {}
  Foo& operator=(const Foo& X) {
    if (this == &X) return *this;
    a = X.a;
    b = X.b;
    return *this;
  }
};

如果一个类的数据成员数量适中，那么有三个地方可能会使不同的赋值/初始化变得混乱。我的意思是，如果复制构造函数看起来像这样：

  Foo(const Foo & X) : a(X.a), b(X.a) {}

或者是operator=里少了一行。由于赋值运算符和复制构造函数通常具有相同的效果(因为我们将成员从一个Foo复制到另一个Foo)，我是否可以“重用”来自复制构造函数或赋值运算符的代码，反之亦然？

Answer 1

您的目标应该是根本不编写复制构造函数/赋值运算符。你的目标应该是让编译器来做这件事。标准库容器都是可复制的，所以在合理的地方使用它们。

如果存在无法正确复制的成员，则使用智能指针或其他RAII对象。这些对象是需要特殊复制构造函数/赋值的对象。而且他们只需要为他们的一个成员使用它们。

其他任何东西都不应该使用它们。

Answer 2

，因为赋值运算符和复制构造函数通常具有相同的效果。

一点也不，一个做初始化，另一个做赋值。它们在对象的初始状态中是不同的，并且它们的任务是分开的(尽管相似)。规范赋值运算符通常是这样做的：

Foo& operator=(Foo right) {
    right.swap( *this );
    return *this;
}

Answer 3

将所有内容转发给赋值操作符可能是无效的，但这在C++03中是常见的，因为它是允许的。

在C++11中，构造函数更简单:将所有构造函数转发给一个主构造函数。

class Foo {
private: 
  int a,b;
public:
  Foo(int c, int d)  : a(c), b(d) {}
  Foo(const Foo & X) : Foo(x.a, x.d) {} 
  //syntax may be wrong, I don't have a C++11 compiler
  Foo& operator=(const Foo& X) {
    if (this == &X) return *this;
    a = X.a;
    b = X.b;
    return *this;
  }
}

在C++03中(在允许的地方)

class Foo {
private: 
  int a,b;
  void init(int c, int d) {a=c; b=d;}
public:
  Foo(int c, int d)  : {init(c,d);}
  Foo(const Foo & X) : {init(X.a, X.b);} 
  Foo& operator=(const Foo& X) { init(X.a, X.b);} 
}

但请记住，这不能在一些常见的情况下使用。(任何不可赋值的对象)