除了性能问题，还有一个非常重要的问题，我称之为代码可维护性和可扩展性。

如果T是POD，并且你开始倾向于初始化列表，那么如果有一次T将改变为非POD类型，你不需要改变初始化周围的任何东西，以避免不必要的构造函数调用，因为它已经优化了。

如果类型T确实有默认构造函数和一个或多个用户定义构造函数，并且有一次您决定删除或隐藏默认构造函数，那么如果使用了初始化列表，则不需要更新用户定义构造函数的代码，因为它们已经正确实现了。

与const成员或引用成员一样，假设最初的T定义如下:

struct T
{
    T() { a = 5; }
private:
    int a;
};

接下来，你决定将a限定为const，如果你从一开始就使用初始化列表，那么这是一个单行更改，但有了上面定义的T，它还需要挖掘构造函数定义以删除赋值:

struct T
{
    T() : a(5) {} // 2. that requires changes here too
private:
    const int a; // 1. one line change
};

如果代码不是由“代码猴子”编写的，而是由工程师根据对所做事情的深入考虑来做决定，那么维护就会更容易，更不容易出错，这不是什么秘密。

在运行构造函数体之前，调用父类的所有构造函数，然后调用其字段的所有构造函数。默认情况下，调用无参数构造函数。初始化列表允许您选择调用哪个构造函数以及该构造函数接收哪些参数。

如果有引用或const字段，或者使用的类中有一个没有默认构造函数，则必须使用初始化列表。

基类的初始化

使用构造函数初始化列表的一个重要原因是基类的初始化，这里的回答中没有提到。

根据构造顺序，基类应该在子类之前构造。没有构造函数初始化列表，如果你的基类有默认构造函数，它将在进入子类的构造函数之前被调用，这是可能的。

但是，如果基类只有参数化的构造函数，则必须使用构造函数初始化列表来确保基类在子类之前初始化。

只有参数化构造函数的子对象的初始化 效率

使用构造函数初始化列表，将数据成员初始化为代码中需要的确切状态，而不是先将它们初始化为默认状态，然后再将它们的状态更改为代码中需要的状态。

初始化非静态const数据成员

如果类中的非静态const数据成员具有默认构造函数，并且你不使用构造函数初始化列表，你将无法将它们初始化为预期状态，因为它们将初始化为默认状态。

初始化引用数据成员

引用数据成员必须在编译器进入构造函数时初始化，因为引用不能在以后声明和初始化。这只有在构造函数初始化列表中才可能实现。

正如c++核心指南C.49中所解释的:在构造函数中首选初始化而不是赋值 它可以防止对默认构造函数的不必要调用。

// Without Initializer List
class MyClass {
    Type variable;
public:
    MyClass(Type a) {  // Assume that Type is an already
                     // declared class and it has appropriate 
                     // constructors and operators
        variable = a;
    }
};
 

编译器遵循以下步骤创建MyClass类型的对象:

类型的构造函数首先为“a”调用。 “Type”的赋值操作符在MyClass()构造函数体中被调用以赋值。

variable = a;

最后，Type的析构函数被调用为a，因为它超出了作用域。

现在考虑MyClass()构造函数带有初始化列表的相同代码:

    // With Initializer List
    class MyClass {
    Type variable;
    public:
    MyClass(Type a):variable(a) {   // Assume that Type is an already
                     // declared class and it has appropriate
                     // constructors and operators
    }
    };
 

使用初始化器列表，编译器执行以下步骤:

调用Type类的复制构造函数初始化:variable(a)。初始化器列表中的参数用于直接复制构造“variable”。 “Type”的析构函数被调用为“a”，因为它超出了作用域。

只是添加一些额外的信息，以演示成员初始化列表可以产生多大的不同。在leetcode 303 Range Sum Query - Immutable, https://leetcode.com/problems/range-sum-query-immutable/中，您需要构造一个具有一定大小的向量并将其初始化为零。这里是两种不同的实现方式和速度的比较。

没有成员初始化列表，获得AC花费了我大约212毫秒。

class NumArray {
public:
vector<int> preSum;
NumArray(vector<int> nums) {
    preSum = vector<int>(nums.size()+1, 0);
    int ps = 0;
    for (int i = 0; i < nums.size(); i++)
    {
        ps += nums[i];
        preSum[i+1] = ps;
    }
}

int sumRange(int i, int j) {
    return preSum[j+1] - preSum[i];
}
};

现在使用成员初始化列表，获得AC的时间大约是108毫秒。通过这个简单的例子，很明显，成员初始化列表更加有效。所有的测量都来自LC的运行时间。

class NumArray {
public:
vector<int> preSum;
NumArray(vector<int> nums) : preSum(nums.size()+1, 0) { 
    int ps = 0;
    for (int i = 0; i < nums.size(); i++)
    {
        ps += nums[i];
        preSum[i+1] = ps;
    }
}

int sumRange(int i, int j) {
    return preSum[j+1] - preSum[i];
}
};