通过 NULL 指针访问类成员:探索非虚拟方法行为
问题:
为什么 C 中非虚方法调用 NULL 指针会成功,而虚拟方法调用会使程序崩溃?
答案:
非虚拟方法行为:
当非在 NULL 指针上调用虚拟方法时,编译器生成直接调用该方法的实现的代码。这是通过向函数传递一个隐藏的“this”参数来实现的,在 NULL 指针的情况下,该参数不指向任何地方。但是,该方法本身不会尝试访问对象的任何成员,因此代码避免了对 NULL 指针的取消引用并按预期运行。
正式定义:
然而,值得注意的是,在 NULL 指针上调用任何方法在 C 中都被正式视为未定义行为。这意味着编译器可以对发生的情况做出任意选择,包括允许程序明显正确地运行。
虚拟方法行为:
虚拟方法调用需要 vtable查找以确定要调用哪个实现。 vtable 与实际对象关联,因此在没有关联 vtable 的 NULL 指针上调用虚拟方法会导致崩溃。
对象分配:
所提供代码中的变量“foo”是分配在主函数堆栈上的局部变量。但是,它是用 NULL 指针初始化的,表明它没有指向任何 Foo 类型的有效对象。
以上是为什么 C 语言中对 NULL 指针的非虚拟方法调用会成功,而虚拟方法调用会失败?的详细内容。更多信息请关注PHP中文网其他相关文章!