为什么访问已删除的指针不会使程序崩溃？

Question

#include <iostream>
#include<list>

using namespace std;
template <class T>
class Ptr {
public:
    Ptr() {
        a = nullptr;
        l.push_back(0);
    }

std::list<int> l;
void print_this() {
    cout<<this<<endl;
}

protected:
    int *a;
};

int main()
{
    Ptr<int> *ptr = new Ptr<int>();
    delete ptr;
    //ptr = nullptr; //if uncomment this line will crash
    auto p = &(ptr->l);  
    cout<<"p is "<<p<<endl;
    ptr->print_this();
    ptr->l.push_back(1);
    cout<<"size is "<<ptr->l.size()<<endl;
    cout<<"end";
    return 0;
}

我在这里运行代码：https://www.programiz.com/cpp-programming/online-compiler/ 输出是：

p is 0x5628eb47deb0
0x5628eb47deb0
size is 2
end

如果我在删除后将 ptr 设置为 nullptr，它将在 push_back 处崩溃。但是当我访问列表时仍然可以。

我怎么可能将数据推送到一个悬空指针而不使其崩溃？？

Answer 1

当你有一个指向一个类的指针，并在它上面调用一个非虚函数时，无论指针处的地址是什么，都会被认为是 this 指针。即使它是零。只要您不尝试访问该地址的成员，打印此指针应该没有问题。

struct A {
    void printThis() {
        printf("%d\n", this);
    }
};

    int _tmain(int argc, _TCHAR* argv[])
    {
        A * a = (A*) 777;
        a->printThis(); // will print 777
    
        a = NULL;
        a->printThis(); // will print 0
    
        return 0;
    }

当你删除一个指针并且不将它的地址设置为空时，之前的地址值会被保留。

访问已删除的指针是未定义的行为。它不需要崩溃。可能只是您指向的随机数据在程序的其他地方具有某种意义。它甚至可能是您的旧数据。删除指针告诉系统它可以重用该内存，但它可能还没有时间重用它，因此旧数据仍然可见。

最后，当您取消注释您的行时，您的程序会崩溃，因为它设置 ptr = 0，并且 &(0x0000000->l) 是无效的内存引用。

Answer 2

删除后指针继续指向地址。您仍然可以使用指针，但地址中会有垃圾（大部分）。

#include <iostream>
using namespace std;
int main()
{
    int a = 1;
    int *ptr_a = &a;
    int *ptr = &a;
    cout << *ptr_a << endl;
    cout << *ptr << endl;
    delete ptr;
    *ptr_a = 2;
    cout << *ptr << endl;
}

结果：

1
1
2