C++初始化列表 - 我不明白

Question

在Effective C++中，初始化列表中的数据元素需要按照其声明的顺序列出。进一步说，这样做的原因是数据元素的析构函数以其构造函数的相反顺序被调用。

但我只是不明白这怎么会成为一个问题......

Answer 1

我们考虑以下几点：

class Class {
    Class( int var ) : var1( var ), var2(var1 ) {} // allright
    //Class( int var ) : var2( var ), var1(var2 ) {} // var1 will be left uninitialized

    int var1;
    int var2;
};

第二个（注释掉的）构造函数看起来没问题，但实际上只有 var2 会被初始化 - var1 将首先被初始化，并且它将用 < code>var2 此时尚未初始化。

如果您以与类声明中列出的成员变量相同的顺序列出初始化程序，则此类错误的风险会大大降低。

Answer 2

当成员也是某种以某种方式相互依赖的类的对象时，构造和销毁的顺序可能很重要。

考虑一个简单的例子：

class MyString {
public:
  size_t s_length;
  std::string s;
  MyString(const char *str) : s(str), s_length(s.length()) {}
};

这个例子的目的是成员s_length保存存储字符串的长度。但这是行不通的，因为s_length将在s之前初始化。所以你在执行s的构造函数之前调用s.length！

Answer 3

例如，如果您有一个这样的类：

class X {
  int a,b;
  X(int i) : b(i),a(b) { } // Constructor
};

类 X 的构造函数看起来像是首先初始化“b”，但实际上它是按照声明的顺序初始化的。这意味着它将首先初始化“a”。然而，“a”被初始化为“b”的值，而“b”尚未初始化，因此“a”将得到一个垃圾值。

Answer 4

破坏是构造的逆过程，因此元素以相反的顺序被破坏。

假设我们有 2 个成员，a 和 b。 b 依赖于 a，但 a 不依赖于 b。

当我们构造时，我们首先构造a，现在它存在，我们可以构造b。当我们解构时，如果我们首先解构a，这将是一个问题，因为b依赖于它。但我们首先破坏 b 并确保完整性。

这是典型的。例如，在群论中，fg 的逆是 ~g~f （其中 ~f 是 f 的逆） code>)

穿衣服时，先穿袜子，再穿鞋。脱衣服时，先脱鞋，然后脱袜子。

Answer 5

如果您的成员的构造函数之一抛出异常，也可能会出现问题。然后，所有已经正确构造的成员都必须按某种顺序进行析构，因为没有类似于析构函数的初始值设定项列表的东西。此顺序与类声明中成员的出现顺序相反。一个例子：

#include <iostream>

struct A1 {
  A1(int) { std::cout << "A1::A1(int)" << std::endl; }
  ~A1() { std::cout << "A1::~A1()" << std::endl; }
};

struct A2 {
  A2(int) { std::cout << "A2::A2(int)" << std::endl; }
  ~A2() { std::cout << "A2::~A2()" << std::endl; }
};

struct B {
  B(int) { std::cout << "B::B(int)" << std::endl; throw 1; }
  ~B() { std::cout << "B::~B()" << std::endl; }
};

struct C {
  C() : a1(1), a2(2), b(3) { std::cout << "C::C()" << std::endl; } // throw 1; }
  ~C() { std::cout << "C::~C()" << std::endl; }
  A1 a1;
  A2 a2;
  B b;
};

int main() {
  try {
    C c;
  } catch (int i) {
    std::cout << "Exception!\n";
  }
}

输出将是这样的：

A1::A1(int)
A2::A2(int)
B::B(int)
A2::~A2()
A1::~A1()
Exception!

Answer 6

进一步说，推理
因为这是数据的析构函数
元素被反向调用
它们的构造函数的顺序。

请参阅 Steve Jessop 的评论 类组件初始化顺序