C++虚拟成员-虚函数

简介: C++虚拟成员-虚函数

成员函数

Virtual Member Functions

每个声明了虚函数或者继承了有虚函数的类,都会有一个自己的vtbl。同时该类的每个对象都会包含一个vptr去指向该vtbl。虚函数按照其声明顺序放于 vtbl 表中, vtbl 数组中的每一个元素对应一个函数指针。如果子类覆盖了父类的虚函数,将被放到了虚表中原来父类虚函数的位置。

如果 normalize()是一个 virtual member function,那么调用:ptr->normalize();

实际上会被编译器转化为:(*ptr->vptr[1])(ptr);

  • vptr 是指向虚函数表的指针
  • 1 是表中该函数的索引,
  • ptr 表示的是this指针

显示地调用“虚函数”可以压制机制,比如说,point3d::normalized()就不会触发虚拟机制,其行为和非静态成员函数行为一致,直接可以在编译时确定调用类的normalized()。

注意:类的对象调用虚函数是不具有多态性质,只能调用对象本身的虚拟函数版本。

Point3d obj;
    obj.normalize();
    // 会被编译器转换为:  *obj.vptr[1](&obj); 虽然正确,但是没有必要,相当于point3d::normalized(),
    // 决议方式类似于非静态成员函数: normalize_7Point3dFv(&obj);

静态成员函数

静态成员函数被转换为非成员函数的方式:

obj.normalized();   // normalize 7Point3dSFv(); 
    ptr->normalized();  // normalize 7Point3dSFv(); 
    // 实际上应该是由类直接调用静态函数,而不是类对象或者类指针

对象调用和指针调用可见完全一样,而且转换之后,不带有任何关乎调用这个静态函数的类信息,这也就说明了为什么不能在静态函数中直接调用“普通类成员”。

静态成员函数的主要特性就是它没有this指针,次要特性:

  • 不能够直接存取所属类中的非静态成员函数
  • 不能被声明为const、 virtual、 volatile。
  • 不需要通过类对象来调用

如果获取一个静态成员函数的地址,获得的是这个静态成员函数在内存中的位置,也就是其地址。因为其没有this指针,所以地址类型是“指向非成员函数指针”,而不是“指向类成员函数指针”。即:

&Point3d::object_count(); 
     // 得到一个数值,其类型是 unsigned int (*)();
     // 而不是 unsigned int (point3d::* )();

因此,缺乏this指针的静态成员函数,很大程度上等同于非成员函数。

虚函数的继承

对于一个虚函数调用ptr->z();,其中z()是一个虚函数,对于类而言需要什么信息才能让我们在执行期调用正确的z()实例:

  • ptr所指向对象的真实类型。这可使得我们选择正确的z()实例·
  • z()实例的位置,使得我们可以正确的找到并且调用它

基于上面的要求,因此在每个多态类上增加两个数据成员:

  • 一个字符串或者数字,表示class的类型,
  • 一个指针,指向虚函数表,表格中持有程序的virtual function执行期地址

虚函数地址,在编译时期就可以确定。

因为类中如果有虚函数,这在编译时期就可以确定,并且获得其地址。这个地址是固定的,在执行期不能改变。因此虚函数表的大小和内容都不会改变,其构建和存取都可以在编译期完成,不需要执行期的参与。

为了能在执行期找到这些地址,分为编译器部分和执行期任务:

  • 编译器还做了两个任务:
  • 为了找到表格,每个具有虚函数的类对象都被放置了一个由编译器内部产生的指针vptr,指向这个虚函数表格
  • 为了找到地址,每个virtual function都被指派了一个表格索引值。
  • 执行期任务:传入调用虚函数的对象,在特定的virtual table slot中激活virtual function,也就是调用这个虚函数。

一个类只有一个虚函数表,每个表中可能含有三种类型的虚函数:

  • 此类定义的函数实例。包括重写了父类中的虚函数
  • 从父类中继承的且没有重写的虚函数
  • 纯虚函数
实例

对于基类:

有子类:

class Point2d : public Point { 
public:
    Point2d(float x=0.0, float y=0.0) 
    : Point(x), _y(y) 
    { }
    ~Point2d();
    // 改写虚函数
    Point2d& mult(float );
    float y() const { return _y;}
protected:
    float _y;
};
class Point3d : public Point2d { 
public:
    Point2d(float x=0.0, float y=0.0, float z=0.0) 
    : Point2d(x, y), _z(z) 
    { }
    ~Point3d();
    // 改写虚函数
    Point3d& mult(float );
    float z() const { return _z;}
protected:
    float _z;
};

对于上面的继承关系,对应的虚函数表格如下图。可看见,对于子类从父类继承的虚函数,在子类的虚函数中的索引保持不变,无论这个虚函数被子类重写没有。

此时,对虚函数的调用ptr->z();:

  • 在调用 z() 的时候,并不知道ptr所指向对象的真正类型,但是我们明白经过ptr可以找到真正对象的虚函数表
  • 虽然不知道哪一个 z() 会被调用,但是知道每一个z()都是被放在了索引值为4的地方。

这些信息可以这个调用在编译期转换为:(*ptr->vptr[4])(ptr);。vptr表示被安插的指针,指向虚函数表格,4表示z()在表中的索引。唯一在执行期确定的是ptr到底是指向哪一个对象。

question

内联函数、构造函数、静态成员函数、模板函数可以是虚函数吗?

对于虚函数有几点关键点:

  • 虚函数是属于对象的
  • 虚函数的和运行时期有关

由以上两点,可以回答原问题。

  • inline:inline 需要在编译期就确定类的信息,但是虚函数具体是属于哪个类的,只有在动态运行时才能知道。
  • static:静态函数是没有 this 指针,而虚函数是属于某个对象的this与vptr来调用的。
  • constructor:虚函数等到运行时才知道是调用了哪个对象的虚函数。如果构造器也是虚函数,对象都无法构建。因此,构造函数不能是虚函数。而且,在构造函数中调用虚函数,实际执行的是父类的对应函数,因为自己还没有构造好, 多态是被 disable 的。
  • 模板函数
    模板函数也不能是虚函数。因为,类会在vtbl中存放类中的所有的虚函数的函数指针,而一个模板函数如果设计为虚函数是无法获悉这个模板函数会被实例化为哪些具体的函数。

为什么需要虚析构函数,什么时候不需要? 父类的析构函数为什么要定义为虚函数

一般情况下类的析构函数里面都是释放内存资源,而析构函数不被调用的话就会造成内存泄漏。这样做是为了当用一个基类的指针删除一个派生类的对象时, 派生类的析构函数会被正确调用。

当然,并不是要把所有类的析构函数都写成虚函数。因为当类里面有虚函数的时候,编译器会给类添加一个虚函数表,里面来存放虚函数指针,这样就会增加类的存储空间。 所以,只有当一个类被用来作为基类的时候,才把析构函数写成虚函数。

示例

class Base { 
    public:
      virtual ~Base() { }
      virtual
      void show()  { std::cout<< "base_show"<<std::endl; }
      void print() { std::cout<< "base_print"<<std::endl; }
    };
    class Derived : public Base { 
    public:
      void print() { std::cout<< "Derived_print"<<std::endl; }
      void show()  { std::cout<< "Derived_show"<<std::endl; }
    };
    int main(int argc, char const *argv[])
    {
      Base* base = new Derived;
      base->print();  // base
      base->show();   // derived,是在运行期才会确定是哪个对象调用的 show
      delete base;
      return 0;
    }

上面示例中,print() 函数不是虚函数,因此 base->print(); 调用的是 Base 的 print,这个函数调用在编译器就实现了。

