[C++基础]044_C++的成员函数本质

首先感谢bolow大神在我的博客[C++基础]028_获取类成员函数的指针里提的问题，跟bolow一起探讨得到了下面的答案。

首先看下面的程序：

#include <iostream>
using namespace std;
class A
{
public:
    int i;
    A():i(0){};
    int foo(){return i;}
};

class B
{
public:
    int j,k;
    B():j(1),k(2){}
    int foo(){return k;}
};

typedef int (B::*BFPTR)();
int main()
{
    int (A::*fptr)()= &A::foo;
    BFPTR bfptr1=(BFPTR) fptr;
    B b;
    A a;
    cout<<(b.*bfptr1)()<<endl;
}

22     int (A::*fptr)()= &A::foo;    将A函数的foo地址给以A为类的一个函数指针
23     BFPTR bfptr1=(BFPTR) fptr;    告诉编译器把上面的函数指针当作B的函数指针来看（A的函数指针转为B的函数指针）
24     B b;
25     A a;
26     cout<<(b.*bfptr1)()<<endl;    执行B的函数指针，其实这时候调用的是A的foo函数

输出结果：
  1

这里引出一个事实：所谓的类根本就没有成员函数一说，从内存布局上也能看出来，内存布局中只有成员变量的空间，并没有成员函数的内存空间。

这是为什么呢？ 那就需要知道成员函数到底是怎么被调用的。

我们看成员函数的调用：对象.成员函数() 或 对象指针->成员函数()

那成员函数实际上是如何被编译器声明的呢？ 成员函数(类， 参数) 比如我们有以下的类：

class A{
public:
     void foo(int a, int b){

      }
private:
     int value;
};

其实上面的类其实是像下面声明的：

class A{
private:
     int value;
};

void foo(void *ptr,  int a, int b){

}

当我们调用a.foo(1, 2)时，其实是下面的形式：

void foo(void *ptr,  int a, int b){...

可见，所谓的.运算符实际是把this指针传递给函数foo了。

 

那我们最开始的第一个程序里为什么会输出1呢？因为成员函数返回一个成员变量时，只是返回对象的首地址的偏移值。所以，返回了第一个参数1。

如果A类有三个参数，函数foo返回第三个参数时，那输出结果就不是所能预料的了。