หนังสือ C ++ ที่ฉันอ่านระบุว่าเมื่อตัวชี้ถูกลบโดยใช้deleteโอเปอเรเตอร์หน่วยความจำในตำแหน่งที่ชี้ไปนั้น "ว่าง" และสามารถเขียนทับได้ NULLนอกจากนี้ยังระบุว่าตัวชี้จะยังคงชี้ไปที่สถานที่เดียวกันจนกว่าจะมีพระราชเสาวนีย์หรือตั้งค่า

ใน Visual Studio 2012 อย่างไรก็ตาม ดูเหมือนจะไม่เป็นเช่นนั้น!

ตัวอย่าง:

#include <iostream>

using namespace std;

int main()
{
    int* ptr = new int;
    cout << "ptr = " << ptr << endl;
    delete ptr;
    cout << "ptr = " << ptr << endl;

    system("pause");

    return 0;
}

เมื่อฉันคอมไพล์และรันโปรแกรมนี้ฉันจะได้ผลลัพธ์ดังต่อไปนี้:

ptr = 0050BC10
ptr = 00008123
Press any key to continue....

ระบุที่อยู่ที่พอยน์เตอร์ชี้ไปอย่างชัดเจนเมื่อมีการเรียกลบ!

เหตุใดจึงเกิดขึ้น สิ่งนี้เกี่ยวข้องกับ Visual Studio โดยเฉพาะหรือไม่?

และถ้าลบสามารถเปลี่ยนที่อยู่ที่ชี้ไปยังไงก็ได้ทำไมไม่ลบโดยอัตโนมัติตั้งค่าตัวชี้เป็นNULLแทนที่จะเป็นที่อยู่แบบสุ่ม

ฉันสังเกตเห็นว่าที่อยู่ที่เก็บไว้ptrมักจะถูกเขียนทับด้วย00008123...

สิ่งนี้ดูแปลกดังนั้นฉันจึงขุดคุ้ยเล็กน้อยและพบว่าบล็อกโพสต์ของ Microsoftนี้มีส่วนที่พูดถึง "การฆ่าเชื้อตัวชี้อัตโนมัติเมื่อลบวัตถุ C ++"

... การตรวจสอบค่า NULL เป็นการสร้างรหัสทั่วไปซึ่งหมายความว่าการตรวจสอบค่า NULL ที่มีอยู่รวมกับการใช้ค่า NULL เป็นค่าการฆ่าเชื้อสามารถซ่อนปัญหาด้านความปลอดภัยของหน่วยความจำของแท้ได้โดยบังเอิญซึ่งสาเหตุที่แท้จริงต้องการการแก้ไข

ด้วยเหตุนี้เราจึงเลือก 0x8123 เป็นค่าการฆ่าเชื้อ - จากมุมมองของระบบปฏิบัติการซึ่งอยู่ในหน้าหน่วยความจำเดียวกับที่อยู่ศูนย์ (NULL) แต่การละเมิดการเข้าถึงที่ 0x8123 จะโดดเด่นกว่าสำหรับนักพัฒนาเนื่องจากต้องการการเอาใจใส่โดยละเอียดมากขึ้น .

ไม่เพียง แต่อธิบายว่า Visual Studio ทำอะไรกับตัวชี้หลังจากที่ลบไปแล้วยังตอบได้ว่าทำไมพวกเขาถึงเลือกไม่ตั้งค่าเป็นNULLอัตโนมัติอีกด้วย!

"คุณลักษณะ" นี้เปิดใช้เป็นส่วนหนึ่งของการตั้งค่า "การตรวจสอบ SDL" ในการเปิด / ปิดการใช้งานให้ไปที่: PROJECT -> Properties -> Configuration Properties -> C / C ++ -> General -> การตรวจสอบ SDL

เพื่อยืนยันสิ่งนี้:

การเปลี่ยนการตั้งค่านี้และการรันโค้ดเดิมซ้ำจะสร้างผลลัพธ์ต่อไปนี้:

ptr = 007CBC10
ptr = 007CBC10

"คุณลักษณะ" อยู่ในเครื่องหมายคำพูดเพราะในกรณีที่คุณมีตัวชี้สองตัวไปยังตำแหน่งเดียวกันการเรียกลบจะล้างเพียงหนึ่งในนั้น อีกอันจะถูกปล่อยให้ชี้ไปยังตำแหน่งที่ไม่ถูกต้อง ...

UPDATE:

หลังจากประสบการณ์การเขียนโปรแกรม C ++ อีก 5 ปีฉันตระหนักดีว่าปัญหาทั้งหมดนี้เป็นจุดที่สงสัย หากคุณเป็นโปรแกรมเมอร์ C ++ และยังคงใช้งานnewและdeleteจัดการตัวชี้ดิบแทนการใช้ตัวชี้อัจฉริยะ (ซึ่งหลีกเลี่ยงปัญหานี้ทั้งหมด) คุณอาจต้องการพิจารณาเปลี่ยนเส้นทางอาชีพเพื่อเป็นโปรแกรมเมอร์ C ;)

คุณจะเห็นผลข้างเคียงของ/sdlตัวเลือกการคอมไพล์ เปิดใช้งานโดยค่าเริ่มต้นสำหรับโครงการ VS2015 ซึ่งจะเปิดใช้งานการตรวจสอบความปลอดภัยเพิ่มเติมนอกเหนือจากที่ / gs มีให้ ใช้โครงการ> คุณสมบัติ> C / C ++> ทั่วไป> การตั้งค่าการตรวจสอบ SDL เพื่อแก้ไข

อ้างจากบทความ MSDN :

