使用匿名对象时,不会调用默认构造函数或复制构造函数

时间:2016-10-18 02:47:08

标签: c++ copy-constructor default-constructor move-constructor most-vexing-parse

以下是旨在测试构造函数的代码段。它在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;
}

enter image description here

1 个答案:

答案 0 :(得分:4)

注意B b(B())是函数声明,根本不是变量定义,因此不会调用构造函数。

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

您可以使用大括号(list initlization(自C ++ 11)开始)解决此问题,例如

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