C++26 hoàn tất bản dự thảo: Reflection, an toàn bộ nhớ và khung Async mới

Bản dự thảo chuẩn C++26 hiện đã hoàn tất, theo báo cáo từ Herb Sutter, chuyên gia lâu năm của C++ và cựu chủ tịch ủy ban tiêu chuẩn ISO C++. Bản dự thảo được hoàn thiện này giới thiệu cơ chế Reflection (phản chiếu), tăng cường an toàn bộ nhớ mà không yêu cầu viết lại mã, thêm các Contracts (hợp đồng) với tiền điều kiện và hậu điều kiện, đồng thời thiết lập một khung thống nhất cho tính đồng thời và song song.

Reflection: Chìa khóa cho siêu lập trình

Reflection là một cơ chế mang lại cho nhà phát triển "chìa khóa" để tiếp cận bộ máy bên trong của C++. Như Sutter giải thích, nó cho phép ngôn ngữ tự mô tả bản thân và sinh ra mã, tạo nền tảng vững chắc cho siêu lập trình (metaprogramming). Đúng với tinh thần của C++, Reflection đi kèm mà không gây ra chi phí thời gian chạy (runtime overhead).

Ví dụ cơ bản về những gì Reflection cho phép thực hiện là cú pháp chuyên biệt để khai báo các giao diện C++:

class(interface) IFoo {
    int f();
    void g(std::string);
};

Đoạn mã trên sẽ được dịch tự động thành dạng "cổ điển" với các hàm ảo thuần túy. Reflection có thể đơn giản hóa sự phát triển trong tương lai của C++ bằng cách giảm nhu cầu tạo ra nhiều tính năng ngôn ngữ tùy chỉnh, vì nay nhiều tính năng có thể được thể hiện dưới dạng thư viện thời gian biên dịch có thể tái sử dụng.

An toàn bộ nhớ được cải thiện đáng kể

Một lĩnh vực khác mà C++26 hướng đến cải thiện mạnh mẽ là an toàn bộ nhớ. Điều này bao gồm việc loại bỏ hành vi không xác định khi đọc các biến cục bộ chưa được khởi tạo, cũng như an toàn về giới hạn (bounds safety) cho hầu hết các kiểu thư viện chuẩn như vector, span, string, string_view.

Sutter cho biết những thay đổi này đã được triển khai trong sản xuất tại Apple và Google trên hàng trăm triệu dòng mã C++. Tại riêng Google, tính năng này đã sửa hơn 1.000 lỗi, dự kiến ngăn chặn 1.000 đến 2.000 lỗi mỗi năm và giảm tỷ lệ segfault trên toàn bộ hệ thống sản xuất xuống 30%.

Điều đáng chú ý là những lợi ích này chỉ đạt được bằng cách biên dịch lại mã hiện có với trình biên dịch mới. Chỉ có 7 trường hợp trình biên dịch không thể phân tích mã được tối ưu hóa cao, yêu cầu nhà phát triển sử dụng API chi tiết để loại bỏ an toàn bộ nhớ có chọn lọc ở những phần cụ thể đó.

Contracts và lập trình phòng thủ

C++26 đưa lập trình phòng thủ vào ngôn ngữ thông qua Contracts, cải thiện cả tính năng và an toàn bộ nhớ. Chúng cho phép các nhà phát triển thể hiện các tiền điều kiện và hậu điều kiện không được vi phạm trong quá trình thực thi phương thức. Contracts cho phép di chuyển các khẳng định (assertions) vào khai báo hàm, khiến chúng hiển thị với người gọi và các công cụ phân tích tĩnh.

C++ cung cấp bốn cách để xử lý vi phạm hợp đồng: bỏ qua, quan sát, thực thi và thực thi nhanh. Ngoài ra, chúng mang lại cơ chế khẳng định (assertion) gốc để thay thế macro assert của ngôn ngữ C.

Khung Async mới: std::execution

Cuối cùng, C++26 giới thiệu std::execution như một khung làm việc để thể hiện và kiểm soát tính đồng thời và song song. Ba trừu tượng chính trong khung này là bộ lập lịch (schedulers), người gửi (senders) và người nhận (receivers), có thể được kết hợp thông qua một tập hợp các thuật toán bất đồng bộ tùy chỉnh.

std::execution được thiết kế để hoạt động tốt với coroutine của C++20 và giúp việc "viết các chương trình sử dụng tính đồng thời (lồng vòng đời một cách nghiêm ngặt) và song song để tự do không có cuộc đua dữ liệu (data-race-free)" trở nên dễ dàng hơn.

Hiện tại, hai trình biên dịch C++ chính là GCC và Clang đã triển khai hầu hết các tính năng của C++26 trong quá trình tiêu chuẩn hóa và các tính năng này sẽ sớm có mặt trong các bản phát hành chính thức.