如果我有一个实现move语义的类:
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)); });
或其他形式?
谢谢。
最佳答案
第一种形式和第三种形式基本相同,因为return BigObject(x);
是一个右值,因此已经调用了move构造函数。
但是,第二种形式会调用未定义的行为,因为右值引用仍然只是引用,对超出范围的内容的引用仍然像以前一样糟糕。