C++中类成员变量在初始化列表中的初始化顺序

引子：我们知道，C++中类成员变量的初始化顺序与其在类中的声明顺序是有关的。

先看代码：

 class TestClass1
 {
 public:
     TestClass1() {
         cout << "TestClass1()" << endl;
     }
     TestClass1(const TestClass1&) { cout << "TestClass1(const TestClass1&)" << endl; }
     TestClass1& operator=(const TestClass1&) { cout << "TestClas1s& operator=(const TestClass1&)" << endl; return *this; }
     ~TestClass1() {
         cout << "~TestClass1()" << endl;
     }
 };

 class TestClass2
 {
 public:
     TestClass2() {
         cout << "TestClass2()" << endl;
     }
     TestClass2(const TestClass2&) { cout << "TestClass2(const TestClass2&)" << endl; }
     TestClass2& operator=(const TestClass2&) { cout << "TestClass2& operator=(const TestClass2&)" << endl; return *this; }
     ~TestClass2() {
         cout << "~TestClass2()" << endl;
     }
 };

 class Test
 {
 public:
     Test() = default;
     Test(TestClass1& tc1, TestClass2& tc2) :m_tc2(tc2), m_tc1(tc1){}
 private:
     TestClass1 m_tc1;
     TestClass2 m_tc2;
 };

 int main()
 {
     Test t;
 }

程序结果为：

现象：先调用TestClass1的构造函数，再调用TestClass2的构造函数。

原因：在类Test中，m_tc1变量声明在m_tc2变量之前，故m_tc1在m_tc2之前初始化。

问题：在列表初始化的构造函数中，将m_tc2放在m_tc1之前，是否可以让m_tc2在m_tc1之前初始化？

代码设计

int main()
{
    TestClass1 tc1;
    TestClass2 tc2;
    cout << "/**************************************************************************************/" << endl;
    Test t(tc1, tc2);
}

运行结果为：

可以看到：仍然是TestClass1的构造函数先被调用，TestClass2的构造函数接着被调用。

结论：C++中类成员变量的初始化顺序与其在类中的声明顺序是有关的，而与其在初始化列表中的顺序无关。

再举一个例子：

然后我将代码写成这样：

 class Test
 {
 public:
     Test() = default;
     Test(TestClass1& tc1, TestClass2& tc2):m_tc2(tc2){}
 private:
     TestClass1 m_tc1;
     TestClass2 m_tc2;
 };

 int main()
 {
     TestClass1 tc1;
     TestClass2 tc2;
     cout << "/**************************************************************************************/" << endl;
     Test t(tc1, tc2);
 }

注意与之前代码的差别：我们在初始化列表中只初始化了m_tc2，没有动m_tc1。

运行结果：

结果分析：在初始化Test的对象t时，由于m_tc1的声明顺序在m_tc2的声明顺序之前，所以t会想要先初始化m_tc1，但是它在初始化列表中没有找到初始化m_tc1的内容，于是它只好调用m_tc1的默认构造函数了，完成m_tc1的初始化后，再根据初始化列表中的内容初始化m_tc2。