Tại sao chúng ta không thể tạo các đối tượng có thể xây dựng tầm thường bằng malloc nếu hàm tạo mặc định tầm thường thực hiện không có hành động?

Tôi gặp khó khăn trong việc hiểu đoạn văn sau được trích dẫn từ cppreference về hàm tạo mặc định tầm thường. Tôi đã tìm kiếm stackoverflow nhưng vẫn không nhận được câu trả lời rõ ràng. Vì vậy, xin vui lòng giúp đỡ.

Một constructor mặc định tầm thường là một constructor thực hiện không có hành động. Tất cả các loại dữ liệu tương thích với ngôn ngữ C (loại POD) đều có thể xây dựng mặc định. Tuy nhiên, không giống như trong C, các đối tượng có hàm tạo mặc định tầm thường không thể được tạo bằng cách đơn giản diễn giải lại bộ lưu trữ được căn chỉnh phù hợp, chẳng hạn như bộ nhớ được cấp phát với std :: malloc: vị trí mới được yêu cầu để chính thức giới thiệu một đối tượng mới và tránh hành vi không xác định tiềm năng.

Cụ thể, nếu hàm tạo mặc định tầm thường không làm gì, tại sao chúng ta không thể diễn giải lại bộ lưu trữ và giả vờ có một đối tượng với kiểu đã cho? Bạn có thể vui lòng cung cấp một số ví dụ cho hành vi không xác định tiềm năng mà điều này sẽ gây ra?

P0593R5 đưa ra ví dụ này:

struct X { int a, b; };
X *make_x() {
  X *p = (X*)malloc(sizeof(struct X));
  p->a = 1;
  p->b = 2;
  return p;
}

và giải thích:

Khi được biên dịch bằng trình biên dịch C ++, mã này có hành vi không xác định, bởi vì p-> cố gắng ghi vào một tiểu dự án int của một đối tượng X và chương trình này không bao giờ tạo ra một đối tượng X cũng như một đối tượng con int.

Mỗi [intro.object] p1,

Một đối tượng được tạo bởi một định nghĩa, bởi một biểu thức mới, khi thay đổi hoàn toàn thành viên tích cực của liên minh hoặc khi một đối tượng tạm thời được tạo.

... Và chương trình này không làm những điều này.

Trong thực tế công việc này và tình huống UB được coi là một khiếm khuyết trong tiêu chuẩn hơn bất cứ điều gì khác. Toàn bộ mục tiêu của bài viết là đề xuất một cách khắc phục vấn đề đó và các trường hợp tương tự mà không phá vỡ những thứ khác.

Vì lý do "tinh khiết".

Sự thay thế và hiện trạng thực tế là mọi khu vực lưu trữ sẽ chứa tất cả các đối tượng phù hợp trong bộ lưu trữ đó cùng một lúc. Một số thành viên ủy ban không thoải mái với hiện trạng và rất nhiều người sợ khái niệm có vô số đối tượng ở cùng một nơi (trong trạng thái ảo, chưa được khởi tạo).

Không ai từng có thể chỉ ra một vấn đề logic với việc có vô số đối tượng trong một vùng lưu trữ.

Bởi vì họ có các phần khác nhau của tiêu chuẩn nói những điều mâu thuẫn, các thành viên ủy ban chỉ quyết định thực hiện nghiêm túc một trong những phần tồi tệ nhất của tiêu chuẩn.

Ngoài ra, sử dụng chuỗi ký tự là hoàn toàn không được phép, nếu bạn thực sự nghiêm túc thực hiện một phần của tiêu chuẩn.