Hành vi của hàm C++ template

Question

Hãy nói rằng tôi có chức năng này:

bool f(int&& one, int&& two) { } 

Nếu tôi cố gắng gọi nó với mã này:

int x = 4; 
f(x, 5); 

trình biên dịch sẽ phàn nàn rằng nó không thể chuyển đổi x từ vế trái tham chiếu đến tham chiếu rvalue, đó là chính xác.

Bây giờ nếu tôi chuyển đổi f thành một mẫu hàm như thế này:

template <class T, class U> 
bool f(T&& one, U&& two) { } 

sau đó tôi có thể gọi nó với một tài liệu tham khảo giá trị trái:

int x = 5; 
f(x, 5); 

Tại sao nó như vậy? Tại sao trình biên dịch không phàn nàn trong trường hợp này?

Answer 1

Bởi vì có một trích lập luận mẫu, tài liệu tham khảo sụp đổ sẽ xảy ra. Đó là những gì Scott Meyers gọi tài liệu tham khảo phổ dụng. U&& thực sự sẽ trở thành int &. Có một số article and video đẹp về cách hoạt động và cách sử dụng nó.

Answer 2

Điều này xảy ra vì tài liệu tham khảo quy tắc sụp đổ thêm vào trong C++ 11

A& & becomes A& 
A& && becomes A& 
A&& & becomes A& 
A&& && becomes A&& 

Trong mẫu các quy tắc được áp dụng nhưng không phải trong một chức năng bình thường không có tài liệu tham khảo sụp đổ bình thường trong chức năng. Có một số trường hợp cụ thể khác mà việc thu hẹp tham chiếu sẽ xảy ra như khi có sự hiện diện của auto, decltype hoặc typedef (bao gồm khai báo using) Điều đó giải thích kết quả của quá trình biên soạn. Việc thu thập tham chiếu phải được thêm vào trong C++ 11 vì nếu không, việc sử dụng các tham chiếu như A & & sẽ trở thành lỗi vì bạn không thể tham chiếu đến tham chiếu.

Answer 3

Mỗi § 8.3.3/6. Đó là quy tắc thu gọn tham chiếu.

template <class T> void func(T&&) // Accepts rvalue or lvalue 
void func(T&&)      // Accepts rvalue only 
void func(T&)      // Accepts lvalue only 

Worth ví dụ từ dự thảo tiêu chuẩn:

int i; 
typedef int& LRI; 
typedef int&& RRI; 

LRI& r1 = i;   // r1 has the type int& 
const LRI& r2 = i;  // r2 has the type int& 
const LRI&& r3 = i; // r3 has the type int& 

RRI& r4 = i;   // r4 has the type int& 
RRI&& r5 = 5;   // r5 has the type int&& 

decltype(r2)& r6 = i; // r6 has the type int& 
decltype(r2)&& r7 = i; // r7 has the type int&