我有以下代码 sn-p:
class ABC{
public:
int a;
void print(){cout<<"hello"<<endl;}
};
int main(){
ABC *ptr = NULL:
ptr->print();
return 0;
}
运行成功。谁能解释一下？
【问题讨论】：
print是虚拟的，它会崩溃（分段错误）！！阅读vtables
标签： c++
使用不指向有效对象的指针调用成员函数会导致未定义的行为。什么事情都可能发生。它可以运行；它可能会崩溃。
在这种情况下，它似乎可以工作，因为print 中没有使用未指向有效对象的this 指针。
【讨论】：
在底层，大多数编译器会将你的类转换成这样的：
struct _ABC_data{
int a ;
};
// table of member functions
void _ABC_print( _ABC_data* this );
其中_ABC_data 是C-style struct
您的电话ptr->print(); 将转换为：
_ABC_print(nullptr)
执行时没问题，因为您不使用this arg。
更新：（感谢 Windows 程序员right comment）
此类代码仅适用于执行它的 CPU。
绝对没有合理的理由来利用这个实现特性。因为：
static 关键字可以为您提供所有可移植性和编译时检查【讨论】：
this的模板类方法呢？有些可能是根据静态变量定义的，有些调用可能会以不同的方式分派/解析，等等。您可以知道一个方法将被（好像）静态定义，而不是如何定义，并且您仍然需要该值。这与您在decltype 下使用std::declval 的原因相同——您可以保证任何实例都会产生相同的结果，但不一定能做出这样的结果。哦，好吧，也许有一天会有办法。
大多数答案都说未定义的行为可以包括“看起来”在工作，他们是对的。
Alexander Malakhov 的回答给出了一些常见的实现细节，并解释了为什么你的情况似乎有效，但他做了一个轻微的错误陈述。他写道“执行时没问题，因为你不使用这个参数”，但意思是“执行时似乎没问题，因为你不使用这个参数”。
但请注意，您的代码仍然是未定义的行为。它打印了你想要的东西，并将你银行账户的余额转移到我的账户上。谢谢你。
（SO风格说这应该是一个评论，但它太长了。我把它写成CW了。）
【讨论】：
它会导致未定义的行为。我用bit of work 解释原因。 :) 但这是一个更具技术性的答案。
基本上，未定义的行为意味着您不再得到任何关于程序执行的保证； C++ 简直无话可说。它可以完全按照您的意愿工作，也可以惨遭崩溃，或者两者都随机发生。
所以似乎工作是未定义行为的完美结果，这就是您所看到的。实际原因是，在您的实现中（老实说，每个实现），this 指针（被调用的实例的地址）根本没有在您的函数中使用。也就是说，如果您尝试使用 this 指针（例如通过访问成员变量），您可能会崩溃。
请记住，上述段落是特定于您的实现的内容，并且是当前行为。这只是一个猜测，你不能依赖。
【讨论】：
表达式 ptr->print(); 将根据 C++ 标准 (5.2.5/3) 隐式转换为 (*ptr).print();。并且取消引用空指针会导致未定义的行为。幸运的是，有问题的代码在您的情况下没有错误。你不应该依赖它。
5.2.5/3：
如果 E1 的类型为“指向类的指针” X,” 那么表达式 E1->E2 是 转换为等价形式 (*(E1)).E2; 5.2.5 的剩余部分 将仅解决第一个选项 （点）59）。缩写 对象表达式。 id 表达式为 E1.E2，然后是类型和左值 这个表达式的属性是 确定如下。在里面 5.2.5的余数，cq代表 const 或没有 const； vq 代表 volatile 或 没有挥发物。 cv 代表一个 任意一组 cv 限定符，如 在 3.9.3 中定义。
【讨论】：
虽然我不确定这是否是确切的答案，但这是我的理解。 （另外，我的 CPP 术语不好 - 如果可能，请忽略它）
对于 C++，当声明任何类时（即尚未创建即时），函数将放置在正在创建的二进制文件的 .text 部分中。创建瞬间时，函数或方法不重复。也就是说，当编译器解析 CPP 文件时，它会将 ptr->print() 的函数调用替换为 .text 部分中定义的适当地址。
因此，编译器所要做的就是根据函数print 的ptr 的类型 替换适当的地址。 （这也意味着一些检查相关的公共/私有/继承等）
我为您的代码（名为test12.cpp）做了以下操作：
编辑：在下面添加一些 cmets 到 ASM（我真的_不_擅长 ASM，我几乎看不懂它 - 足以理解一些基本的东西） - 最好是阅读 this Wikibook link，我也是已经完成了：D 如果有人在 ASW 中发现错误，请发表评论 - 我很乐意修复它们并了解更多信息。
$ g++ test.cpp -S
$ cat test.s
...
// Following snippet is part of main function call
movl $0, -8(%ebp) //this is for creating the NULL pointer ABC* ptr=NULL
//It sets first 8 bytes on stack to '0'
movl -8(%ebp), %eax //Load the ptr pointer into eax register
movl %eax, (%esp) //Push the ptr on stack for using in function being called below
//This is being done assuming that these elements would be used
//in the print() function being called
call _ZN3ABC5printE //Call to print function after pushing arguments (which are none) and
//accesss pointer (ptr) on stack.
...
vWhereZN3ABC5printEv代表class ABC中定义的函数的全局定义：
...
.LC0: //This declares a label named .LC0
.string "hello" // String "hello" which was passed in print()
.section .text._ZN3ABC5printEv,"axG",@progbits,_ZN3ABC5printEv,comdat
.align 2
.weak _ZN3ABC5printEv //Not sure, but something to do with name mangling
.type _ZN3ABC5printEv, @function
_ZN3ABC5printEv: //Label for function print() with mangled name
//following is the function definition for print() function
.LFB1401: //One more lavbel
pushl %ebp //Save the 'last' known working frame pointer
.LCFI9:
movl %esp, %ebp //Set frame (base pointer ebp) to current stack top (esp)
.LCFI10:
subl $8, %esp //Allocating 8 bytes space on stack
.LCFI11:
movl $.LC0, 4(%esp) //Pushing the string represented by label .LC0 in
//in first 4 bytes of stack
movl $_ZSt4cout, (%esp) //Something to do with "cout<<" statement
call _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
movl $_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_, 4(%esp)
movl %eax, (%esp)
call _ZNSolsEPFRSoS_E //Probably call to some run time library for 'cout'
leave //end of print() function
ret //returning control back to main()
...
因此，即使((ABC *)0)->print(); 也能正常工作。
【讨论】：
可能它运行是因为您的类指针没有使用打印函数中的任何成员变量...如果在打印函数中您尝试访问它不会运行...因为未初始化的类指针不能具有初始化的成员变量。 ..
【讨论】：
正如其他人所说，这是未定义的行为。关于它似乎起作用的原因是您没有尝试访问print() 中的成员变量a。对于print() 的代码，该类的所有实例共享相同的内存，因此访问该方法不需要this 指针。但是，如果您尝试在方法内访问 a，您很可能会遇到访问冲突异常。
【讨论】：
这适用于我曾经尝试过的每个编译器（而且我已经尝试过很多）。是的，它是“未定义的”，但是当您调用非虚拟成员时，您并没有取消引用指针。您甚至可以使用此“功能”编写代码，尽管纯粹主义者会冲您大喊大叫并称您为讨厌的名字等。
编辑：这里关于调用成员函数似乎有些混乱。当您调用非虚拟成员时，您不会取消引用“this”指针。您只是使用花哨的语法将其作为参数传递。这是我见过的所有实现，但不能保证。如果没有以这种方式实现，您的代码会运行得更慢。成员函数只是一个带有额外半隐藏参数的函数。而已！故事结局。话虽如此，Cletus 的 slack jam software Co. 编写的一些编译器可能对此有问题，但我还没有遇到过。
这个比我用简单的词更能解释你。尝试使用任何你想要的编译器来编译它:) 但请注意，根据标准，它是 UB！
#include <iostream>
using namespace std;
class Armor
{
public:
void set(int data)
{
cout << "set("<<data<<")\n";
if(!this)
{
cout << "I am called on NULL object! I prefer to not crash!\n";
return;
}
this->data = data; //dereference it here
}
void get()
{
if(this) cout << "data = " << data << "\n";
else cout << "Trying to dereference null pointer detected!\n";
}
int data;
};
int main()
{
cout << "Hello World" << endl;
Armor a;
a.set(100);
a.get();
Armor* ptr1 = &a;
Armor* ptr2 = 0;
ptr1->set(111);
ptr2->set(222);
ptr1->get();
ptr2->get();
return 0;
}
然后阅读 __thiscall - 以及上面的所有 cmets。
Hello World
set(100)
data = 100
set(111)
set(222)
I am called on NULL object! I prefer to not crash!
data = 111
Trying to dereference null pointer detected!
【讨论】：