Một cuốn sách C ++ tôi đã đọc được rằng khi một con trỏ bị xóa bằng deletetoán tử, bộ nhớ tại vị trí mà nó đang trỏ đến là "được giải phóng" và nó có thể bị ghi đè. Nó cũng nói rằng con trỏ sẽ tiếp tục trỏ đến cùng một vị trí cho đến khi nó được gán lại hoặc được đặt thành NULL.

Trong Visual Studio 2012 tuy nhiên; Điều này dường như không phải là trường hợp!

Thí dụ:

#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;
}

Khi tôi biên dịch và chạy chương trình này, tôi nhận được kết quả sau:

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

Rõ ràng địa chỉ mà con trỏ đang trỏ đến thay đổi khi xóa được gọi!

Tại sao chuyện này đang xảy ra? Điều này có liên quan gì đến Visual Studio không?

Và nếu xóa có thể thay đổi địa chỉ mà nó đang trỏ đến dù sao, tại sao xóa sẽ tự động đặt con trỏ thành NULLthay vì một số địa chỉ ngẫu nhiên?

Tôi nhận thấy rằng địa chỉ được lưu trữ ptrluôn bị ghi đè bằng 00008123...

Điều này có vẻ kỳ lạ, vì vậy tôi đã đào một ít và tìm thấy bài đăng trên blog của Microsoft này có một phần thảo luận về "Vệ sinh con trỏ tự động khi xóa các đối tượng C ++".

... kiểm tra cho NULL là một cấu trúc mã phổ biến có nghĩa là kiểm tra NULL hiện có kết hợp với sử dụng NULL làm giá trị khử trùng có thể che giấu một vấn đề an toàn bộ nhớ chính hãng mà nguyên nhân thực sự cần giải quyết.

Vì lý do này, chúng tôi đã chọn 0x8123 làm giá trị khử trùng - từ góc độ hệ điều hành, đây là trang cùng bộ nhớ với địa chỉ 0 (NULL), nhưng vi phạm truy cập tại 0x8123 sẽ tốt hơn cho nhà phát triển vì cần chú ý chi tiết hơn .

Nó không chỉ giải thích những gì Visual Studio làm với con trỏ sau khi bị xóa, nó còn trả lời tại sao họ chọn KHÔNG đặt nó thành NULLtự động!

"Tính năng" này được bật như một phần của cài đặt "kiểm tra SDL". Để bật / tắt, hãy truy cập: DỰ ÁN -> Thuộc tính -> Thuộc tính cấu hình -> C / C ++ -> Chung -> Kiểm tra SDL

Để xác nhận điều này:

Thay đổi cài đặt này và chạy lại cùng một mã tạo ra đầu ra sau:

ptr = 007CBC10
ptr = 007CBC10

"Tính năng" nằm trong dấu ngoặc kép vì trong trường hợp bạn có hai con trỏ đến cùng một vị trí, việc gọi xóa sẽ chỉ vệ sinh MỘT trong số chúng. Một cái khác sẽ được để lại chỉ vào vị trí không hợp lệ ...

CẬP NHẬT:

Sau 5 năm kinh nghiệm lập trình C ++, tôi nhận ra toàn bộ vấn đề này về cơ bản là một điểm cần thiết. Nếu bạn là một lập trình viên C ++ và vẫn đang sử dụng newvà deleteđể quản lý các con trỏ thô thay vì sử dụng các con trỏ thông minh (phá vỡ toàn bộ vấn đề này), bạn có thể muốn xem xét một sự thay đổi trong con đường sự nghiệp để trở thành một lập trình viên C. ;)

Bạn thấy các tác dụng phụ của /sdltùy chọn biên dịch. Được bật theo mặc định cho các dự án VS2015, nó cho phép kiểm tra bảo mật bổ sung ngoài các dự án được cung cấp bởi / gs. Sử dụng Project> Properties> C / C ++> General> SDL kiểm tra cài đặt để thay đổi nó.

Trích dẫn từ bài viết MSDN :

• Thực hiện vệ sinh con trỏ hạn chế. Trong các biểu thức không liên quan đến các hội nghị và trong các loại không có hàm hủy do người dùng định nghĩa, các tham chiếu con trỏ được đặt thành một địa chỉ không hợp lệ sau khi gọi để xóa. Điều này giúp ngăn chặn việc tái sử dụng các tham chiếu con trỏ cũ.

