Ngày 35 — std::forward và perfect forwarding

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

std::forward<T> cast có điều kiện tham số forwarding reference trở lại value category ban đầu của caller. 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 34, cùng biến, hàm và cách đọc output đã học trước đó.

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

Mental model: std::forward<T> cast có điều kiện tham số forwarding reference trở lại value category ban đầu của caller. 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

consume(std::forward<T>(value));

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

Dùng std::move thay std::forward luôn coi tham số có tên là sắp hết dùng và có thể move nhầm từ lvalue gốc.

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

Nên dùng khi wrapper generic cần truyền đối số mà không đổi ý định lvalue/rvalue.
Tránh dùng khi nó che ownership, lifetime, kiểu, thứ tự hoặc chi phí.

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

Wrapper relay forward biến có tên tới overload lvalue và literal tới overload rvalue. 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/35_std_forward_perfect_forwarding/main.cpp

C++

#include <iostream>
#include <utility>

void consume(int&) {
    std::cout << "lvalue\n";
}

void consume(int&&) {
    std::cout << "rvalue\n";
}

template <typename T>
void relay(T&& value) {
    consume(std::forward<T>(value));
}

int main() {
    int number = 7;
    relay(number);
    relay(9);
}

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ễ — Trong template<class T> void relay(T&& value), vì sao dùng consume(std::forward<T>(value)) thay vì luôn dùng consume(value) hoặc consume(std::move(value))?
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: Dùng std::move thay std::forward luôn coi tham số có tên là sắp hết dùng và có thể move nhầm từ lvalue gốc. 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

#include <iostream> #include <utility> void consume(int&) { std::cout << "lvalue\n"; } void consume(int&&) { std::cout << "rvalue\n"; } template <typename T> void relay(T&& value) { consume(std::forward<T>(value)); } int main() { int number = 7; relay(number); relay(9); }

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

Dễ — Trong template<class T> void relay(T&& value), vì sao dùng consume(std::forward<T>(value)) thay vì luôn dùng consume(value) hoặc consume(std::move(value))?
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: Dùng std::move thay std::forward luôn coi tham số có tên là sắp hết dùng và có thể move nhầm từ lvalue gốc. Cách sửa nhỏ nhất nhưng an toàn trong C++11 là gì?