C++26 đã hoàn thành đạt tiêu chuẩn ISO C++, Trip Report

“Kết quả cuối cùng sau khi triển khai thật đáng chú ý. Trên hàng trăm triệu dòng C++ tại Google, chỉ có 5 dịch vụ chọn không tham gia hoàn toàn vì lo ngại về độ tin cậy hoặc hiệu suất. Công việc đang được tiến hành để loại bỏ sự cần thiết của một số trường hợp ngoại lệ còn lại này, với mục tiêu đạt được sự áp dụng toàn cầu.

Điều đáng chú ý hơn nữa là API chi tiết [để chọn không tham gia] dành cho quyền truy cập không an toàn chỉ được sử dụng ở bảy vị trí riêng biệt, tất cả đều là những thay đổi mang tính phẫu thuật do nhóm bảo mật thực hiện để lấy lại hiệu suất ở mã đúng nhưng trình biên dịch khó phân tích. Việc áp dụng rộng rãi này là bằng chứng mạnh mẽ nhất có thể cho thấy tính thực tế của việc kiểm tra chặt chẽ trong môi trường sản xuất thực tế.”

Đây không phải là thiết kế chỉ trên giấy. Chỉ riêng tại Google, họ đã sửa hơn 1.000 lỗi, dự kiến sẽ ngăn chặn được 1.000 đến 2.000 lỗi mỗi năm và đã giảm 30% tỷ lệ lỗi phân tách trong toàn bộ nhóm sản xuất.

Và hiện tại, nó đã được chuẩn hóa cho mọi người trong C++26. Cảm ơn Apple, Google và tất cả những người triển khai thư viện tiêu chuẩn!

(3) Hợp đồng an toàn chức năng: trước, sau, hợp đồng_assert

Trong C++26, chúng tôi cũng có các hợp đồng ngôn ngữ: điều kiện tiên quyết và hậu điều kiện trên khai báo hàm và câu lệnh xác nhận được ngôn ngữ hỗ trợ, tất cả đều tốt hơn rất nhiều so với macro khẳng định của C.

Lưu ý rằng một số chuyên gia thông minh và được kính trọng của ủy ban ISO C++ luôn có những lo ngại về mặt kỹ thuật về hợp đồng. Để biết bản tóm tắt của tôi về tính năng hợp đồng và tất cả các mối lo ngại chính thường gặp (với ý kiến ​​của tôi về chúng, điều này có thể sai!), hãy xem cuộc trò chuyện về hợp đồng CppCon 2025 của tôi. Vào tháng 2 năm 2025, khi chúng tôi thực hiện cuộc thăm dò toàn thể để thông qua các hợp đồng trong bản dự thảo hoạt động của C++26 (“hợp nhất nó vào đường trục”), số phiếu bầu là:

100 phiếu ủng hộ, 14 phiếu phản đối và 12 phiếu trắng

Kể từ đó, các mối quan ngại đều đã được thảo luận lại sâu sắc trong ba cuộc họp vừa qua nhờ các tài liệu kỹ thuật chất lượng cao và chu đáo; tất cả những giấy tờ đó vẫn tiếp tục được lắng nghe đầy đủ, thường trong nhiều ngày và tại nhiều cuộc họp qua điện thoại giữa các cuộc họp. Tại cuộc họp trước đó vào tháng 11 năm 2025, chúng tôi đã sửa được một số lỗi về đặc tả hợp đồng nhờ phản hồi này! Hôm qua, khi chúng tôi tiến hành cuộc bỏ phiếu toàn thể để hoàn thiện và đưa ra tiêu chuẩn C++26, cuộc bỏ phiếu đã không đạt được sự nhất trí vì những lo ngại kéo dài về hợp đồng:

114 phiếu thuận, 12 phiếu phản đối và 3 phiếu trắng

Số phiếu trắng thấp bất thường cho thấy hầu như tất cả các chuyên gia của chúng tôi hiện cảm thấy chắc chắn về ý kiến ​​kỹ thuật của họ, dù ủng hộ hay phản đối hợp đồng. Sau khi xem xét kỹ lưỡng, ý kiến của ủy ban rất rõ ràng: Ủy ban ISO C++ vẫn muốn có hợp đồng, và vì vậy các hợp đồng vẫn ở mức C++26.

(4) std::execution (còn gọi là “Người gửi/Người nhận”)

std::execution là cái mà tôi gọi là “Mô hình không đồng bộ của C++”: Nó cung cấp một khung thống nhất để thể hiện và kiểm soát tính đồng thời và song song. Để biết thông tin chi tiết, hãy xem báo cáo chuyến đi tháng 7 năm 2024 của tôi. Nó cũng tình cờ có một số đặc tính an toàn quan trọng vì nó giúp việc viết các chương trình sử dụng đồng thời và song song có cấu trúc (lồng nhau chặt chẽ suốt đời) để không bị chạy đua dữ liệu khi xây dựng dễ dàng hơn. Đó là một vấn đề lớn.

