Di chuyển từ * phương thức này bằng phương pháp rvalue?

Question

Trong C++ 11, các phương thức có thể bị quá tải khi biểu thức có biểu thị đối tượng mà phương thức được gọi là một giá trị hoặc một giá trị. Nếu tôi trở *this từ một phương pháp gọi là thông qua một rvalue, tôi cần phải rõ ràng move từ *this hay không?

Foo Foo::method() && 
{ 
    return std::move(*this); // Is this move required or not? 
} 

Thật không may, tôi không thể chỉ đơn giản là kiểm tra điều này trên trình biên dịch của tôi từ khi g ++ không hỗ trợ tính năng này chưa :(

Answer 1

Loại *this là luôn một giá trị trái:

§9.3.2 [class.this] p1

Trong phần nội dung của hàm thành viên không phải là tĩnh (9.3), từ khóa this là biểu thức giá trị có giá trị là địa chỉ của đối tượng mà hàm được gọi. Các loại this trong một hàm thành viên của một lớp X là . [...]

§5.3.1 [expr.unary.op] p1

Các unary * điều hành thực hiện gián tiếp: biểu thức mà nó được áp dụng sẽ là một con trỏ đến một loại đối tượng, hoặc một con trỏ đến một loại chức năng và kết quả là một lvalue đề cập đến đối tượng hoặc chức năng mà biểu thức trỏ tới.

Vì vậy, bạn cần phải std::move nếu bạn muốn gọi hàm khởi tạo.

Đoạn mã sau đây cho thấy rằng:

#include <iostream> 
#include <utility> 

struct test{ 
    test(){} 
    test(test const&){ std::cout << "copy ctor // #1\n"; } 
    test(test&&){ std::cout << "move ctor // #2\n"; } 

    test f_no_move() &&{ return *this; } 
    test f_move() &&{ return std::move(*this); } 
}; 

int main(){ 
    test().f_no_move(); // #1 
    test().f_move(); // #2 
} 

Sử dụng Clang 3.1 (trình biên dịch duy nhất tôi biết mà thực hiện ref-vòng loại), tôi nhận được kết quả như sau:

$ kêu vang ++ -std = C++ 0x -stdlib = libC++ -pedantic Wall t.cpp
$ ./a.out
sao chép ctor // # 1
di chuyển ctor // # 2