为何unique_ptr销毁后原始指针仍可调用成员方法？

核心原因：非虚成员函数的调用机制与未定义行为 #

你观察到的现象本质是C++中非虚成员函数的调用逻辑，以及未定义行为的偶然性：

1. 非虚成员函数的调用不依赖对象内存的有效性（无成员访问时）
   对于非虚成员函数，编译器在编译阶段就已经确定了函数的地址，调用testPtr->testMethod()实际上会被编译为类似Test::testMethod(testPtr)的形式——这里的testPtr只是作为隐含的this指针传递给函数。如果函数内部没有访问对象的成员变量（比如第一个例子里只是输出字符串），那么即使this指针指向的内存已经被释放，函数依然能正常执行，因为它不需要读取或写入那块无效内存。

2. 访问成员变量时的未定义行为
   第二个例子中，修改number成员变量还能运行，这属于典型的未定义行为。内存被delete后，操作系统并不会立即回收或覆盖这块内存的内容，所以短时间内可能还能读取到旧数据，甚至写入也不会触发错误。但这种情况完全是偶然的，程序可能在不同环境、不同编译器、甚至同一程序的多次运行中出现崩溃、输出错误值或其他不可预测的结果，绝对不能依赖这种行为。

3. 关于unique_ptr的销毁逻辑
   你理解的没错：unique_ptr离开作用域时会自动调用delete释放关联的指针，此时testPtr就变成了悬空指针——指向已经被释放的内存区域，后续对它的任何操作都是非法的。

如何避免或检测悬空指针？ #

C++本身没有提供直接检测悬空指针的方法（因为指针仅存储内存地址，无法判断该地址的内存是否仍属于当前程序），但可以通过以下方式规避问题：

• 严格遵循RAII原则，优先使用智能指针（如unique_ptr、shared_ptr）管理内存，避免直接操作裸指针；
• 如果必须使用裸指针，在释放内存后立即将指针置为nullptr，后续可以通过if (ptr != nullptr)判断指针是否为空（注意：这只能判断指针是否为空，无法检测悬空）；
• 调试阶段使用地址 sanitizer（如GCC/Clang的-fsanitize=address选项），它能自动检测悬空指针的使用，帮助你定位问题。

关键结论 #

操作悬空指针属于C标准定义的未定义行为，程序的任何表现都是不可预测的。永远不要在对象销毁后使用指向它的指针，这是C内存管理的基本准则。

内容的提问来源于stack exchange，提问作者Roman Leshchuk