Khi nào chúng ta thực sự cần 'xvalues ​​rõ ràng'?

Question

Định nghĩa của Xvalue được như sau:

- Một Xvalue (một “hết hạn” giá trị) cũng đề cập đến một đối tượng, thường là gần cuối cuộc đời của mình (để các nguồn lực của nó có thể được di chuyển, ví dụ). Một xvalue là kết quả của một số loại biểu thức liên quan đến tham chiếu rvalue (8.3.2). [Ví dụ: Kết quả của việc gọi một hàm có kiểu trả về là tham chiếu rvalue là xvalue. —end example]

Chúng ta có bao giờ rơi vào nơi mà thực tế chúng ta cần sử dụng hàm có kiểu trả về là tham chiếu rvalue, giá trị xvalue không?

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

Di chuyển ngữ nghĩa tham chiếu rvalue làm tham số chứ không phải giá trị trả về. Vì vậy, tôi không nghĩ rằng đó là trường hợp.

Answer 1

Tham chiếu rvalue trả về có thể được sử dụng cho các hàm đã lấy giá trị làm tham số. Một ví dụ đơn giản:

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())); 
} 

Live demo →

Chức năng thứ hai sẽ gọi constructor di chuyển để tạo ra các đối tượng quay trở lại, trong khi người đầu tiên sẽ vượt qua trên tham chiếu nó đã có. Điều này hữu ích hơn nếu chúng tôi không trả lại tham chiếu ban đầu mà thay vào đó là tham chiếu đến một phần của đối tượng được giới thiệu, ví dụ:

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

Answer 2

Đó chính xác là những gì std::move là - kết quả của việc thực hiện std::move là một xvalue. Khác hơn là nó rất khó để nói kể từ trong chính trở về một tài liệu tham khảo từ chức năng là một điều xấu hầu hết thời gian. Nhưng có thể ai đó sẽ đưa ra một cách sử dụng thông minh khác của một chức năng như vậy.

Answer 3

Chúng ta có bao giờ rơi vào nơi mà thực tế chúng ta cần sử dụng hàm có kiểu trả về là tham chiếu rvalue, giá trị xvalue không?

Nó được sử dụng trong các lớp container, ví dụ tuple có một tình trạng quá tải get trông như thế này:

template< std::size_t I, class... Types > 
typename std::tuple_element<I, tuple<Types...> >::type&& 
    get(tuple<Types...>&& t); 

tôi cho rằng std::optional và std::variant trong C++ 17 cả hai sẽ có một quá tải tương tự.

Cấp, điểm duy nhất là để tránh phải gõ std::move trong một số tình huống rất cụ thể, như:

auto x = std::get<1>(f()); 

đâu f trả về một tuple theo giá trị.