带有右值引用的C++构造函数

Question

考虑这个有三个构造函数的类:

class Circle {

public:
 Circle(int r) {
      _radius = r;
 }

Circle(const Circle& c){
    _radius = c.radius();
    cout << endl << "Copy constructor with lvalue reference. Radius: " << _radius;
}

Circle(Circle&& c){
    _radius = c.radius();
    cout << endl << "Copy constructor with rvalue reference. Radius:" << _radius;
}

int radius() const {
    return _radius;
}

private:
    int _radius;
};

int main() {
     Circle c1(2);
     Circle c2(c1);
     cout << endl << c2.radius(); 
     Circle c3(Circle(4));
     cout << endl << c3.radius(); 
     return 0;
 }

用"g ++ -std = c ++ 0x"编译.输出是:

Copy constructor with lvalue reference. Radius: 2
2
4

好.调用前两种情况的正确构造函数.但是对于第三种情况,即Circle c3(Circle(4)),我期望第三个构造函数(带有rvalue referecne的复制构造函数)被调用,但事实并非如此.显然有一些构造函数被调用,因为c3被正确实例化了,但我不明白为什么编译器没有使用明确提供的编译器.我在这里错过了什么吗？

Answer 1

没有调用move构造函数,因为你的编译器对你的代码太聪明了;)

 Circle c1(2);

这只是用int转换构造函数构造一个对象.

 Circle c2(c1);

这是一个复制操作.c1是一个l值,所以它引发了一个副本.

 Circle c3(Circle(4));

在这里,您的编译器会认识到您基本上是在告诉它构造对象两次.所以它省略了一个对象构造函数.在这种情况下,C++规范允许这样做.

如果您的编译器无法忽略构造,那么它将执行移动.此外,如果您的编译器无法忽略它,请将其丢弃.

所以没有动人的事.

Answer 2

为了获取rvalue引用,它应该是非const的,因为构造函数参数的内容将被移动,并且通常这是一个更改操作数状态的操作(尽管不是在您的特定情况下):

Circle(Circle&& c){ }

此外,您在这里看到了一个副本省略:

Circle c3(Circle(4));

所以不会调用move构造函数.这是可能会或可能不会发生的标准编译器优化.如果你要构建Circle这样的:

Circle c3(std::move(c1));

然后你会调用移动构造函数.