c++ - 使用匿名对象时，默认构造函数和复制构造函数都不会被调用

Question

下面是旨在测试构造函数的代码片段。它是在 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 类型的对象，并且有一个(未命名)参数是一个指向返回类型 B 且不带参数的函数的指针。

您可以使用大括号 ( list initlization (C++11 起)) 来解决这个问题，例如

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