• ดำเนินการฆ่าเชื้อตัวชี้อย่าง จำกัด ในนิพจน์ที่ไม่เกี่ยวข้องกับ dereferences และในประเภทที่ไม่มี destructor ที่ผู้ใช้กำหนดการอ้างอิงตัวชี้จะถูกตั้งค่าเป็นแอดเดรสที่ไม่ถูกต้องหลังจากการเรียกให้ลบ ซึ่งจะช่วยป้องกันการนำการอ้างอิงตัวชี้เก่ามาใช้ซ้ำ

โปรดทราบว่าการตั้งค่าพอยน์เตอร์ที่ถูกลบเป็น NULL เป็นการปฏิบัติที่ไม่ดีเมื่อคุณใช้ MSVC มันเอาชนะความช่วยเหลือที่คุณได้รับจากทั้ง Debug Heap และตัวเลือก / sdl นี้คุณไม่สามารถตรวจจับการโทรฟรี / ลบที่ไม่ถูกต้องในโปรแกรมของคุณได้อีกต่อไป

นอกจากนี้ยังระบุว่าตัวชี้จะยังคงชี้ไปยังตำแหน่งเดิมจนกว่าจะถูกกำหนดใหม่หรือตั้งค่าเป็น NULL

นั่นเป็นข้อมูลที่ทำให้เข้าใจผิดแน่นอน

ระบุที่อยู่ที่พอยน์เตอร์ชี้ไปอย่างชัดเจนเมื่อมีการเรียกลบ!

เหตุใดจึงเกิดขึ้น สิ่งนี้เกี่ยวข้องกับ Visual Studio โดยเฉพาะหรือไม่?

สิ่งนี้อยู่ในข้อกำหนดของภาษาอย่างชัดเจน ไม่ถูกต้องหลังจากการเรียกร้องให้ptr deleteการใช้ptrหลังจากได้รับdeleted เป็นสาเหตุของพฤติกรรมที่ไม่ได้กำหนด อย่าทำ สภาพแวดล้อมเวลาทำงานมีอิสระที่จะทำสิ่งที่มันต้องการที่จะมีหลังจากที่โทรไปptrdelete

และถ้าลบสามารถเปลี่ยนที่อยู่ที่ชี้ไปยังไงก็ได้ทำไมไม่ลบโดยอัตโนมัติตั้งค่าตัวชี้เป็น NULL แทนที่จะเป็นที่อยู่แบบสุ่ม ???

การเปลี่ยนค่าของตัวชี้เป็นค่าเก่าจะอยู่ในข้อกำหนดของภาษา เท่าที่เปลี่ยนเป็น NULL บอกเลยว่าจะแย่ โปรแกรมจะทำงานในลักษณะที่มีเหตุผลมากขึ้นหากตั้งค่าของตัวชี้เป็น NULL อย่างไรก็ตามนั่นจะซ่อนปัญหา เมื่อโปรแกรมถูกคอมไพล์ด้วยการตั้งค่าการปรับให้เหมาะสมที่แตกต่างกันหรือย้ายไปยังสภาพแวดล้อมที่แตกต่างกันปัญหาจะปรากฏขึ้นในช่วงเวลาที่ไม่เหมาะสมที่สุด

delete ptr;
cout << "ptr = " << ptr << endl;

โดยทั่วไปแล้วการอ่าน (เช่นเดียวกับที่คุณทำข้างต้นหมายเหตุ: สิ่งนี้แตกต่างจากการยกเลิกการอ้างอิง) ค่าของตัวชี้ที่ไม่ถูกต้อง (ตัวชี้จะไม่ถูกต้องเช่นเมื่อคุณdeleteใช้) เป็นพฤติกรรมที่กำหนดการนำไปใช้งาน นี้เป็นที่รู้จักในCWG # ดูเพิ่มเติมที่นี่

โปรดทราบว่าก่อนหน้านั้นการอ่านค่าของตัวชี้ที่ไม่ถูกต้องเป็นพฤติกรรมที่ไม่ได้กำหนดไว้ดังนั้นสิ่งที่คุณมีข้างต้นจึงเป็นพฤติกรรมที่ไม่ได้กำหนดซึ่งหมายความว่าทุกอย่างอาจเกิดขึ้นได้

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

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

ตามความเป็นจริงยิ่งฉันคิดเกี่ยวกับเรื่องนี้มากเท่าไหร่ฉันก็ยิ่งพบว่า VS เป็นฝ่ายผิดเมื่อทำเช่นนั้นตามปกติ จะเกิดอะไรขึ้นถ้าตัวชี้เป็น const? มันยังจะเปลี่ยนไหม

หลังจากลบตัวชี้หน่วยความจำที่ชี้ไปอาจยังใช้ได้ เพื่อแสดงข้อผิดพลาดนี้ค่าตัวชี้จะถูกกำหนดเป็นค่าที่ชัดเจน สิ่งนี้ช่วยกระบวนการดีบักได้มาก หากตั้งค่าเป็นค่าNULLนี้อาจไม่แสดงเป็นจุดบกพร่องที่อาจเกิดขึ้นในขั้นตอนของโปรแกรม NULLดังนั้นจึงอาจซ่อนข้อผิดพลาดเมื่อคุณทดสอบภายหลังกับ

อีกประเด็นหนึ่งคือเครื่องมือเพิ่มประสิทธิภาพรันไทม์บางตัวอาจตรวจสอบค่านั้นและเปลี่ยนแปลงผลลัพธ์

ในช่วงเวลาก่อนหน้านี้ MS ตั้งค่าเป็น0xcfffffff.