C++对象模型:函数语意学

概述

C++支持三种类型的成员函数有:static、nonstatic、和 virtual,每一种类型被调用的方式都不相同。不同类型的成员函数的调用会有不同的表现,以下对每一种类型的成员函数进行简单的分析。

1.Nonstatic Member Functions 非静态成员函数


为了使 nonstatic member function 能够与非成员函数具有相同的效率,C++ 编译器内部将 nonstatic member function 转换为非成员函数,转换的步骤如下:

  1. 改写函数的 signature(函数原型)以添加一个 this 指针;
  2. 通过 this 指针存取操作 nonstatic data member;
  3. 将成员函数重写成为一个外部函数,经过名称“ mangling ”处理转换为独一无二的非成员函数(加上 class 名称与参数类型)。两个实例如果拥有独一无二的 name mangling ,那么任何不正确的调用操作在链接时期就因无法决议 resolved 而失败;

例如:

float Point3d::magnitude() const
{
    return sqrt( _x * _x + _y * _y + _z * _z );
}

extern float magitude_7Point3dFv( Point3d *const this )  //原来的函数参数类型为void,则此处class名后面加 Fv
{
    return sqrt(
        this -> _x * this -> -x +                        //通过this指针存取
        this -> _y * this -> -y +
        this -> _z * this -> -z );
} 

2.Static Member Functions 静态成员函数

1、静态成员函数类似于静态成员变量都属于类而不是对象。

2、静态成员函数仅可以调用类的静态成员变量,不可以调用普通成员变量。

3、不具有this指针,因而自然不能声明为const。

一般情况下,通过对象与指针对Static member function 的调用和 nonstatic member function 一样会被编译器内部转换为 nonmember 函数调用,区别是转换后不存在 this 指针,因此和全局函数一样,可以做 callback 函数。

Static member function 主要特性: 没有 this 指针。次要特性:

  • 不能直接存取其 class 中的 nonstatic member;
  • 不能被声明为 const、volatile 或 virtual;
  • 不需要经由 class object 调用——虽然大部分时候是由这样调用的

3.virtual member function 虚拟成员函数

3.1 单一类中的使用

在独立的类中可以通过 指针调用对象调用 两种方式使用 虚拟成员函数。

class Point3d
{
    ...
    virtual void print() {};
}
point3d *ptr = new point3d;
Point3d obj;

ptr->print();                                     //指针调用 
obj.print();                                      //对象调用

用指针调用 ptr->print(),在编译器内部被转换为( * ptr -> vptr[0] )( ptr ) 。

用对象调用 obj.print(),由于不存在多态的问题,在内部被当作和非虚拟成员函数一样处理,即转换为 Point3d::print(),所以 virtual function 可以 inline,在用对象调用的情况下 inline 被展开。

3.2 多重继承的类

像单继承一样,用基类的指针或引用只能访问基类中定义(或继承)的成员,不能访问派生类中引入的成员。当一个类继承于多个基类的时候,这些基类之间没有隐含的关系,不允许使用一个基类的指针访问其他基类的成员。

在多重继承的 virtual function 机制中,其复杂度围绕在第二个及后继的 base class 中,以及在执行期间调整 this 指针;一般规则经由指向第二或后继 base class 的指针或引用来调用 derived class virtual function。

3.3 虚继承的类

在虚继承下,对给定虚基类,无论该类在派生层次中作为虚基类出现多少次,只继承一个共享的基类子对象。共享的基类子对象称为虚基类。

4.其他问题

4.1指向成员函数的指针

class Point3d
{
    ...
    void print();
    virtual void Point3d_print();
}


对非虚函数 void print(),取它的指针得到的是函数的实际地址(即绑定在某个 class object 的地址),如:void (Point3d :: *pfunc) () = & Point3d :: print; ; 
对虚函数virtual void Point3d_print(),取它的地址得到的是函数在 class Point3d 的 virtual table 中的索引值。

4.2 Inline Function 内联函数

当我们在 class 中定义 inline function 时,分为两个阶段:

  1. 分析函数本质的 inline 能力。如果函数因其复杂度或构建问题,被判断不可能成为 inline ,编译器可能把它们处理为 static 函数;
  2. 真正的 inline function 的扩展操作是在调用的那一点上,这会带来参数的求值操作以及临时性对象的管理;

 

 

 


--------------------- 
作者:逆风微积分 
来源:CSDN 
原文:https://blog.csdn.net/chenhanzhun/article/details/44061111 

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值