欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

c++基础语法:虚继承

程序员文章站 2023-11-12 14:46:16
虚继承 的概念的提出主要是为了解决c++多继承的问题,举个最简单的例子:复制代码 代码如下:class animal{    &nb...

虚继承 的概念的提出主要是为了解决c++多继承的问题,举个最简单的例子:

复制代码 代码如下:

class animal{
        public :
              void op()
                  {cout << "hello animal" ;}
 };
class tiger : public animal {
        public :
              void tg()
                  {cout << "this is  tiger" ;}
};
class lion : public animal {
        public :
              void lo()
                  {cout << "this is lion" ;}
};
class liger : public tiger, public lion {
        public :
              void lo()
                  {cout << "this is lion" ;}
};
int main()
{
     class liger  oneliger ;
     liger.op() ; 
}

上面的 liger.op() ;会报错,会提示模糊的成员变量,因为tiger和lion中都包含父类animal的op()操作。
此时内存中的oneliger对象布局从低到高是下面这样的:
1、animal的成员变量

2、继承tiger的成员变量
      //包括 op()

3、继承lion的成员变量
     / /也包括op()

4、liger本身的成员变量

ps: 对象在内存中的布局首先是如果有虚函数的话就是虚表,虚表就是指向一个函数指针数组的指针,然后就是成员变量,如果是普通继承则首先是最根父类的成员变量,然后是次父类成员变量,依次而来最后是本身的成员变量[虚继承相反],成员函数被编译成全局函数不存储在对象空间内,需要调用成员函数的时候,通过类名找到相应的函数,然后将对象的this指针传给函数:

比如这样的代码 
ctest     test; 
test.print(); 

编译器在内部将转换为:(伪代码) 
ctest   test; 
ctest_print(   &test   );   //   ctest的print函数转换为:ctest_print(   ctest*   const   this); 

所以这就和普通函数调用差别不大了
实际应该是函数找到对象,即根据this指针

为了解决 上面多继承的问题,所以c++中提出了虚继承的概念,虚继承就是在子类中只保留一份父类的拷贝,拿上面的类子来说,就是“如果有一份父类的拷贝的话就用父类的拷贝,如果没有就加入一份拷贝” :

复制代码 代码如下:

class animal{
        public :
              void op()
                  {cout << "hello animal" ;}
 };
class tiger : public virtual animal {
        public :
              void tg()
                  {cout << "this is  tiger" ;}
};
class lion : public virtual animal {
        public :
              void lo()
                  {cout << "this is lion" ;}
};
class liger : public tiger, public lion {
        public :
              void lo()
                  {cout << "this is lion" ;}
};
int main()
{
     class liger  oneliger ;
     liger.op() ; 
}

此时liger对象在内存中的布局就变成了:
4、animal的成员变量

3、继承tiger的成员变量
      //包括 op()

2、继承lion的成员变量
     //已经包含一份拷贝,所以 已经不包括op()

1、liger本身的成员变量

这样内存中就只有一份animal对象的拷贝,所以就不会存在模糊的问题;