class内部处理

class A  
{  
public:  
    int foo( )  {    return  val ;    }  
    static int staFun( )  {     return  staVal ;  }  
    static int staVal ;  
private:  
    int val ;  
    char bit1 ;  
} ;  
  
class B : public A  
{  
public:  
    char foo( )  {    return  bit2;    }  
private:  
    char bit2 ;  
};  

A objA ;  
A * ptr = & objA ;  
  
ptr->foo( ) ;   
objA.foo() ;  
//分别被转换为：  
foo_intA( ptr ) ;  
foo_intA( & objA ) ;   
 

objA.staFun( ) ;  
ptr->staFun( ) ;  
//会转换为：  
staFun_staticintvoid( ) ;  
staFun_staticintvoid( ) ;  

静态成员函数由于缺乏this指针，因此差不多等同于外部函数。只是它作用于类的静态数据成员上。

贰

单一继承且有虚函数的对象模型

例：

class A  
{  
public:  
    virtual int foo( )  {    return  val ;    }  
    virtual int funA( ) {}  
private:  
    int val ;  
    char bit1 ;  
} ;  
  
class B : public A  
{  
public:  
    virtual int foo( )  {    return  bit2;    }  
    virtual int funB( ) {}  
private:  
    char bit2 ;  
};  

一个class只要有一个虚函数，那么每一个class object被安插上一个由编译器内部产生的指针，指向该表格(virtual table)。

virtual table 的第一项是表示class的类型。

因为，基类指针的特殊性，它可以指向基类对象，也可以指向派生类对象。故：ptr->foo( ) ;这种调用，我们需要知道ptr所指对象的真实类型。（就算不知道ptr所指对象的类型，也可以正确调用fun函数，但是由于fun函数有编译器插入的this指针，this指针要与ptr指向的对象地址正确对应，以正确访问对象中的成员变量，但ptr中却没有这样的信息）

virtual table 之后的表格是class中的每个虚函数地址。

一个class只会有一个virtual table。派生类的virtual table是在基类的virtual table上增加，修改的。

派生类中的虚函数会改写(overriding)与基类中同名且参数相同的虚函数，把virtual table表中相应的基类虚函数地址改写为相应派生类虚函数的地址。

以上工作都是由编译器完成的。执行期要做的就是在特定的virtual table表项中激活相应的虚函数，然后根据virtual table首项的类型信息，正确执行此虚函数。

例如：ptr->foo( ) ;

一般而言，我并不知道ptr所指对象的真正类型。然而我知道。经由ptr可以存取到该对象的virtual table。

虽然我不知道哪一个foo( )实体会被调用，但我知道每一个foo( )函数的地址都放在虚表的第二项。

故：根据以上信息，编译器可以将该调用转化为：

( *ptr->vptr[1] )( ptr ) ;

【注意：】基类指针虽然可以指向派生类，但是它实际上指向的是派生类中的基类部分。（这就不违反指针的特性了，指针类型与其指向范围是一致的）故基类指针不能访问派生类的成员。（但基类指针可以通过访问派生类的虚函数，间接操作派生类成员）

 11111111111111111111111