2

如果我有一个实现移动语义的类:

class BigObject
{
public:
    BigObject(something x = something()) { ... }
    BigObject(const BigObject& other) { ... }
    BigObject(BigObject&& other) { ... }
    BigObject& operator=(BigObject other) { ... }
    void swap(BigObject& other) { ... }
    // [...]
};


auto begin = std::begin(somethingSequence); // collection doesn't matter here
auto end = std::end(somethingSequence); // collection doesn't matter here

BigObjectOutputIterator dest; // collection doesn't matter here

在 lambda 中返回 BigObject 的正确方法是什么?

std::transform(begin, end, dest, 
    [](something x) -> BigObject {return BigObject(x); });

或者

std::transform(begin, end, dest, 
    [](something x) -> BigObject&& {return std::move(BigObject(x)); });

或者

std::transform(begin, end, dest, 
    [](something x) -> BigObject {return std::move(BigObject(x)); });

或其他形式?

谢谢。

4

2 回答 2

6

第一种和第三种形式基本相同,因为return BigObject(x);都是右值,因此已经调用了移动构造函数。

然而,第二种形式调用了未定义的行为,因为右值引用仍然只是一个引用,并且对超出范围的东西的引用仍然和以前一样糟糕。

于 2011-12-08T11:46:45.497 回答
3

第一种形式很好。作为一般规则,永远不要返回右值引用。第三种形式不需要移动,因为BigObject(x)它已经是一个右值。

于 2011-12-08T11:29:32.053 回答