1、member的各种调用方式
(1)nonstaticmember functions
C++的设计准则之一就是:非静态成员函数至少必须和一般的非成员函数有相同的效率,编译器内部将成员函数转换为对等的非成员函数实体。通过安插this指针和mangling等完成。
(2)namemangling(名字的特殊处理)
使名字独一无二,函数的signature为函数名称+参数个数+参数类型;
(3)virtualmember functions
通过vptr来调用。有时inline会极大地提高效率。
(4)staticmember function
注意一个问题:如果class设计staticdata member声明为nonpublic,那么必须提供一个member function 来存取该member,虽然可以不依靠classobject来存取staticmember,但存取函数必须绑定于一个classobject上。此时引入了staticmember function。
主要特性是没有this指针。注意它不能直接存取nonstatic members;不能被声明为const、volatile或virtual;不需要经由classobject才被调用(但是可以)。
对其取地址,得到的是在内存中的地址,是一个nonmember函数的指针。
2、virtual function members
(1)单一继承时
当一个类派生自另一个类,一共会有三种可能:
它可以继承base class所声明的virtualfunctions的函数体,正确的说是该函数体的地址被拷贝到derivedclass的virtualtable相对应的slot之中;
它可以使用自己的函数体,这表示它自己的函数体地址必须放在对应的slot之中;
它可以加入一个新的virtual function,此时virtualtable的尺寸会增大一个slot,新的函数体地址会被放进该slot之中。
(2)多重继承时
一个derivedclass内含n-1个额外的virtualtable(n表示上一层baseclasses的个数),一个主要的与最左端的base class共享,其他的依次与其他base class的有关。
(3)虚拟继承时
建议不要在virtualbase class中声明nonstaticdata members。
3、指向member function的指针
(1)复习成员函数指针:
指向类的非静态成员指针在声明时必须指明classobject;
double(Point::*pmf)();//声明,指出返回值类型,类名称,参数列表
double(Point::*cord)() = &Point::x; //初始化,赋值通过&取地址
(2)支持“指向virtualmember functions”的指针
虚拟机制仍然能够在使用“指向memberfunction之指针”的情况下运行;对一个virtualmember function取地址,所得到的是其在virtualtable的索引值。
对于如何区分内存地址还是vtbl的索引?采用一种基于假设继承体系中最多只有128个virtualfunctions的方法。(即首位是1还是0)
(3)多重继承之下,指向member functions的指针
对于通过memberfunctions指针来调用的操作,需要导入一个vcall thunk。函数指针地址要么是真正的member function地址(nonvirtual时),要么是vcallthunk的地址。vcall thunk会选出并调用相关vtbl中适当的slot。
4、Inline Functions
(1)用inline来完成set和get操作很高效。
(2)inline实现中,对于面对会带来副作用的实际参数,编译器通常会引入临时对象;如果实际参数是一个常量表达式,会在替换之前先进行求值操作,后续的inline时直接将常量绑定;如果不是上述两点就直接替换。
(3)如果inline函数中有许多局部变量,则会产生巨多临时对象,这影响效率,要注意。