เหตุใดการแปลงจากค่าคงที่สตริงถึง 'char *' ใช้ได้ใน C แต่ไม่ถูกต้องใน C ++

มาตรฐาน C ++ 11 (ISO / IEC 14882: 2011) กล่าวใน§ C.1.1:

char* p = "abc"; // valid in C, invalid in C++

สำหรับ C ++ มันก็โอเคในฐานะที่เป็นตัวชี้ไปที่ตัวอักษรของสตริงที่เป็นอันตรายเนื่องจากความพยายามใด ๆ ในการแก้ไขมันจะนำไปสู่ความผิดพลาด แต่ทำไมมันถึงใช้ได้ใน C?

C ++ 11 ยังบอกด้วย:

char* p = (char*)"abc"; // OK: cast added

ซึ่งหมายความว่าหากมีการเพิ่มการร่ายลงในคำสั่งแรกมันจะใช้ได้

ทำไมการคัดเลือกนักแสดงทำให้คำสั่งที่สองใช้ได้ใน C ++ และมันแตกต่างจากคำสั่งแรกได้อย่างไร? มันยังคงเป็นอันตรายหรือไม่? ถ้าเป็นเช่นนั้นทำไมมาตรฐานถึงบอกว่าตกลง

จนถึง C ++ 03 ตัวอย่างแรกของคุณถูกต้อง แต่ใช้การแปลงโดยนัยที่คัดค้าน - สตริงตัวอักษรควรได้รับการพิจารณาว่าเป็นประเภทchar const *เนื่องจากคุณไม่สามารถแก้ไขเนื้อหาได้ (โดยไม่ทำให้เกิดพฤติกรรมที่ไม่ได้กำหนด)

ตั้งแต่ C ++ 11 การแปลงโดยนัยที่ถูกคัดค้านนั้นถูกลบอย่างเป็นทางการดังนั้นโค้ดที่ขึ้นกับมัน (เช่นตัวอย่างแรกของคุณ) ไม่ควรรวบรวมอีกต่อไป

คุณได้ตั้งข้อสังเกตวิธีหนึ่งในการอนุญาตให้โค้ดรวบรวม: แม้ว่าการแปลงโดยนัยได้ถูกลบไปแล้ว แต่การแปลงที่ชัดเจนยังใช้งานได้ดังนั้นคุณสามารถเพิ่มการส่ง อย่างไรก็ตามฉันจะไม่พิจารณา "แก้ไข" รหัสนี้

การแก้ไขรหัสอย่างแท้จริงต้องเปลี่ยนประเภทของตัวชี้เป็นชนิดที่ถูกต้อง:

char const *p = "abc"; // valid and safe in either C or C++.

สำหรับสาเหตุที่อนุญาตให้ใช้ใน C ++ (และยังคงเป็น C): เพียงเพราะมีรหัสที่มีอยู่มากมายที่ขึ้นอยู่กับการแปลงโดยนัยนั้นและการทำลายรหัสนั้น (อย่างน้อยก็ไม่มีคำเตือนอย่างเป็นทางการ) ดูเหมือนคณะกรรมการมาตรฐานเช่น ความคิดที่ไม่ดี

มันถูกต้องใน C ด้วยเหตุผลทางประวัติศาสตร์ C ระบุไว้ตามเนื้อผ้าว่าชนิดของสตริงตัวอักษรchar *มากกว่าconst char *แม้ว่าจะผ่านการรับรองโดยบอกว่าคุณไม่ได้รับอนุญาตให้แก้ไข

เมื่อคุณใช้งานแคสต์คุณจะต้องบอกคอมไพเลอร์ว่าคุณรู้ดีกว่ากฎการจับคู่ประเภทเริ่มต้นและทำให้การกำหนดนั้นเป็นจริง

คุณยังสามารถใช้strdup :

char* p = strdup("abc");