Tại sao std :: make_tuple turn std :: reference_wrapper <X> đối số vào X &?

Question

Trong tiêu chuẩn C++ 11 nó nói rằng (xem cppreference.com, xem thêm phần 20.4.2.4 của tiêu chuẩn) nó nói rằng

template< class... Types > 
tuple<VTypes...> make_tuple(Types&&... args); 

Tạo một đối tượng tuple, suy diễn ra kiểu mục tiêu từ các loại của các đối số.

Đối với mỗi Ti trong Types..., tương ứng loại Vi trong Vtypes... là std::decay<Ti>::type trừ khi áp dụng std::decay kết quả trong std::reference_wrapper<X> đối với một số loại X, trong trường hợp này loại suy luận là X&.

Tôi tự hỏi: Tại sao trình bao bọc tham chiếu được xử lý đặc biệt ở đây?

Answer 1

Điều này ít nhiều là mục đích chính của reference_wrapper.

Thông thường, std::make_tuple luôn tạo các giá trị giá trị (std::decay mô phỏng ngữ nghĩa theo giá trị). Cho int x, y; std::make_tuple(x, y); tạo một std::tuple<int, int>, mặc dù nó sẽ khấu trừ Types dưới dạng gói tham chiếu int&, int&. std::decay chuyển đổi những người đó thành int, int.

reference_wrapper cho phép bạn bắt buộc tạo các bộ tham chiếu tham chiếu: std::make_tuple(std::ref(x), y) sẽ tạo std::tuple<int&, int>.

Các phần khác của việc sử dụng thư viện chuẩn reference_wrapper theo cách tương tự. Ví dụ, std::bind thường sẽ sao chép/di chuyển các đối số bị ràng buộc vào đối tượng kết quả, nhưng nếu bạn muốn nó chỉ lưu trữ một tham chiếu, bạn có thể yêu cầu nó một cách rõ ràng bằng cách chuyển một số reference_wrapper.

Answer 2

Tiêu đề của bạn gây hiểu lầm: sử dụng std::reference_wrapper<X> biến các thành viên thành X& thay vì X. Lý do biến đổi này được thực hiện là std::reference_wrapper<T> là một loại phụ trợ, có nghĩa là để biến một loại giá trị thành một loại tham chiếu. Tuy nhiên, chuyển đổi thêm cần thiết để làm cho nó xuất hiện theo cách đó đôi khi can thiệp vào việc sử dụng. Do đó, hãy mở tài liệu tham khảo nếu có thể có vẻ là một cách tiếp cận hợp lý: làm cho thành viên std::tuple<...> là T& làm cho việc sử dụng tự nhiên hơn.

Answer 3

Mọi người thường sử dụng std::reference_wrapper<X> để giữ các loại không thể sao chép. Vì vậy, sao chép chúng trong make_tuple sẽ đánh bại mục đích (và có thể phá vỡ xây dựng nếu các nhà xây dựng bản sao bị xóa). Đó là lý do tại sao nó sử dụng tham chiếu (thay vì một giá trị) trong kiểu trả về của nó.