Ngày 7 — Quy tắc mới của auto với braced initialization

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

Dấu brace có thể là direct-list initialization hoặc std::initializer_list, còn quy tắc cũ khiến khác biệt dễ bất ngờ. C++17 phân biệt direct-list và copy-list nhất quán hơn.

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

Compiler hỗ trợ C++17, được gọi với warning đầy đủ, cùng các bài trước theo thứ tự của khóa học.
Biết auto, list initialization, ngăn narrowing và std::initializer_list.

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

Trong C++17, auto direct{42} suy ra int từ một phần tử. auto copy = {1, 2, 3} vẫn suy ra std::initializer_list<int>; direct form nhiều phần tử là ill-formed.

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

auto direct{42};        // int in C++17
auto copy = {1, 2, 3}; // initializer_list<int>

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

Hai khai báo dùng brace gần giống nhưng thuộc initialization form khác nhau; static assertion chỉ ra cả hai kiểu.
Direct-list deduction xét một phần tử, còn copy-list deduction tìm element type chung cho initializer list.
Chương trình in direct: 42 và list size: 3, tạo test oracle nhỏ để so sánh với dự đoán trước khi biên dịch.

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

Cho rằng mọi khai báo brace đều tạo initializer list dẫn tới suy luận sai về overload và lifetime; phải để ý dấu =.
Build thành công chưa đủ; phải kiểm tra lifetime, ordering và error path.

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

Nên dùng kỹ thuật này khi cần scalar được direct-initialize hoặc chủ động muốn tạo initializer list.
Nên chọn cách C++11/14 đơn giản hơn nếu quy tắc C++17 không cải thiện safety, độ rõ hoặc hiệu năng đã đo trên các toolchain phải hỗ trợ.

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

Kiểm tra compile time làm thay đổi C++17 rõ ràng, còn output cho scalar và độ dài list. Direct form nhiều phần tử sẽ lỗi.

Mã mẫu hoàn chỉnh

Tệp mã nguồn

cpp17/07_auto_braced_initialization_rules/main.cpp

C++

#include <initializer_list>
#include <iostream>
#include <type_traits>

int main() {
    auto direct{42};
    auto copy = {1, 2, 3};

    static_assert(std::is_same_v<decltype(direct), int>);
    static_assert(
        std::is_same_v<decltype(copy), std::initializer_list<int>>);

    // auto invalid{1, 2}; // ill-formed in C++17
    std::cout << "direct: " << direct << '\n';
    std::cout << "list size: " << copy.size() << '\n';
}

9. Điều cần nhớ

Với auto dùng brace, direct-list và copy-list chọn quy tắc deduction khác nhau.
Phải chọn rõ chế độ C++17; default của compiler mới hơn có thể che lỗi portability.
Warning và ví dụ xác định biến quy tắc ghi nhớ thành bằng chứng.

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

Dễ — Quy tắc mới của auto với braced initialization giải quyết vấn đề chính nào?
Trung bình — auto value{1} có kiểu gì, và vì sao auto values{1, 2} lỗi?
Khó — Narrowing và phần tử khác kiểu ảnh hưởng copy-list form thế nào?

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

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

Hai khai báo dùng brace gần giống nhưng thuộc initialization form khác nhau; static assertion chỉ ra cả hai kiểu.
Direct-list deduction xét một phần tử, còn copy-list deduction tìm element type chung cho initializer list.
Chương trình in direct: 42 và list size: 3, tạo test oracle nhỏ để so sánh với dự đoán trước khi biên dịch.

#include <initializer_list> #include <iostream> #include <type_traits> int main() { auto direct{42}; auto copy = {1, 2, 3}; static_assert(std::is_same_v<decltype(direct), int>); static_assert( std::is_same_v<decltype(copy), std::initializer_list<int>>); // auto invalid{1, 2}; // ill-formed in C++17 std::cout << "direct: " << direct << '\n'; std::cout << "list size: " << copy.size() << '\n'; }