C++11中的继承构造函数

时间:2014.06.19

地点:基地

-------------------------------------------------------------------------

一、问题描述

在继承体系中,如果派生类想要使用基类的构造函数,需要在构造函数中显式声明。如下:

struct A
{
   A(int i){}
};

struct B:A
{
  B(int i):A(i){}
};

在这里,B派生于A,B

又在构造函数中调用A的构造函数,从而完成构造函数的传递。

又比如如下,当B中存在成员变量时:

struct A
{
   A(int i){}
};

struct B:A
{
  B(int i):A(i),d(i){}
  int d;
};

现在派生于A的结构体B包含一个成员变量,我们在初始化基类A的同时也初始化成员d,现在的问题是:假若基类用于拥有为数众多的不同版本的构造函数,这样,在派生类中按上面的思维还得写很多对应的“透传”构造函数。如下:

struct A
{
  A(int i) {}
  A(double d,int i){}
  A(float f,int i,const char* c){}
  //...等等系列的构造函数版本
};
struct B:A
{
  B(int i):A(i){}
  B(double d,int i):A(d,i){}
  B(folat f,int i,const char* c):A(f,i,e){}
  //......等等好多个和基类构造函数对应的构造函数
};

很明显当基类构造函数一多,派生类构造函数的写法就显得很累赘,相当不方便。

-------------------------------------------------------------------------

二、问题的解决

我们可以通过using声明来完成这个问题的简化,看一个例子

<pre name="code" class="cpp"><pre name="code" class="cpp">struct Base
{
  void f(double i){
  cout<<"Base:"<<i<<endl;
  }
};

struct Drived:Base
{
  using Base::f;
  void f(int i){
    cout<<"Drived:"<<i<<endl;
  }
};


代码中基类和派生类都声明了同名的函数f,但派生类中办法和基类的版本不同,这里使用using声明,说明派生类中也使用基类版本的函数f,这样派生类中就拥有两个f函数的版本了。在这里需要说明的是,如果没有使用using声明继承父类同名函数,那么派生类中定义的f函数将会屏蔽父类的f函数,当然若派生类根本就没有定义这个f同名函数,还会选择用基类的f函数。

这种方法,我们一样可迁移到构造函数的继承上,即派生类可以通过using语句声明要在子类中继承基类的所有构造函数。如下:

struct A
{
  A(int i) {}
  A(double d,int i){}
  A(float f,int i,const char* c){}
  //...等等系列的构造函数版本
};
struct B:A
{
  using A::A;
  //关于基类各构造函数的继承一句话搞定
  //......
};

现在,通过using A::A的声明,将基类中的构造函数全继承到派生类中,更巧妙的是,这是隐式声明继承的,即如果一个继承构造函数不被相关的代码使用,编译器不会为之产生真正的函数代码,这样比透传基类各种构造函数更加节省目标代码空间。

但此时还有一个问题:

当使用using语句继承基类构造函数时,派生类无法对类自身定义的新的类成员进行初始化,我们可使用类成员的初始化表达式,为派生类成员设定一个默认初始值。比如:

struct A
{
  A(int i) {}
  A(double d,int i){}
  A(float f,int i,const char* c){}
  //...等等系列的构造函数版本
};
struct B:A
{
  using A::A;
  int d{0};
};

注意:

1.对于继承构造函数来说,参数的默认值是不会被继承的,而且,默认值会 导致基类产生多个构造函数版本(即参数从后一直往前面减,直到包含无参构造函数,当然如果是默认复制构造函数也包括在内),这些函数版本都会被派生类继承。

2.继承构造函数中的冲突处理:当派生类拥有多个基类时,多个基类中的部分构造函数可能导致派生类中的继承构造函数的函数名。参数都相同,那么继承类中的继承构造函数将导致不合法的派生类代码,比如:

struct A
{
  A(int){}
};
struct B
{
  B(int){}
};
struct C:A,B
{
  using A::A;
  using B::B;
};

在这里将导致派生类中的继承构造函数发生冲突,一个解决的办法就是显式定哟继承类的冲突构造函数,阻止隐式生成相应的继承构造函数,以免发生冲突。

struct C:A,B
{
  using A::A;
  using B::B;
  C(int){}
};

3.如果基类的构造函数被声明为私有构造函数或者派生类是从基类虚继承的,那么就不能在派生类中声明继承构造函数。

4.如果一旦使用了继承构造函数,编译器就不会为派生类生成默认构造函数。这样,我们得注意继承构造函数无参版本是不是有需要。

