กำลังใช้ malloc สำหรับพฤติกรรมที่ไม่ได้กำหนดไว้จนถึง C ++ 20

ฉันได้รับแจ้งว่ารหัสต่อไปนี้มีพฤติกรรมที่ไม่ได้กำหนดไว้จนถึง C ++ 20:

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

เป็นเช่นนั้นจริงหรือ?

อาร์กิวเมนต์คืออายุการใช้งานของintอ็อบเจ็กต์ไม่ได้เริ่มต้นก่อนกำหนดค่าให้กับมัน ( P0593R6 ) ในการแก้ไขปัญหาnewควรใช้ตำแหน่ง:

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

เราต้องเรียกตัวสร้างเริ่มต้นที่ไม่สำคัญเพื่อเริ่มอายุการใช้งานของวัตถุหรือไม่?

ในเวลาเดียวกันรหัสไม่มีพฤติกรรมที่ไม่ได้กำหนดใน C บริสุทธิ์ แต่จะเป็นอย่างไรถ้าฉันจัดสรรintรหัสใน C และใช้ในรหัส 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;

ยังไม่ได้กำหนดพฤติกรรมหรือไม่?

มันจริงหรอ?

ใช่. ในทางเทคนิคไม่มีส่วนของ:

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

จริงสร้างวัตถุของการพิมพ์intดังนั้น dereferencing pเป็น UB เนื่องจากไม่มีจริงintมี

เราต้องเรียกตัวสร้างเริ่มต้นที่ไม่สำคัญเพื่อเริ่มอายุการใช้งานของวัตถุหรือไม่?

คุณต้องทำตามโมเดลอ็อบเจ็กต์ C ++ เพื่อหลีกเลี่ยงพฤติกรรมที่ไม่ได้กำหนดไว้ก่อน C ++ 20 หรือไม่? ใช่. คอมไพเลอร์ใด ๆ จะก่อให้เกิดอันตรายหากคุณไม่ทำเช่นนี้หรือไม่? ไม่ใช่ว่าฉันรู้

[... ] มันยังไม่ได้กำหนดพฤติกรรม?

ใช่. Pre-C ++ 20 คุณยังไม่ได้สร้างintออบเจ็กต์ที่ใดก็ได้ดังนั้นนี่คือ UB

ใช่มันคือ UB รายการวิธีที่intสามารถมีอยู่ได้ถูกแจกแจงและไม่มีใครใช้ที่นั่นเว้นแต่คุณจะถือว่า malloc นั้นเป็น acausal

ถือว่าเป็นข้อบกพร่องในมาตรฐานอย่างกว้างขวาง แต่มีความสำคัญต่ำเนื่องจากการเพิ่มประสิทธิภาพที่ทำโดยคอมไพเลอร์ C ++ รอบ ๆ บิตของ UB นั้นไม่ก่อให้เกิดปัญหากับกรณีการใช้งานนั้น

สำหรับคำถามที่ 2 C ++ ไม่ได้กำหนดว่า C ++ และ C โต้ตอบอย่างไร ดังนั้นการโต้ตอบทั้งหมดกับ C คือ ... UB หรือที่เรียกว่าพฤติกรรมที่ไม่ได้กำหนดโดยมาตรฐาน C ++