Truyền số nguyên cho hàm yêu cầu tham chiếu

Question

Tại sao mã này được định dạng đúng? Tôi không chuyển tham chiếu đến hàm này:

void function(const int& ref) { 

} 

int main() 
{ 
    function(1); 
} 

Answer 1

Trình biên dịch có thể tạo tạm thời từ hằng số và thời gian được phép liên kết với tham chiếu const. Nếu tham chiếu không phải là const, điều này sẽ không được cho phép.

Answer 2

Tham chiếu giá trị không đổi liên tục có thể liên kết với giá trị. Rvalues, giống như chữ số 1, không có bí danh liên tục, vì vậy nếu bạn sửa đổi nó, bạn sẽ không thể quan sát hiệu ứng, nhưng nếu bạn hứa sẽ không sửa đổi nó (cụ thể là bằng cách truy cập nó thông qua một hằng số) tham khảo), bạn vẫn có thể có mã hoàn toàn hợp lý, và đó là lý do tại sao sự ràng buộc này được cho phép.

(Bạn cũng có thể ràng buộc rvalues ​​để (có thể thay đổi) tài liệu tham khảo rvalue: void function(int &&) Trong trường hợp đó, các tài liệu tham khảo rvalue trở thành (unique) bí danh của giá trị.)

Cũng lưu ý rằng nếu không có quy tắc này nó sẽ không thể khởi tạo biến từ các hàm trả về giá trị gia tăng hoặc sử dụng sao chép-khởi tạo ở tất cả:

struct T { T(int); }; 

T f(); 

T x = 1;  // === "T x = T(1);", copy constructor wants to bind to prvalue 
T x = f(); // ditto 
T x((f())); // ditto