Apakah menggunakan malloc untuk int perilaku tidak terdefinisi hingga C ++ 20

Saya diberitahu bahwa kode berikut memiliki perilaku tidak terdefinisi hingga C ++ 20:

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

Benarkah itu?

Argumennya adalah bahwa masa pakai intobjek tidak dimulai sebelum menetapkan nilainya ( P0593R6 ). Untuk mengatasi masalah tersebut, penempatan newharus digunakan:

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

Apakah kita benar-benar harus memanggil konstruktor default yang sepele untuk memulai masa pakai objek?

Pada saat yang sama, kode tersebut tidak memiliki perilaku tidak terdefinisi dalam C murni. Tetapi, bagaimana jika saya mengalokasikan intdalam kode C dan menggunakannya dalam kode C ++?

// 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;

Apakah ini masih perilaku yang tidak terdefinisi?

Benarkah

Iya. Secara teknis, tidak ada bagian dari:

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

sebenarnya membuat sebuah objek bertipe int, jadi dereferencing padalah UB karena tidak ada aktualnya di intsana.

Apakah kita benar-benar harus memanggil konstruktor default yang sepele untuk memulai waktu hidup objek?

Apakah Anda harus sesuai dengan model objek C ++ untuk menghindari perilaku tidak terdefinisi sebelum C ++ 20? Iya. Apakah ada kompiler yang benar-benar membahayakan jika Anda tidak melakukan ini? Aku tidak menyadarinya.

[...] Apakah ini masih perilaku yang tidak terdefinisi?

Iya. Sebelum C ++ 20, Anda masih belum benar-benar membuat intobjek di mana pun jadi ini adalah UB.

Ya, UB. Daftar cara sebuah intbisa ada disebutkan, dan tidak ada yang berlaku di sana, kecuali Anda berpendapat bahwa malloc itu acausal.

Ini secara luas dianggap sebagai kekurangan dalam standar, tetapi salah satu yang kurang penting, karena optimasi yang dilakukan oleh kompiler C ++ di sekitar bit tertentu UB tidak menimbulkan masalah dengan use case tersebut.

Adapun pertanyaan ke-2, C ++ tidak mengamanatkan bagaimana C ++ dan C berinteraksi. Jadi semua interaksi dengan C adalah ... UB, alias perilaku tidak ditentukan oleh standar C ++.