Ngày 5 — auto và type deduction

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

auto yêu cầu compiler suy ra kiểu biến từ giá trị khởi tạo; nó giảm lặp tên kiểu nhưng C++ vẫn là ngôn ngữ kiểu tĩnh. 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 4, cùng biến, hàm và cách đọc output đã học trước đó.

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

Mental model: auto yêu cầu compiler suy ra kiểu biến từ giá trị khởi tạo; nó giảm lặp tên kiểu nhưng C++ vẫn là ngôn ngữ kiểu tĩnh. 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

auto count = 3; auto& alias = count;

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

auto thường bỏ top-level const và reference; quên & có thể tạo bản sao thay vì bí danh tới biến gốc.

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

Nên dùng khi initializer làm kiểu dữ liệu rõ ràng hoặc tên kiểu quá dài.
Tránh dùng khi nó che ownership, lifetime, kiểu, thứ tự hoặc chi phí.

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

Biến auto thường tạo bản sao, còn auto& tạo bí danh; sửa bí danh làm biến gốc đổi nhưng bản sao không đổ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/05_auto_type_deduction/main.cpp

C++

#include <iostream>

int main() {
    const int source = 10;

    auto copy = source;   // int: top-level const is dropped
    auto& alias = source; // const int&: this is not a copy
    auto price = 2.5;     // double

    copy = 20;

    std::cout << "source=" << source << '\n';
    std::cout << "copy=" << copy << '\n';
    std::cout << "alias=" << alias << '\n';
    std::cout << "price=" << price << '\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 C++11, auto suy ra kiểu từ đâu? auto count = 3 và auto& alias = count khai báo biến có kiểu gì?
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: auto thường bỏ top-level const và reference; quên & có thể tạo bản sao thay vì bí danh tới biến 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

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

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

#include <iostream> int main() { const int source = 10; auto copy = source; // int: top-level const is dropped auto& alias = source; // const int&: this is not a copy auto price = 2.5; // double copy = 20; std::cout << "source=" << source << '\n'; std::cout << "copy=" << copy << '\n'; std::cout << "alias=" << alias << '\n'; std::cout << "price=" << price << '\n'; }

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

Dễ — Trong C++11, auto suy ra kiểu từ đâu? auto count = 3 và auto& alias = count khai báo biến có kiểu gì?
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: auto thường bỏ top-level const và reference; quên & có thể tạo bản sao thay vì bí danh tới biến gốc. Cách sửa nhỏ nhất nhưng an toàn trong C++11 là gì?