C++基类指针和派生类指针之间的转换方法讲解

函数重载、函数隐藏、函数覆盖

函数重载只会发生在同作用域中(或同一个类中),函数名称相同,但参数类型或参数个数不同。 函数重载不能通过函数的返回类型来区分,因为在函数返回之前我们并不知道函数的返回类型。

函数隐藏和函数覆盖只会发生在基类和派生类之间。

函数隐藏是指派生类中函数与基类中的函数同名,但是这个函数在基类中并没有被定义为虚函数,这种情况就是函数的隐藏。

所谓隐藏是指使用常规的调用方法,派生类对象访问这个函数时,会优先访问派生类中的这个函数,基类中的这个函数对派生类对象来说是隐藏起来的。 但是隐藏并不意味这不存在或完全不可访问。通过 b->Base::func()访问基类中被隐藏的函数。

函数覆盖特指由基类中定义的虚函数引发的一种多态现象。在某基类中声明为 virtual 并在一个或多个派生类中被重新定义的成员函数,用法格式为:virtual 函数返回类型 函数名(参数表) {函数体};实现多态性,通过指向派生类的基类指针或引用,访问派生类中同名覆盖成员函数。

函数覆盖的条件:

  • 1:基类中的成员函数被virtual关键字声明为虚函数;
  • 2:派生类中该函数必须和基类中函数的名称、参数类型和个数等完全一致;
  • 3:将派生类的对象赋给基类指针或者引用,实现多态。

函数覆盖(多态)实现了一种基类访问(不同)派生类的方法。我们把它称为基类的逆袭。

基类指针和派生类指针之间的转换

1. 基类指针指向基类对象、派生类指针指向派生类对象

这种情况是常用的,只需要通过对应类的指针直接调用对应类的功能就可以了。

#include<iostream>
using namespace std;
class Father{
public:
  void print()
  {
    printf("Father's function!");
  }
};
class Son:public Father
{
public:
  void print()
  {
    printf("Son's function!");
  }
};
int main()
{
  Father f1;
  Son s1;
  Father* f = &f1;
  Son* s = &s1;
  f->print();
  cout<<endl<<endl;
  s->print();
}

2. 基类指针指向派生类对象

这种情况是允许的,通过定义一个基类指针和一个派生类对象,把基类指针指向派生类对象,但是需要注意,通常情况这时的指针调用的是基类的成员函数。分四种情况:

一、 函数在基类和派生类中都存在

这时通过“指向派生类对象的基类指针”调用成员函数,调用的是基类的成员函数。

Father f1;
    Son s1;
    Father* f = &s1;
    f->print();  //调用的是基类成员函数

二、函数在基类中不存在,在派生类中存在

由于调用的还是基类中的成员函数,试图通过基类指针调用派生类才有的成员函数,则编译器会报错。

error C2039: “xxx”: 不是“Father”的成员

三、 将基类指针强制转换为派生类指针

这种是向下的强制类型转换,转换之后“指向派生类的基类指针”就可以访问派生类的成员函数:

Son s1;
    Father* f = &s1;
    Son *s = (Son*)f;
    s->print1(); //调用派生类成员函数

但是这种强制转换操作是一种潜在的危险操作。

四、基类中存在虚函数的情况

如果基类中的成员函数被定义为虚函数,并且在派生类中也实现了该函数,则通过“指向派生类的基类指针” 访问虚函数,访问的是派生类中的实现。允许“基类指针指向派生类”这个操作,最大的意义也就在此,通过虚函数和函数覆盖,实现了“多态”(指向不同的派生类,实现不同功能)。

Father f1;
    Son s1;
    Father* f = &s1;
    f->print();   //调用派生类成员函数

3. 派生类指针指向基类对象

会产生编译错误。基类对象无法被当作派生类对象,派生类中可能具有只有派生类才有的成员或成员函数。

即便是使用强制转换,将派生类指针强制转换成基类指针,通过这个“强制指向基类的派生类指针”访问的函数依然是派生类的成员函数。

Father f1;
    Son s1;
    Son* s=&s1;
    Father* f = (Father*) s;
    f->print();  //调用派生类成员函数

综上,可以通过基类指针访问派生类方法(强制转换和虚函数),不存在通过派生类指针调用基类成员函数的方法(即便是强制转换)。

总结

以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,谢谢大家对我们的支持。如果你想了解更多相关内容请查看下面相关链接

(0)

相关推荐

  • C++直接cout指针名的含义?

    首先看下面这个代码实例: #include <iostream> using namespace std; int main() { char *str = "this is a test"; cout << "str=" << str << endl; cout << "*str=" << *str << endl; cout << "&a

  • c++编写String类代码实例

    本文实例为大家分享了c++编写String类的具体代码,供大家参考,具体内容如下 class String { public: String(const char* = nullptr); //普通构造函数 String(const String& other); //拷贝构造函数 ~String(void); //析构函数 String& operator = (const String& other); //赋值函数 private: char* m_data; }; //普通

  • C++堆和栈的区别与联系讲解

    C++中,内存分为5个区:堆.栈.自由存储区.全局/静态存储区和常量存储区. 栈:是由编译器在需要时自动分配,不需要时自动清除的变量存储区.通常存放局部变量.函数参数等. 堆:是由new分配的内存块,由程序员释放(编译器不管),一般一个new与一个delete对应,一个new[]与一个delete[]对应.如果程序员没有释放掉,        资源将由操作系统在程序结束后自动回收. 自由存储区:是由malloc等分配的内存块,和堆十分相似,用free来释放. 全局/静态存储区:全局变量和静态变量

  • C++中箭头运算符的含义与用法讲解

    C++中箭头运算符->,相当于把解引用和成员访问符两个操作符结合在一起,换句话说, p->func()和(*p).func()所表示的意思一样. 例如: class A { public: func(); } class B { A *p = new A(); *p.a(); //或者使用p->a,二者等价,且更加简洁 } 理解就是,->的功能就是提供了一种对象指针更方便的访问对象成员的方法. 运算符 -> 是指向结构体成员运算符,结合方向为自左向右. 举例说明如下: #in

  • C++begin和end运算符的返回迭代器的类型如何判断?

    begin和end返回的具体类型应该由对象是否是常量进行确定,如果对象是常量,则这两个函数返回const_iterator; 如果对象不是常量,则这个函数返回iterator类型.下面利用一个超级简单的小程序进行验证二者的类型,源代码如下: #include <iostream> #include <vector> using namespace std; int main() { vector<int> ivec; const vector<int> cv

  • C++ Primer中&、*符号的多重定义与int *p和int* p的区别讲解

    & 和*这样的符号,既能用作表达式里的运算符,也能作为声明的一部分出现,符号的上下文决定了符号的意义: int i = 42; int &r = i; //&紧随类型名出现,因此是声明的一部分,r是一个引用 int *p; //*紧随类型名出现,因此是声明的一部分,p是一个指针p p = &i; //&出现在表达式中,是一个取地址符 *p = i; //*出现在表达式中,是一个解引用符 int &r2 = *p; //&是声明的一部分,*是一个解引用

  • strings命令分析浅谈Go和C++编译时的一点小区别

    最近查一个bug, 用strings命令分析, 竟然出乎意料地没有结果, 非常纳闷. 最后根据这个线索查出了bug的根本原因. 1.  在C++中, 即使函数在代码层面没有被调用, 也会最终编译到二进制中, 用strings可以分析.  #include <iostream> using namespace std; void fun() { printf("hello world\n"); // strings分析有结果 } int main() { return 0;

  • C++与namespace有关的两个编译错误的讲解

    某次,在大型的工程代码中,我这样调用: #include <iostream> using namespace std; namespace A { void fun() { printf("aaa\n"); } } namespace B { void fun() { printf("bbb\n"); } } int main() { fun(); return 0; } 编译出错:error: 'fun' was not declared in th

  • C++中rapidjson组装继续简化的方法

    rapidjson组装继续简化------人生苦短,我用rapidjson 看最简单的: #include <iostream> #include <stdio.h> #include<unistd.h> #include <sys/types.h> #include <sys/stat.h> #include <fcntl.h> #include<sstream> // 请自己下载开源的rapidjson #includ

  • C++类中变量也可以是引用的代码实例

    C++类中变量也可以是引用哈------要用初始化列表来初始化(因为C++引用一旦绑定,就无法更换,有点类似const) #include <iostream> using namespace std; class A { public: int &x; int &y; A(int &tmpX, int &tmpY):x(tmpX), y(tmpY){} }; int main() { int tmpX = 1; int tmpY = 2; A a(tmpX,

随机推荐