C++, tham chiếu rvalue trong tham số chức năng

Question

Tôi đang cố gắng hiểu các tham chiếu rvalue. Tôi đã thấy cách thức chúng được sử dụng trong nhà xây dựng, với những thứ như std::move và std::forward, nhưng tôi vẫn không hiểu tại sao điều này không làm việc:

void func(string&& str) 
{ 
    cout << str << endl; 
} 
int main(int argc, char* argv[]) 
{ 
    string s("string"); 
    func(s); 
} 

Và điều này:

template<typename T> 
void func(T&& str) 
{ 
    cout << str << endl; 
} 
int main(int argc, char* argv[]) 
{ 
    string s("string"); 
    func(s); 
} 

Tại sao nó có hoạt động với phiên bản mẫu chức năng không?

Answer 1

Giống như @ Peter cho biết, loại T là suy luận như string&, và cai trị tham khảo-sụp đổ C++ 's nói:

T & & ⇒ T & // từ C++ 98
T & & & ⇒ T & // mới cho C++ 0x
T & & & ⇒ T & // mới cho C++ 0x
T & & & & ⇒ T & & // mới cho C++ 0x

Vì vậy func ‘s instantiation thực sự là:

void func(string& str) 

Và nó hoạt động.

Answer 2

Một số lời giải thích chính thức, thêm vào câu trả lời @ songyuanyao của:

N4296::14.8.2.1 [temp.deduct.call]:

Template trích lập luận được thực hiện bằng cách so sánh từng chức năng kiểu mẫu tham số (gọi nó là P) với các loại tương ứng đối số của cuộc gọi (gọi là A) như được mô tả bên dưới.

N4296::14.8.2.1/3 [temp.deduct.call]:

Tham chiếu chuyển tiếp là một tài liệu tham khảo rvalue đến một cv-không đủ tiêu chuẩn tham số mẫu. Nếu P là tham chiếu chuyển tiếp và đối số là một giá trị, loại "lvalue tham chiếu đến A" được sử dụng thay cho A để khấu trừ loại.

Tiêu chuẩn cũng cung cấp các ví dụ sau:

template <class T> int f(T&& heisenreference); 
template <class T> int g(const T&&); 
int i; 
int n1 = f(i); // calls f<int&>(int&) 
int n2 = f(0); // calls f<int>(int&&) 
int n3 = g(i); // error: would call g<int>(const int&&) 

Đó chính là trường hợp của bạn.