为什么 C++初始化列表在大括号之前？

Question

我想知道以下两堂课有什么区别。

例1：

class A
{
string name;
public:
  A(const char* _name):name(_name){}
  void print(){cout<<"A's name:"<<name<<endl;}
};

例2：

class A
{
string name;
public:
  A(const char* _name){name(_name);}
  void print(){cout<<"A's name:"<<name<<endl;}}

为什么例1通过了，最后一个错了？ 谢谢

Answer 1

在示例 1 中，您立即使用给定值初始化字符串。
在示例 2 中，您首先创建一个空字符串，然后再对其进行分配。

尽管存在一些性能差异，并忽略由于复制构造函数处理等原因可能存在的差异，但结果本质上是相同的。

但是，一旦您使用 const 成员，您就必须使用示例 1 的方式来执行此操作，例如，我通常按以下方式创建唯一 ID：

class SomeObject
{
    static unsigned int nextID = 0;
    const unsigned int ID;
    SomeObject() : ID(nextID++)
    {
        // you can't change ID here anymore due to it being const
    }
}

Answer 2

第一个示例是实际初始化。它有很多优点，包括是设置 const 成员的唯一方法，并且具有适当的异常安全性。

AFAIK，第二个示例不是有效的 C++。如果您改为编写 name = name_，那么这只是正常的赋值。当然，这并不总是可能的。该对象可能是 const，或者没有定义赋值运算符。这种方法的效率也可能低于第一个示例，因为该对象既是默认初始化的，也是分配的。

至于为什么初始化列表位于构造函数主体之前；嗯，这就是语言的定义方式。

Answer 3

这就是语言的定义方式。成员初始值设定项应放置在构造函数主体之前。

Answer 4

在第一个示例中，成员名称是使用 ctr 获取 char * 作为参数来初始化的。

在第二种情况下，它首先使用默认的 ctr 进行初始化，然后通过赋值运算符 (operator=) 获取值。这就是为什么你的情况是错误的，它已经在那里构建了，所以你不能再次使用 ctr 你只能使用赋值运算符。

Answer 5

原因是名称查找在初始值设定项列表和函数体中的工作方式不同：

class A
{
  std::string foo; // member name
public:
  A(const char* foo) // argument name
    : foo(foo) // member foo, followed by argument foo.
  {
    std::cout << foo; // argument foo.
  }
};

如果初始值设定项列表位于函数体内，则成员 foo 和参数 foo 之间会存在歧义。

Answer 6

初始化列表背后的动机是由于 const 字段按值保存对象（而不是引用/指针字段）。

这些字段必须只初始化一次（由于它们的常量性）。如果 C++ 没有初始化列表，那么 ctor 看起来像这样：

class A {
public:
  const string s;
  const string t;

  A() {
    // Access to either s or t is not allowed - they weren't initialized
    s = "some-string";
    // now you can access s but you can't access t
    f(*this);

    t = "some other string";
    // From now you can access both ...
  }
}


void f(A& a) {
  // Can you access a.s or a.t?
  cout << a.s << a.t;
}

没有初始化列表，ctor 可以将 A 类型的部分初始化对象传递给函数，并且该函数将无法使用了解哪些字段尚未初始化。风险太大，编译器/链接器很难检查。