Question

是否始终在构造函数代码之前处理初始化列表？

换句话说，以下代码将始终打印<unknown>，并且构造的类将具有“已知”作为source_的值（如果全局变量something为{{1} }}）？

true

Answer 1

是的，根据C++11: 12.6.2 /10（C++14中的相同部分，15.6.2 /13中的C++17），

在非委托构造函数中，初始化按以下顺序进行（我的粗体）：

首先，仅对于派生程度最高的类（1.8）的构造函数，虚拟基类按照它们出现在基本有向无环图的深度优先从左到右遍历的顺序进行初始化类，其中“从左到右”是派生类base-specifier-list中基类出现的顺序。
然后，直接基类按声明顺序初始化，因为它们出现在base-specifier-list中（无论mem-initializers的顺序如何）。
然后，非静态数据成员按照在类定义中声明的顺序进行初始化（再次与mem-initializers的顺序无关）。
最后， 执行构造函数体的复合语句。

使用init-lists的主要原因是帮助编译器进行优化。非基本类型的初始列表（即，类对象而不是int，float等）通常可以就地构建。

如果您创建对象然后在构造函数中分配它，这通常会导致临时对象的创建和销毁，这是低效的。

初始化列表可以避免这种情况（如果编译器可以使用它，当然，但大多数应该是这样）。

以下完整程序将输出7，但这是针对特定编译器（CygWin g ++）的，因此它不能保证该行为不仅仅是原始问题中的样本。

但是，根据上面第一段中的引用，标准确实实际上保证了它。

#include <iostream>
class Foo {
    int x;
    public:
        Foo(): x(7) {
            std::cout << x << std::endl;
        }
};
int main (void) {
    Foo foo;
    return 0;
}

Answer 2

是的，C ++在调用构造函数代码之前构造所有成员。

Answer 3

如前所述，初始化列表在进入构造函数块之前完全执行。因此，在构造函数体中使用（初始化的）成员是完全安全的。

您已在接受的答案中对引用构造函数参数，而不是构造函数块中的成员变量进行了注释。你没有。

您可能误以为应该引用参数而不是初始化列表中的成员属性。例如，给定一个类X具有int类型的两个成员（a_和b_），以下构造函数可能是不明确的：

X::X( int a ) : a_( a ), b( a_*2 ) {}

这里可能存在的问题是初始化列表中元素的构造取决于类中声明的顺序，而不是您键入初始化列表的顺序。如果该类被定义为：

class X { public: X( int a ); private: int b_; int a_; };

然后，无论你如何键入初始化列表，事实是b_（a_ * 2）将在 a_初始化之前执行，因为成员的声明是b_及更高版本一个_。这会产生一个错误，因为你的代码认为（并且可能取决于）b_是a_的两倍，实际上b_包含垃圾。最简单的解决方案不是引用成员：

X::X( int a ) : a_( a ), b( a*2 ) {} // correct regardless of how X is declared

避免这个陷阱是建议您不要将成员属性用作其他成员初始化的一部分的原因。

是否始终在构造函数代码之前处理初始化列表？

3 个答案: