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

最新推荐文章于 2024-10-29 15:15:23 发布

转载最新推荐文章于 2024-10-29 15:15:23 发布 · 330 阅读

标签

#Cpp #类成员函数

内存管理专栏收录该内容

7 篇文章

订阅专栏

本文深入探讨了C++中三种成员函数：nonstatic、static和virtual的特点与调用机制。nonstatic成员函数通过this指针操作类数据成员，static成员函数独立于对象存在，virtual成员函数实现多态性。文章详细解释了每种函数的内部实现和调用过程。

概述

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

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

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

改写函数的 signature（函数原型）以添加一个 this 指针；
通过 this 指针存取操作 nonstatic data member；
将成员函数重写成为一个外部函数，经过名称“ 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 中的索引值。