C++中通过悬垂指针调用函数是否属于未定义行为？

好问题！这绝对是C++里最容易让人踩坑的模糊点之一，尤其是刚接触UB（未定义行为）概念的时候，很容易被“代码能运行”的假象误导。

先直接给你结论：哪怕你调用的成员函数完全没有访问悬垂指针指向对象的任何成员数据，这种操作仍然属于未定义行为，你的理解确实存在一点偏差。

为什么会这样？ #

要搞懂这个，得回到C++标准对无效指针的定义：当一个指针指向的对象已经被销毁（比如用delete释放了），这个指针就变成了“无效指针”。标准明确规定，任何使用无效指针的操作——包括通过它调用成员函数——都属于未定义行为，不管你有没有实际读写对象的内存。

举个典型的例子：

#include <iostream>
class Foo {
public:
    void print_hello() {
        std::cout << "Hello World!" << std::endl;
    }
};

int main() {
    Foo* ptr = new Foo;
    delete ptr; // 此时ptr变成悬垂指针
    ptr->print_hello(); // 这行是UB！
}

你大概率会发现这段代码能正常输出"Hello World!"，但这只是未定义行为的一种“幸运”表现而已。编译器完全可以对这段代码做任何优化：比如直接跳过函数调用、触发程序崩溃，甚至在更复杂的场景下产生完全不可预料的结果。

深层原因：this指针的存在 #

哪怕是非虚成员函数，调用时编译器都会把当前对象的指针作为this参数传递给函数。虽然在上面的例子里，print_hello()根本没用到this指针，但标准并没有保证“传递一个无效的this指针是安全的”。编译器可能会基于“指针必须有效”的假设做优化，一旦这个假设不成立，代码行为就完全不受控制了。

例外情况：静态成员函数 #

如果是调用静态成员函数，那情况就不一样了。静态成员函数不需要this指针，调用ptr->static_func()本质上和Foo::static_func()是等价的，这种情况下不属于未定义行为——当然前提是静态函数本身没有访问任何无效对象的成员。

最后再强调一次 #

未定义行为的核心是：标准不保证任何结果。代码能运行只是巧合，不能因为某次运行成功就认为这种写法合法。哪怕看起来“没用到对象内存”，只要用了悬垂指针调用成员函数，就是UB，绝对不能依赖这种行为。

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