• 【深度探索C++对象模型读书笔记】【第4章】Function语意学


    1、 C++支持三种类型的member functions,static、nonstatic和virtual,每一种类型被调用的方式都不相同。

    2、C++的设计准则之一便是nonstatic member function至少必须和一般的nonmember function有相同的效率。编译器内部会将member函数实例转换为对等的nonmember函数实例,转换步骤为:

    a)  改写函数的signature以安插一个额外的参数this指针member function中,使class object可以调用该函数。其中,thisconst指针,若该函数为const,则this指向的data也为const

    b)  将每一个对nonstatic data member的存取操作改为经由this指针来存取;

    c)  member function重新写成一个外部函数,将函数名称进行mangling处理;

    此后,每一个函数调用操作也都必须转换,用以提供相应的实参。

    3、 虚拟成员函数的转化步骤:

    如果normalize()是一个virtual member function,那么以下的调用:

    Ptr->normalize();将会被内部转化为:(*ptr->vptr[1])(ptr);

    其中:vptr表示由编译器产生的指针,指向virtual table。它被安插在每一个“声明有(或继承自)一个或多个virtual functions”的class object中。事实上其名称也会被“mangled”,因为一个复杂的class派生体系中,可能存在有多个vptrs。1virtual table slot的索引值,关联到normalize()函数。第二个ptr表示this指针。

    4、static member functions的主要特征是它没有this指针。以下的次要特性统统根源于其主要特性:

    a)   它不能够直接存取其class中的nonstatic members。

    b)   它不能够被声明为const,volatile或virtual。

    c)   它不需要经由class object才被调用——虽然大部分时候它都是这样被调用的!

    5、如果取一个static memberfunction的地址,获得的将是其在内存中的位置,也就是其地址。由于static member function没有this指针,所以其地址的类型并不是一个“指向class member function的指针”,而是一个“nonmember函数指针”。

    6、C++中,多态(polymorphism)表示以一个public base class指针或reference寻址出一个derived class object。识别一个class是否支持多态,唯一适当的方法试看它是否有任何virtual function。只要class拥有一个virtual function,它就需要一份额外的执行期型别判断信息。

    7、 在c++中,virtual functions在编译期间获知,这一组地址是固定不变的,执行期间不能新增或替换。

    8、一个class只会有一个virtual table,其中内含对应class object中所有的active virtual functions函数实体的地址。这些active virtual functions包括:

    a)  一个class定义的函数实体。它会改写(overriding)一个可能存在的base class virtual function函数实例。

    b)  继承自base class的函数实例。这是在该class不改写base class virtual function时才会出现的情况。

    c)  一个pure_virtual_called()函数实例,它既可以扮演pure virtualfunction的空间保卫者,也可以当作执行期异常处理函数。如果该函数被调用,通常的操作是结束程序。

    9、 在多重继承中支持virtual function,其复杂度围绕在第二个及后继base class上,以及必须在执行期调整this指针。

    10、     thunk是一小段assemby代码,用来1)以适当的offset值调整this指针 2)跳到virtualfunction去。

    11、     在多重继承下,一个上层basse classes数目为n的derivedclass内含n-1个额外的virtual tables。其主要实例与最左端的base class共享;n-1个次要实例与其它base classes有关。

    12、     第二或后继的base class会影响对virtual function支持的3种情况: 

    a)  通过指向第二个base class的指针,调用derived class virtual function

    b)  通过指向derived class的指针,调用第二个base class中一个继承而来的virtual function

    c)  允许virtual function函数的返回值类型有所变化,可能是base type,也可能是publicly derived type

    13、     nonmember、static member或nonstatic member函数都能被转化为完全相同的形式,所以三者效率完全相同。

    14、     取一个nonstatic member function的地址,如果该函数是nonvirtual,得到的结果是它在内存中真正的地址,但需要绑定于某个class object的地址上,才能够调用该函数。对一个virtual memberfunction取其地址,获得的只是一个索引值。

    15、     关键词inline只是一项请求。如果函数的执行成本比一般的函数调用及返回机制所带来的负荷低,那么该请求被接受,编译器就用一个表达式合理地将函数扩展开来。

    16、     一般而言处理一个inline函数,有两个阶段:

    a)  分析函数定义,以决定函数的“instrinsic inline ability”

    如果函数因其复杂度或其构建问题,被判为不可成为inline,它会被转为一个static函数,并在“被编译模块”内产生对应的函数定义。

    b)  真正的inline函数扩展操作是在函数调用的那一点上。

    在inline扩展期间,每一个形式参数会被对应的实际参数所取代;

    inline函数中的每一个局部变量都必须被放在函数调用的一个封闭区段中,并拥有一个独一无二的名称。这会带来参数的求值操作以及临时性对象的管理。


  • 相关阅读:
    c#透明TextBox
    Twitter的分布式自增ID算法snowflake(雪花算法)
    关于权限设计的一点建议
    关于下载地址权限控制的一点问题解决方法
    数据结构_总结
    输出全排列输出
    数据结构_图总结
    n个括号对的所有可能情况
    根据表达式序列(前缀、中缀、后缀)构建表达式树
    Java finally语句是在try或catch的retrurn之前还是之后执行
  • 原文地址:https://www.cnblogs.com/ruan875417/p/4558282.html
Copyright © 2020-2023  润新知