类或Struct中的非静态函数被编译成全局函数

原创于 2011-07-07 21:03:40 发布 · 532 阅读

CC 4.0 BY-SA版权

文章标签：

本文通过一段C++代码示例，详细解释了类或结构体中的非静态成员函数如何被编译器处理，特别是在调用未使用成员变量的成员函数时的行为。通过实例演示了即使指向空指针的成员函数也能成功调用的现象，并解析了背后的原因。

如下代码（来自csdn）

struct X
{
    
    void Method()
    {
        cout<<"Method";
    }
};
...

X*p=NULL;
try{
    p->Method();
}
catch(...)
{
    cout<<"Exception";
}

编译运行后，输出如下：Method，怎么会呢？一下分析来自csnd

类或是Struct中的非静态函数被C++编译器重编成一个全局函数Method(参数，this);
p->Method();经编译器编译，实际上就是调用X::Method()

只要Method不访问Struct中的成员变量就没问题，类也一样。

为了效率，C++的类的非静态成员函数被设计为全局函数，调用时会将类指针当参数传递，Visual Studio中一般使用ecx寄存器作this指针，如果函数内你没有使用成员变量，就不会使用this指针
参考《深度探索C++对象模型》