C++类函数深入理解

最近在做Android 播放器的项目，native 需要用到C++，遇到一个有意思的问题，先mark下。

先看一段代码：

class A{public:    int v;    public:    A():v(0){}    void print() const    {        printf("%s enter. this=%p\n", __func__, this);    }};int main(int argc, const char * argv[]){    A* a = NULL;    A* a1 = new A();    A a2;        //printf("a1->print = %p\n", &a1->print); // compile error    //printf("a2.print = %p\n", &a2.print); // compile error    //printf("A::print = %p\n", A::print); // compile error    printf("&A::print = %p\n", &A::print);    a->print();    a->v = 1;        return 0;}

执行结果：

&A::print = 0x100000eb0print enter. this=0x0

a->v = 1;  // 空指针

那么问题来了。一般情况下，a=NULL, 为空指针，访问a都是非法的。但是 

1. a->v = 1; --> crash （这里没有任何问题，a为空指针，并未实例化）

2. a->print(); --> 输出 "print enter. this=0x0"

这是一个有意思的问题。我们先来看上面有4行printf() ，前面2个printf() 都是编译错误。

//printf("a1->print = %p\n", &a1->print); // compile error//printf("a2.print = %p\n", &a2.print); // compile error

只有最后一个 

printf("&A::print = %p\n", &A::print);

能正确输出类函数地址，从以上现象可以看出，类函数并不是和类实例绑定的，它是编译后固有的，存储在代码段，是只读的。执行

$nm ./test

可以看到其中一行信息：

0000000100000eb0 t __ZNK1A5printEv

这个正是 &A::print 的地址。其实C++的类函数本质上跟C函数一样，只是默认增加了this 参数。

例如上面的 

void A::print();

等价于

void __ZNK1A5printEv(A* this);

这样理解也就没有问题了。a->print(); 只是查找到 &A::print 在代码段的地址，调用该函数，并把 （a=NULL）作为参数传入，输出的 this=0x0，也是证实了这一点。

而对于 A::v 变量，它是和类实例绑定的，只有生成了实例，A::v 才有对应的内存空间。所以访问A::v 的时候，必须保证已经实例化。