C++类的成员函数存储方式（是否属于类的对象）

今天在看TAF源码的时候，发现下面一段有趣的代码：

getSmallerProxyPrx =  Application::getCommunicator()->stringToProxy<GetSmallerPrx>(MobileAssist.JiangeSmallerServer.GetSmaller);

//此处T为GetSmallerPrx
template<class T> T stringToProxy(const string& objectName,const string& setName="")
{
    T prx = NULL;
    stringToProxy<T>(objectName, prx,setName);
    return prx;
}

//此处T为GetSmallerPrx
template<class T> void stringToProxy(const string& objectName, T& proxy,const string& setName="")
{
    //getServantProxy中new ServantProxy()并返回
    ServantProxy * pServantProxy = getServantProxy(objectName,setName);
    //将ServantProxy类型的指针强制转换为GetSmallerProxy类型的指针
    //并放入GetSmallerProxy类型的智能指针中
    proxy = (typename T::element_type*)(pServantProxy);
}

我们看一看这行代码：

proxy = (typename T::element_type*)(pServantProxy);

此处的proxy 的类型是T，具体来说就是GetSmallerPrx
（更具体的说，是taf::TC_AutoPtr < MobileAssist::GetSmallerProxy >）。
而pServantProxy的类型是ServantProxy *。

(typename T::element_type*)(pServantProxy)

将ServantProxy 类型的指针强制转换成GetSmallerProxy类型的指针，而ServantProxy是GetSmallerProxy的基类——我的第一反应是——这是非常危险的！比如如果GetSmallerProxy访问了某个ServantProxy没有的成员变量，将造成越界访问。

不过事实上，上面的假设并不成立——GetSmallerProxy没有新的成员变量。

但是有新的成员函数——而事实是，子类特有的成员函数是可以正常访问的：

这是不是说明，类的成员函数并不占用类对象的内存空间（如果占用的话，此处的访问将越界）。

所以我做了一个简单的实验：

#include <iostream>

using namespace std;
 class A { public: A(){} ~A(){} }; class B { public: B(){} virtual ~B(){} }; class C { public: C() {} ~C() {} int add(int a, int b) { return a+b; } }; int main() { cout << "Size(A) = " << sizeof(A) << endl; cout << "Size(B) = " << sizeof(B) << endl; cout << "Size(C) = " << sizeof(C) << endl; return 0; } ./testClassFun Size(A) = 1 Size(B) = 8 Size(C) = 1

结论：成员函数是不占用类对象内存空间的。

一般情况下，同一个类的不同对象，共享成员函数的代码。成员函数的代码存储在对象空间之外。换句话说，成员函数的代码，都不占据对象的存储空间。所以类的成员函数，对于类来讲，一方面是逻辑上的“属于”，一方面是物理上的“不依赖”。

所以如果成员函数未使用任何成员变量的话，不管是不是static的，都能正常工作。在调用成员函数时，将this指针传给函数以指明以哪个类对象调用。

因此，前面的类型向下转换是没问题的，并不会造成越界访问~