首页 >后端开发 >C++ >为什么 C 语言中对 NULL 指针的非虚拟方法调用会成功,而虚拟方法调用会失败?

为什么 C 语言中对 NULL 指针的非虚拟方法调用会成功,而虚拟方法调用会失败?

Patricia Arquette
Patricia Arquette原创
2024-12-13 10:03:10472浏览

Why Do Non-Virtual Method Calls on NULL Pointers Succeed While Virtual Method Calls Fail in C  ?

通过 NULL 指针访问类成员:探索非虚拟方法行为

问题:

为什么 C 中非虚方法调用 NULL 指针会成功,而虚拟方法调用会使程序崩溃?

答案:

非虚拟方法行为:

当非在 NULL 指针上调用虚拟方法时,编译器生成直接调用该方法的实现的代码。这是通过向函数传递一个隐藏的“this”参数来实现的,在 NULL 指针的情况下,该参数不指向任何地方。但是,该方法本身不会尝试访问对象的任何成员,因此代码避免了对 NULL 指针的取消引用并按预期运行。

正式定义:

然而,值得注意的是,在 NULL 指针上调用任何方法在 C 中都被正式视为未定义行为。这意味着编译器可以对发生的情况做出任意选择,包括允许程序明显正确地运行。

虚拟方法行为:

虚拟方法调用需要 vtable查找以确定要调用哪个实现。 vtable 与实际对象关联,因此在没有关联 vtable 的 NULL 指针上调用虚拟方法会导致崩溃。

对象分配:

所提供代码中的变量“foo”是分配在主函数堆栈上的局部变量。但是,它是用 NULL 指针初始化的,表明它没有指向任何 Foo 类型的有效对象。

以上是为什么 C 语言中对 NULL 指针的非虚拟方法调用会成功,而虚拟方法调用会失败?的详细内容。更多信息请关注PHP中文网其他相关文章!

声明:
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn