Ngày 18 — std::move và trạng thái moved-from

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

std::move là phép cast cho phép thao tác move; bản thân nó không di chuyển, và nguồn vẫn hợp lệ nhưng giá trị thường không được xác định cụ thể. 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 17, 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::move là phép cast cho phép thao tác move; bản thân nó không di chuyển, và nguồn vẫn hợp lệ nhưng giá trị thường không được xác định cụ thể. 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

std::string target = std::move(source);

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

Đọc đối tượng moved-from như thể nó còn giá trị cũ là bug logic; chỉ thao tác được hợp đồng trạng thái hợp lệ cho phép mới an toàn.

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

Nên dùng khi chuyển tài nguyên khỏi đối tượng không còn cần giữ giá trị cũ.
Tránh dùng khi nó che ownership, lifetime, kiểu, thứ tự hoặc chi phí.

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

Một string chuyển nội dung sang string khác, rồi nguồn moved-from được gán giá trị mới trước khi đọc lại. 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/18_std_move_moved_from_state/main.cpp

C++

#include <iostream>
#include <string>
#include <utility>

int main() {
    std::string source = "ticks";
    std::string target = std::move(source);

    // source is valid, but its value is unspecified.
    std::cout << "target=" << target << '\n';

    source = "reused"; // assigning a fresh value is safe
    std::cout << "source=" << source << '\n';
}

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 std::string target = std::move(source), bản thân std::move có chuyển dữ liệu không? Sau khi move, có được giả định source rỗng không?
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: Đọc đối tượng moved-from như thể nó còn giá trị cũ là bug logic; chỉ thao tác được hợp đồng trạng thái hợp lệ cho phép mới an toàn. 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 <string> #include <utility> int main() { std::string source = "ticks"; std::string target = std::move(source); // source is valid, but its value is unspecified. std::cout << "target=" << target << '\n'; source = "reused"; // assigning a fresh value is safe std::cout << "source=" << source << '\n'; }

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

Dễ — Trong std::string target = std::move(source), bản thân std::move có chuyển dữ liệu không? Sau khi move, có được giả định source rỗng không?
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: Đọc đối tượng moved-from như thể nó còn giá trị cũ là bug logic; chỉ thao tác được hợp đồng trạng thái hợp lệ cho phép mới an toàn. Cách sửa nhỏ nhất nhưng an toàn trong C++11 là gì?