c++ - 定义构造函数的两种不同方式

Question

让我们有两段代码。每段代码都有两个类，这些类非常相似。唯一的区别在于定义类 B 的构造函数。

第一个程序:

using namespace std;

class A
{
    public:
        A( int x ) : val( x ) { cout << val << endl; }
    private:
        int val;
};

class B
{
    public:
        B( int x ) { instanceA( x ); }
    private:
        A instanceA;
};


int main()
{
    B instanceB( 5 );
}

第二个程序:

using namespace std;

class A
{
    public:
        A( int x ) : val( x ) { cout << val << endl; }
    private:
        int val;
};

class B
{
    public:
        B( int x ) : instanceA( x ) { }
    private:
        A instanceA;
};


int main()
{
    B instanceB( 5 );
}

第一个程序中B类的构造函数定义为:

B( int x ) { instanceA( x ) }

第二个程序中B类的构造函数定义为:

B( int x ) : instanceA( x ) { }

第一个代码无效，第二个有效 -在这种情况下以及在全局中以第一种和第二种方式定义构造函数有什么区别？

编辑:代替 B( int x ) { instanceA( x ); } 需要是 B( int x ) { instanceA = A( x ) }

Answer 1

对于第二种情况(member initializer list)，instanceA 将由A::A(int) 直接初始化。

对于第一种情况，instanceA 将首先由A::A()(默认构造函数)初始化，构造函数的主体将在稍后执行。因为 A 没有默认构造函数，所以它失败了。

Initialization order

3) Then, non-static data members are initialized in order of declaration in the class definition.
4) Finally, the body of the constructor is executed

并且 instanceA(x); 不会执行您预期的操作(即调用 A::A(int) 对其进行初始化)，它将被解析为instanceA.operator()(x); 并且不会编译，因为它不提供 operator()。