Ngày 34 — Forwarding references và reference collapsing

1. Vấn đề nó giải quyết

Với tham số T&& được deduction, lời gọi lvalue suy ra T là reference; quy tắc reference collapsing giữ lại việc đối số gốc là lvalue hay rvalue. Nó làm ràng buộc quan trọng hiện rõ thay vì bắt người đọc đoán. Bài chỉ giữ phần cốt lõi C++11 vừa đủ cho một ngày tập trung.

2. Kiến thức cần có

Kiến thức Ngày 33, cùng biến, hàm và cách đọc output đã học trước đó.

3. Ý tưởng cốt lõi

Mental model: Với tham số T&& được deduction, lời gọi lvalue suy ra T là reference; quy tắc reference collapsing giữ lại việc đối số gốc là lvalue hay rvalue. Hãy xác định giá trị hoặc trạng thái liên quan, ai sở hữu nó và quy tắc tác động lúc compile hay lúc chạy.

4. Cú pháp tối thiểu

template<class T> void inspect(T&& value); // T& && collapses to T&

5. Cách nó hoạt động

Ví dụ tạo dữ liệu nhỏ, cố định và không cần nhập bàn phím.
C++11 hoặc contract thư viện chuẩn áp dụng quy tắc hôm nay.
Chương trình in kết quả quan trọng để đối chiếu với mã nguồn.

6. Lỗi thường gặp

Không phải mọi T&& đều là forwarding reference; nếu T không được suy ra tại lời gọi thì nó chỉ là rvalue reference thường.

7. Khi nào nên dùng

Nên dùng khi hàm generic cần nhận cả đối số lvalue lẫn rvalue.
Tránh dùng khi nó che ownership, lifetime, kiểu, thứ tự hoặc chi phí.

8. Ví dụ đơn giản

Trait trong hàm T&& được deduction báo biến số nguyên có tên suy ra lvalue reference, còn literal thì không. File .cpp dùng dữ liệu cố định và không thêm abstraction ngoài chủ đề.

Mã mẫu hoàn chỉnh

Tệp mã nguồn

cpp11/34_forwarding_references_reference_collapsing/main.cpp

C++

#include <iostream>
#include <type_traits>

template <typename T>
void inspect(T&&) {
    // For an lvalue call, T is deduced as U& and U& && collapses to U&.
    const bool from_lvalue = std::is_lvalue_reference<T>::value;
    std::cout << (from_lvalue ? "lvalue" : "rvalue") << '\n';
}

int main() {
    int value = 7;

    inspect(value); // T becomes int&
    inspect(9);     // T becomes int
}

9. Điều cần nhớ

Tính năng nằm trong phạm vi C++11 của lộ trình này.
Hiểu hệ quả về lifetime, ownership, kiểu và thứ tự trước khi dùng.
Compile với cảnh báo và ưu tiên cách viết nhỏ nhất làm quy tắc hiện rõ.

10. Câu hỏi tự kiểm tra

Dễ — Với template<class T> void inspect(T&& value), gọi bằng một biến int lvalue và bằng literal 9 lần lượt suy ra T là gì? Quy tắc reference collapsing tạo kiểu tham số nào?
Trung bình — Đọc ví dụ nhỏ ở trên. Chương trình sẽ in giá trị hoặc trạng thái nào, và quy tắc nào tạo ra kết quả đó?
Khó — Tìm và giải thích lỗi tinh tế trong tình huống sau: Không phải mọi T&& đều là forwarding reference; nếu T không được suy ra tại lời gọi thì nó chỉ là rvalue reference thường. Cách sửa nhỏ nhất nhưng an toàn trong C++11 là gì?

Luyện thẻ của bài này

1. Vấn đề nó giải quyết

3. Ý tưởng cốt lõi

#include <iostream> #include <type_traits> template <typename T> void inspect(T&&) { // For an lvalue call, T is deduced as U& and U& && collapses to U&. const bool from_lvalue = std::is_lvalue_reference<T>::value; std::cout << (from_lvalue ? "lvalue" : "rvalue") << '\n'; } int main() { int value = 7; inspect(value); // T becomes int& inspect(9); // T becomes int }

10. Câu hỏi tự kiểm tra

Dễ — Với template<class T> void inspect(T&& value), gọi bằng một biến int lvalue và bằng literal 9 lần lượt suy ra T là gì? Quy tắc reference collapsing tạo kiểu tham số nào?
Trung bình — Đọc ví dụ nhỏ ở trên. Chương trình sẽ in giá trị hoặc trạng thái nào, và quy tắc nào tạo ra kết quả đó?
Khó — Tìm và giải thích lỗi tinh tế trong tình huống sau: Không phải mọi T&& đều là forwarding reference; nếu T không được suy ra tại lời gọi thì nó chỉ là rvalue reference thường. Cách sửa nhỏ nhất nhưng an toàn trong C++11 là gì?