Đang sử dụng malloc cho hành vi không xác định int cho đến C ++ 20

Tôi đã được thông báo rằng mã sau có hành vi không xác định cho đến C ++ 20:

int *p = (int*)malloc(sizeof(int));
*p = 10;

Có đúng như vậy không?

Đối số là thời gian tồn tại của intđối tượng không được bắt đầu trước khi gán giá trị cho nó ( P0593R6 ). Để khắc phục sự cố, newnên sử dụng vị trí :

int *p = (int*)malloc(sizeof(int));
new (p) int;
*p = 10;

Chúng ta có thực sự phải gọi một hàm tạo mặc định nhỏ để bắt đầu vòng đời của đối tượng không?

Đồng thời, mã không có hành vi không xác định trong C. Tuy nhiên, nếu tôi cấp phát một intmã trong C và sử dụng nó trong mã C ++ thì sao?

// C source code:
int *alloc_int(void)
{
    int *p = (int*)malloc(sizeof(int));
    *p = 10;
    return p;
}

// C++ source code:
extern "C" int *alloc_int(void);

auto p = alloc_int();
*p = 20;

Nó vẫn còn là hành vi không xác định?

Có đúng không?

Đúng. Về mặt kỹ thuật, không có phần nào của:

int *p = (int*)malloc(sizeof(int));

thực sự tạo ra một đối tượng kiểu int, vì vậy hội nghị plà UB vì không có thực tế intở đó.

Chúng ta có thực sự phải gọi hàm tạo mặc định là tầm thường để bắt đầu thời gian sống của đối tượng không?

Bạn có phải theo mô hình đối tượng C ++ để tránh hành vi không xác định trước C ++ 20 không? Đúng. Liệu có bất kỳ trình biên dịch nào thực sự gây hại khi bạn không làm điều này? Không phải là tôi biết.

[...] Nó vẫn là hành vi chưa xác định?

Đúng. Trước C ++ 20, bạn vẫn chưa thực sự tạo một intđối tượng ở đâu nên đây là UB.

Vâng, đó là UB. Danh sách các cách mà một intcó thể tồn tại đã được liệt kê, và không có cách nào áp dụng ở đó, trừ khi bạn hiểu rằng malloc là do mãn kinh.

Nó được nhiều người coi là một lỗ hổng trong tiêu chuẩn, nhưng một trong những tầm quan trọng thấp, bởi vì việc tối ưu hóa được thực hiện bởi các trình biên dịch C ++ xung quanh bit cụ thể của UB đó không gây ra vấn đề với trường hợp sử dụng đó.

Đối với câu hỏi thứ 2, C ++ không bắt buộc C ++ và C tương tác như thế nào. Vì vậy, tất cả các tương tác với C là ... UB, hay còn gọi là hành vi không được xác định theo tiêu chuẩn C ++.