Tuy nhiên, tôi thực sự muốn viết một lời cảnh báo: Tính năng này rất tuyệt (công ty của tôi đã sử dụng nó trong sản xuất) nhưng hiện tại nó khó áp dụng hơn hầu hết các tính năng của C++ vì nó thiếu tài liệu hữu ích và thiếu một số thư viện “ngón tay và ngón chân”. Hiện tại, bạn có thể mong đợi kết quả tuyệt vời từ việc thực thi std::nhưng cũng mong dành chút thời gian ban đầu để tìm hiểu với sự trợ giúp của một người bạn đã biết rõ về việc đó và viết một số thư viện bộ điều hợp trợ giúp để tích hợp std::execution với mã async hiện có của bạn.

Việc áp dụng C++26 sẽ nhanh chóng

Có hai lý do khiến tôi kỳ vọng C++26 sẽ được áp dụng rất nhanh trong ngành so với C++17, C++20 và C++23.

Đầu tiên, nhu cầu của người dùng đối với bộ tính năng này cực kỳ cao. C++11 là bản phát hành “lớn và có tác động” cuối cùng của chúng tôi chứa đầy các tính năng mà đại đa số các nhà phát triển C++ sẽ sử dụng hàng ngày (tự động, phạm vi cho, lambdas, con trỏ thông minh, ngữ nghĩa di chuyển, luồng, mutexes,…). Kể từ đó, các tiêu chuẩn ba năm một lần tiếp theo của chúng tôi cũng đã có một số tính năng 'lớn' như STL song song, khái niệm, coroutine và mô-đun, nhưng thực tế là những tính năng đó không có tác động lớn đối với tất cả các nhà phát triển C++ như các tính năng của C++ 11, hoặc như các tính năng nổi bật của C++26 về phản ánh và tăng cường an toàn bây giờ. Vì vậy, ngay cả khi công ty của bạn kích hoạt chuyển đổi C++20 chậm, tôi nghĩ bạn sẽ thấy họ sẽ kích hoạt C++26 nhanh hơn nhiều. Có nhiều giá trị được yêu cầu cao hơn khiến nó trở thành một bản phát hành thú vị và đặc biệt hữu ích cho tất cả những ai sử dụng C++.

Thứ hai, việc triển khai thư viện tiêu chuẩn và trình biên dịch phù hợp đang diễn ra nhanh chóng. Trong suốt quá trình phát triển C++26, tại bất kỳ thời điểm nào, cả GCC và Clang đều đã triển khai 2/3 tính năng của C++26. Ngày nay, GCC đã có phản ánh và hợp đồng được hợp nhất trong hệ thống, đang chờ phát hành.

Hoạt động trên C++29, đặc biệt là về các cấu hình và an toàn bộ nhớ hơn

Tại cuộc họp này, chúng tôi cũng đã thông qua lịch trình cho C++29, đây sẽ là một chu kỳ phát hành kéo dài ba năm nữa. Không có gì ngạc nhiên khi trọng tâm chính của cuộc thảo luận về tài liệu khung thời gian C++29 là tăng cường hơn nữa độ an toàn của bộ nhớ.

Tuần này, nhóm phụ tiến hóa ngôn ngữ chính (EWG) đã xem xét các bản cập nhật về một số đề xuất đang diễn ra trong lĩnh vực cải tiến thêm về loại/an toàn bộ nhớ cho C++ 29, bao gồm: theo đuổi các đề xuất nhằm giảm hơn nữa hành vi không xác định sẽ xuất hiện lại trong EWG để có thể đưa vào C++ 29; và theo đuổi việc phát triển hơn nữa các tài liệu hồ sơ an toàn trong phân nhóm an toàn và bảo mật (SG23) để sau đó được đưa đến EWG nhắm mục tiêu C++29. SG23 đặc biệt nghiên cứu Hồ sơ an toàn loại P3984 của Bjarne Stroustrup bằng cách sử dụng khung hồ sơ chung do Gabriel Dos Reis đề xuất.

Bên cạnh những phiên họp đó, an toàn loại và bộ nhớ đã được thảo luận rộng rãi trong hai phiên bổ sung có đông người tham dự: phiên họp tối vào tối thứ Tư với sự tham dự của đa số ủy ban và trong phiên họp dành riêng cho an toàn bộ nhớ EWG suốt chiều thứ Sáu với sự tham dự của khoảng 90 chuyên gia. Đặc biệt, tôi muốn cảm ơn Oliver Hunt của Apple đã trình bày báo cáo trải nghiệm thực tế P4158R0, “Đặt lại và hạn chế C++ để đảm bảo an toàn bộ nhớ,” báo cáo cách WebKit tăng cường hơn 4 triệu dòng mã bằng cách sử dụng phương pháp tập hợp con siêu tập hợp (như Hồ sơ của Stroustrup) và cho thấy điều đó đã tạo ra sự khác biệt sâu sắc như thế nào về tính bảo mật của mã C++ trong WebKit trên quy mô lớn. Dưới đây là một số điểm nổi bật từ trang trình bày giới thiệu (đã thêm nhấn mạnh):