Why std::launder Exists: The Placement New Bug Most C++ Developers Miss

Bài viết giải thích tại sao C++17 wprowadził std::launder để xử lý lỗi subtil khi sử dụng placement new. Khi một đối tượng được tạo bằng placement new trong một vùng bộ nhớ raw, con trỏ gốc tới vùng đó không còn được coi là trỏ tới đối tượng mới do quy định về thời gian sống đối tượng và tối ưu hoá biên dịch. Truy cập qua con trỏ cũ dẫn đến hành vi không xác định, vì trình biên dịch có thể giả định không có đối tượng nào tồn tại tại đó và thực hiện các tối ưu hoá sai. std::launder trả về một con trỏ có thể được sử dụng an toàn để truy cập đối tượng vừa được placement new, bằng cách "làm mới" giả định về aliasing và thời gian sống. Bài học chính là: mỗi khi bạn truy cập đối tượng qua con trỏ tới bộ nhớ đã được placement new, bạn phải dùng std::launder (hoặc tái thiết kế để tránh placement new) để tránh UB, và luôn nhớ rằng quy tắc thời gian sống đối tượng trong C++17 rất nghiêm ngặt.