我们什么时候需要'明确的xvalues'？

Question

xvalue的定义如下:

- xvalue("eXpiring"值)也指对象,通常接近其生命周期的末尾(例如,可以移动其资源).xvalue是涉及rvalue引用的某些表达式的结果(8.3.2).[示例:调用返回类型为右值引用的函数的结果是xvalue. - 末端的例子]

我们是否会陷入我们实际需要使用其返回类型为右值引用的函数的位置,该函数是xvalue？

const int && Foo()
{
    // ...
}

移动语义将右值引用作为参数,而不是返回值.所以我认为不是这样的.

Answer 1

这正是std :: move的意思 - std::move执行的结果是xvalue.除此之外很难分辨,因为在主要返回时,函数的引用在大多数情况下都是坏事.但也许有人会想出另一个聪明的用法.

Answer 2

返回rvalue引用可用于已将rvalues作为参数的函数.一个简单的例子:

struct X {
    X() = default;
    X(X&& other) { std::cout << "move ctor\n"; }
    X(X const&) = delete;
    void log(std::string const& s){ std::cout << "log: " << s << "\n"; }
};

void sink(X&& x) { 
    x.log("sink"); 
}

X&& passOn(X&& in) {
    in.log("pass");
    return std::move(in);
}

X moveOn(X&& in) {
    in.log("move");
    return std::move(in);
}

int main() {
    sink(passOn(X()));
    std::cout << "===============================\n";
    sink(moveOn(X()));
}

现场演示→

第二个函数将调用move构造函数来创建返回的对象,而第一个函数将传递它已经获得的引用.如果我们不返回原始引用而是返回对引用对象的一部分的引用,例如,这更有用

template<class T>
T&& getHead(std::vector<T>&& input) {
    return std::move(input.front());
}