相关文章
|
4月前
|
C++
C++一分钟之-虚函数与抽象类
【6月更文挑战第21天】在C++中,虚函数与抽象类是多态的基础,增进类间耦合与灵活性。虚函数实现动态绑定,抽象类定义不可实例化的接口。关键点包括:记得使用`virtual`,避免滥用虚函数,确保派生类实现纯虚函数。抽象类不能直接实例化,派生类必须实现所有纯虚函数。通过实例代码学习和实践,能更好地掌握这些概念以优化代码设计。
42 2
|
5月前
|
存储 Serverless 数据安全/隐私保护
C++ 类的成员函数和数据成员的技术性探讨
C++ 类的成员函数和数据成员的技术性探讨
53 0
|
2月前
|
编译器 C++
virtual类的使用方法问题之C++类中的非静态数据成员是进行内存对齐的如何解决
virtual类的使用方法问题之C++类中的非静态数据成员是进行内存对齐的如何解决
|
2月前
|
编译器 C++
virtual类的使用方法问题之静态和非静态函数成员在C++对象模型中存放如何解决
virtual类的使用方法问题之静态和非静态函数成员在C++对象模型中存放如何解决
|
2月前
|
存储 算法 搜索推荐
【C++】类的默认成员函数
【C++】类的默认成员函数
|
4月前
|
数据采集 存储 编译器
this指针如何使C++成员指针可调用
本文介绍了C++中的this指针,它是一个隐藏的指针,用于在成员函数中访问对象实例的成员。文章通过代码示例阐述了this指针的工作原理,以及如何使用指向成员变量和成员函数的指针。此外,还提供了一个多线程爬虫示例,展示this指针如何使成员指针在对象实例上调用,同时利用代理IP和多线程提升爬取效率。
this指针如何使C++成员指针可调用
|
3月前
|
存储 C++
【C++】string类的使用③(非成员函数重载Non-member function overloads)
这篇文章探讨了C++中`std::string`的`replace`和`swap`函数以及非成员函数重载。`replace`提供了多种方式替换字符串中的部分内容,包括使用字符串、子串、字符、字符数组和填充字符。`swap`函数用于交换两个`string`对象的内容,成员函数版本效率更高。非成员函数重载包括`operator+`实现字符串连接,关系运算符(如`==`, `&lt;`等)用于比较字符串,以及`swap`非成员函数。此外,还介绍了`getline`函数,用于按指定分隔符从输入流中读取字符串。文章强调了非成员函数在特定情况下的作用,并给出了多个示例代码。
|
4月前
|
安全 数据安全/隐私保护 C++
C++一分钟之-成员访问控制:public, private, protected
【6月更文挑战第20天】C++的成员访问控制涉及`public`、`private`和`protected`,影响类成员的可见性和可访问性。`public`成员对外公开,用于接口;`private`成员仅限类内部,保护数据安全;`protected`成员在派生类中可访问。常见问题包括不恰当的访问级别选择、继承中的访问权限误解及过度使用友元。通过示例展示了如何在派生类中访问`protected`成员。正确使用访问修饰符能确保代码的封装性、安全性和可维护性。
104 4
|
4月前
|
编译器 C++ 存储
【C++语言】类和对象--默认成员函数 (中)
【C++语言】类和对象--默认成员函数 (中)
【C++语言】类和对象--默认成员函数 (中)
|
3月前
|
C++
【C++】string类的使用④(常量成员Member constants)
C++ `std::string` 的 `find_first_of`, `find_last_of`, `find_first_not_of`, `find_last_not_of` 函数分别用于从不同方向查找目标字符或子串。它们都返回匹配位置,未找到则返回 `npos`。`substr` 用于提取子字符串,`compare` 则提供更灵活的字符串比较。`npos` 是一个表示最大值的常量,用于标记未找到匹配的情况。示例代码展示了这些函数的实际应用,如替换元音、分割路径、查找非字母字符等。