Hãy nhớ rằng việc đặt các con trỏ bị xóa thành NULL là một cách làm không tốt khi bạn sử dụng MSVC. Nó đánh bại sự giúp đỡ bạn nhận được từ cả tùy chọn Debug Heap và / sdl này, bạn không còn có thể phát hiện các cuộc gọi miễn phí / xóa không hợp lệ trong chương trình của mình.

Nó cũng nói rằng con trỏ sẽ tiếp tục trỏ đến cùng một vị trí cho đến khi nó được gán lại hoặc được đặt thành NULL.

Đó chắc chắn là thông tin sai lệch.

Rõ ràng địa chỉ mà con trỏ đang trỏ đến thay đổi khi xóa được gọi!

Tại sao chuyện này đang xảy ra? Điều này có liên quan gì đến Visual Studio không?

Điều này rõ ràng trong các thông số kỹ thuật ngôn ngữ. ptrkhông hợp lệ sau khi gọi đến delete. Sử dụng ptrsau khi nó đã được deleted là nguyên nhân cho hành vi không xác định. Đừng làm điều đó. Môi trường thời gian chạy là miễn phí để làm bất cứ điều gì nó muốn với ptrsau khi gọi đến delete.

Và nếu xóa có thể thay đổi địa chỉ mà nó đang trỏ đến dù sao, tại sao xóa sẽ tự động đặt con trỏ thành NULL thay vì một số địa chỉ ngẫu nhiên ???

Thay đổi giá trị của con trỏ thành bất kỳ giá trị cũ nào nằm trong đặc tả ngôn ngữ. Theo như thay đổi nó thành NULL, tôi sẽ nói, điều đó sẽ rất tệ. Chương trình sẽ hoạt động theo cách lành mạnh hơn nếu giá trị của con trỏ được đặt thành NULL. Tuy nhiên, điều đó sẽ che giấu vấn đề. Khi chương trình được biên dịch với các cài đặt tối ưu hóa khác nhau hoặc được chuyển sang một môi trường khác, vấn đề có thể sẽ xuất hiện trong thời điểm không thuận lợi nhất.

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

Nói chung, ngay cả việc đọc (như bạn làm ở trên, lưu ý: giá trị này khác với các giá trị của hội nghị) của các con trỏ không hợp lệ (ví dụ con trỏ trở nên không hợp lệ khi bạn deletethực hiện) là hành vi được xác định. Điều này đã được giới thiệu trong CWG # 1438 . Xem thêm tại đây .

Xin lưu ý rằng trước đó việc đọc các giá trị của con trỏ không hợp lệ là hành vi không xác định, vì vậy những gì bạn có ở trên sẽ là hành vi không xác định, có nghĩa là bất cứ điều gì cũng có thể xảy ra.

Tôi tin rằng, bạn đang chạy một số loại chế độ gỡ lỗi và VS đang cố gắng đưa con trỏ của bạn đến một vị trí đã biết, do đó, nỗ lực tiếp tục đăng ký lại nó có thể được theo dõi và báo cáo. Hãy thử biên dịch / chạy cùng một chương trình trong chế độ phát hành.

Con trỏ thường không được thay đổi bên trong deletevì mục đích hiệu quả và để tránh đưa ra một ý tưởng sai lầm về an toàn. Đặt con trỏ xóa thành giá trị được xác định trước sẽ không tốt trong hầu hết các tình huống phức tạp, vì con trỏ bị xóa có khả năng chỉ là một trong số nhiều điểm trỏ đến vị trí này.

Như một vấn đề thực tế, tôi càng nghĩ về nó, tôi càng thấy rằng VS có lỗi khi làm như vậy, như thường lệ. Nếu con trỏ là const thì sao? Nó vẫn sẽ thay đổi nó?

Sau khi xóa con trỏ, bộ nhớ mà nó trỏ tới vẫn có thể hợp lệ. Để hiển thị lỗi này, giá trị con trỏ được đặt thành giá trị rõ ràng. Điều này thực sự giúp quá trình gỡ lỗi. Nếu giá trị được đặt thành NULL, nó có thể không bao giờ xuất hiện dưới dạng lỗi tiềm ẩn trong luồng chương trình. Vì vậy, nó có thể ẩn một lỗi khi bạn kiểm tra sau này NULL.

Một điểm khác là, một số trình tối ưu hóa thời gian chạy có thể kiểm tra giá trị đó và thay đổi kết quả của nó.

Trong thời gian trước đó MS đặt giá trị thành 0xcfffffff.