C++中std::bind绑定空this指针未崩溃的原因探究

你遇到的“delete对象并置空指针后，绑定空指针调用成员函数不崩溃”的现象，属于标准明确规定的未定义行为（UB），既不是编译器优化导致的预期结果，也不是std::bind的设计特性，只是当前代码场景下恰好没有触发崩溃而已。

原因说明 #

• 从C++语言规则层面：对已经delete的对象指针解引用、用空指针作为this指针调用成员函数，都是明确的未定义行为。标准对这类行为不做任何保证——程序可能正常运行、可能崩溃、可能输出异常值、也可能静默破坏其他内存数据，任何结果都符合标准定义。
• 为什么当前代码没崩溃：你实现的Test::globalReset是普通非虚成员函数，且函数内部没有访问任何Test类的非静态成员变量、也没有调用类的其他虚方法。在绝大多数主流C++编译器的实现中，普通非虚成员函数的地址在编译期就已固定，调用时本质是把传入的this指针作为隐式第一个参数传给函数，不会主动校验this指针是否合法。由于你的函数全程没有用到this指针去读写对象内存，自然不会触发内存访问违例（段错误），所以看起来“正常运行”。如果该函数是虚函数，调用时需要通过this指针查找对象的虚函数表指针，空指针会立刻触发非法内存访问，基本都会直接崩溃。
• 和std::bind机制无关：std::bind的作用只是把你传入的成员函数地址、实例指针、占位符打包存储为可调用对象，触发调用时把存储的指针作为this传给成员函数即可，它本身没有校验指针合法性的逻辑，也不会为你传入的悬空指针、空指针做任何兜底处理。
• 和编译器优化无关：哪怕你关闭所有编译优化（比如GCC/Clang下加-O0参数），只要成员函数不访问this指向的内存，这段代码大概率还是不会崩溃；反过来如果你给Test类加一个非静态成员变量，在globalReset中读写这个成员，那无论开什么优化等级，调用时几乎必然触发崩溃。

注意：绝对不要在实际生产代码中依赖这种“不崩溃”的偶然表现。未定义行为的结果是不可预测的，哪怕当前版本、当前编译选项下运行正常，换个编译器版本、改点无关代码、调整下编译选项都可能直接崩溃或者出现难以排查的内存错误。

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