C++11中的继承构造函数

时间: 2024-10-26 15:50:13

C++11中的继承构造函数的相关文章

c++11 中的移动构造函数

在现实中有很多这样的例子,我们将钱从一个账号转移到另一个账号,将手机SIM卡转移到另一台手机,将文件从一个位置剪切到另一个位置--移动构造可以减少不必要的复制,带来性能上的提升. l  C++11标准中提供了一种新的构造方法--移动构造. l  C++11之前,如果要将源对象的状态转移到目标对象只能通过复制.在某些情况下,我们没有必要复制对象--只需要移动它们. l  C++11引入移动语义: n  源对象资源的控制权全部交给目标对象 l  移动构造函数 问题与解决 l  当临时对象在被复制后,

C++11初窥二: 继承构造函数和委派构造函数

分析了这两种用法,真想吐槽两句,这两个特性确实有实际需要,但客观来说,现有标准足够用,而且带来的代价也非常大,又给C++复杂的语法糖重重的抹了一笔!!! 一.继承构造函数 继承构造函数的引入原因:如果基类的构造函数很多,那么子类的构造函数想要实现同样多的构造接口,必须一一调用基类的构造函数,有点麻烦 于是乎:C++11引入继承构造函数 class _A { public: _A( int _InInt ) {;} _A( double _InDouble, int _InInt ) {;} _A

c++11 继承构造函数

若基类拥有数量众多的不同版本的构造函数,而派生类中只有一些成员函数,则对于派生类而言,其构造函数就等同于构造基类. struct A { A(int i) {} A(double d, int i) {} A(float f, int i, const char* c) {} //... }; struct B : A { B(int i): A(i) {} B(double d, int i): A(d, i) {} B(float f, int i, const char* c): A(f,

多重继承,虚继承,MI继承中虚继承中构造函数的调用情况

先来测试一些普通的多重继承.其实这个是显而易见的. 测试代码: [cpp] view plain copy print? //测试多重继承中派生类的构造函数的调用顺序何时调用 //Fedora20 gcc version=4.8.2 #include <iostream> using namespace std; class base { public: base() { cout<<"base created!"<<endl; } ~base()

JavaScript 中实现继承的方式(列举3种在前一章,我们曾经讲解过创建类的最好方式是用构造函数定义属性,用原型定义方法。)

第一种:对象冒充 function ClassA(sColor) { this.color = sColor; this.sayColor = function () { alert(this.color); }; } function ClassB(sColor, sName) { this.newMethod = ClassA; this.newMethod(sColor); delete this.newMethod; this.name = sName; this.sayName = f

C++学习笔记18,C++11中的初始化列表构造函数(二)

C++11中的初始化列表构造函数(Initialize_list Constructors)是将std::initializer_list<T>作为第一个参数的构造函数,并且没有任何其他参数(或者其他参数具有默认值).例如: #include <iostream> #include <initializer_list>//必须包含该头文件 #include <vector> using namespace std; class A { private: ve

C++11 中的几个新特性

C++11的标准已经确定,除了增加了不少库函数外,在语法方便也得到了许多增强.其中如下几个语法就是我比较喜欢的: 自动类型推导auto 现在c++终于在编译器级别支持类似C#的var关键字了,在c++里的关键字是auto,基本用法如下: auto i = 0;        //int auto c = 'c';    //char auto s = "hello world";    //const char* auto关键字的一个很直观的好处是我们可以简化stl容器遍历里的那个it

C++11 中值得关注的几大变化(网摘)

C++11 中值得关注的几大变化(详解) 原文出处:[陈皓 coolshell] 源文章来自前C++标准委员会的 Danny Kalev 的 The Biggest Changes in C++11 (and Why You Should Care),赖勇浩做了一个中文翻译在这里.所以,我就不翻译了,我在这里仅对文中提到的这些变化"追问为什么要引入这些变化"的一个探讨,只有知道为了什么,用在什么地方,我们才能真正学到这个知识.而以此你可以更深入地了解这些变化.所以,本文不是翻译.因为写

ES5和ES6中的继承

看到一篇写的非常好的关于js继承的文章,其中对构造函数.原型.实例之间的关系的描述十分透彻,故转载作者文章以随时学习,并供大家共同进步! ES5 ES5中的继承,看图: 1 function Super() {} 2 3 function Sub() {} 4 Sub.prototype = new Super(); 5 Sub.prototype.constructor = Sub; 6 7 var sub = new Sub(); 8 9 Sub.prototype.constructor