使用匿名对象时，既不调用默认构造函数，也不调用复制构造函数

Question

下面是用于测试构造函数的 sn-p。它在 VS 2015 中运行。

在我看来，“B b(B())”与“B b = B()”具有相同的功能，但是，我的代码似乎表明它们的行为不同。

我知道编译器优化存在复制省略，但我认为至少在执行“B b(B())”时应该调用默认构造函数。 谁能帮忙指出我的误解在哪里？

class B
{
public:
    B() {
        ++i;
        x = new int[100];
        cout << "default constructor!"<<" "<<i << endl;
        cout << "x address:" << x << endl << "--------" << endl;
    }
    B(const B &b)  //copy constructor
    {   
        ++i;
        cout << "Copy constructor & called " << i<< endl 
            << "--------" << endl;
    }
    B(B &&b)//move constructor
    {
        x = b.x;    
        ++i;
        b.x = nullptr;
        cout << "Copy constructor && called" << i << endl 
            <<"x address:"<< x << endl << "--------" << endl;

    }
    void print()
    {
        cout << "b address:" << x << endl << "--------" << endl;
    }
private:
    static int i;
    int *x;
};
int B::i = 0;


int main()
{
    B b1; //default constructor
    b1.print();
    B b2 = B(); //default constructor only
    b2.print();
    B b3(B());  //????nothing called... why???
    B b4 = b2; //copy constructor
    B b5 = move(b2); //move constructor
    b2.print();

    return 0;
}

Answer 1

注意B b(B())是函数声明，根本不是变量定义，那么就不会调用构造函数。

根据Most vexing parse，B b(B()) 是一个函数声明，对于一个名为b 的函数，它返回一个B 类型的对象，并且有一个（未命名的）参数，它是一个指向返回类型@ 的函数的指针987654327@ 不带参数。

你可以通过使用大括号（list initlization（C++11 起））来解决它，比如

B b1( B{} );
B b2{ B() };
B b3{ B{} };  // preferable from C++11