1.继承的定义
1.1继承的概念
继承(inheritance)机制是⾯向对象程序设计使代码可以复⽤的最重要的⼿段,它允许我们在保持原有类特性的基础上进⾏扩展,增加⽅法(成员函数)和属性(成员变量),这样产⽣新的类,称派⽣类。继承 呈现了⾯向对象程序设计的层次结构,体现了由简单到复杂的认知过程。以前我们接触的函数层次的复⽤,继承是类设计层次的复⽤
#include<iostream>
using namespace std;
//基类
class Person
{
public:
// 进⼊校园/图书馆/实验室刷⼆维码等⾝份认证
void identity()
{
cout << "void identity()" << _name << endl;
}
protected:
string _name = "张三"; // 姓名
string _address; // 地址
string _tel; // 电话
int _age = 18; // 年龄
};
//派生类
class Student : public Person
{
public:
// 学习
void study()
{
// ...
}
protected:
int _stuid; // 学号
};
class Teacher : public Person
{
public:
// 授课
void teaching()
{
//...
}
protected:
string title; // 职称
};
int main()
{
Student s;
Teacher t;
//继承基类的公有函数与保护成员
s.identity();
t.identity();
return 0;
}
1.2 继承定义格式
下⾯我们看到Person是基类,也称作⽗类。Student是派⽣类,也称作⼦类。(因为翻译的原因,所以 既叫基类/派⽣类,也叫⽗类/⼦类)
1.3继承基类成员访问⽅式的变化
注意:继承后的派生类继承了基类中的所有成员,不过有特定的成员因为权限不可被访问
1. 基类private成员在派⽣类中⽆论以什么⽅式继承都是不可⻅的。这⾥的不可⻅是指基类的私有成员还是被继承到了派⽣类对象中,但是语法上限制派⽣类对象不管在类⾥⾯还是类外⾯都不能去访问它
2. 基类private成员在派⽣类中是不能被访问,如果基类成员不想在类外直接被访问,但需要在派⽣类中能访问,就定义为protected。可以看出保护成员限定符是因继承才出现的。
3. 实际上⾯的表格我们进⾏⼀下总结会发现,基类的私有成员在派⽣类都是不可⻅。基类的其他成员在派⽣类的访问⽅式==Min(成员在基类的访问限定符,继承⽅式),public >protected> private
4. 使⽤关键字class时默认的继承⽅式是private,使⽤struct时默认的继承⽅式是public,不过最好显示的写出继承⽅式。
5. 在实际运⽤中⼀般使⽤都是public继承,⼏乎很少使⽤protetced/private继承,也不提倡使⽤ protetced/private继承,因为protetced/private继承下来的成员都只能在派⽣类的类⾥⾯使⽤,实际中扩展维护性不强
派生类不可以访问基类中的私有成员,但是可以使用基类的公有成员函数调用访问私有成员
class Parent
{
public:
void GetNum()
{
cout << num << endl;
}
private:
int num = 1;
};
class Child : public Parent
{
public:
void GetRet()
{
cout << ret << endl;
}
private:
int ret = 2;
};
int main()
{
Parent p;
Child c;
p.GetNum();
c.GetNum();
return 0;
}
1.4类模版的继承
使用类模版模拟实现一个栈,可以使用vector/list/deque来当做底层容器,核心就是类模版的继承
template<class T>
class Stack : public std::vector<T>
//class Stack : public std::list<T>
//class Stack : public std::deque<T>
{
public:
// 基类是类模板时,需要指定⼀下类域,
// 否则编译报错:error C3861: “push_back”: 找不到标识符
// 因为stack<int>实例化时,也实例化vector<int>了
// 但是模版是按需实例化,push_back等成员函数未实例化,所以找不到
void push(const T& x)
{
vector<T>::push_back(x);
}
void pop()
{
vector<T>::pop_back();
}
const T& top()
{
return vector<T>::back();
}
bool empty()
{
return vector<T>::empty();
}
};
int main()
{
Stack<int> st;
st.push(1);
st.push(2);
st.push(3);
st.push(4);
while (!st.empty())
{
cout << st.top() << " ";
st.pop();
}
cout << endl;
return 0;
}
2.基类与派生类的转换
1.public继承的派⽣类对象可以赋值给基类的指针、基类的引⽤。这⾥有个形象的说法叫切⽚或者切割。寓意把派⽣类中基类那部分切出来,基类指针或引⽤指向的是派⽣类中切出来的基类那部分
2.基类对象不能赋值给派⽣类对象
3.基类的指针或者引⽤可以通过强制类型转换赋值给派⽣类的指针或者引⽤。但是必须是基类的指针是指向派⽣类对象时才是安全的。这⾥基类如果是多态类型,可以使⽤RTTI(Run-Time-Type-Information)的dynamic_cast)来进⾏识别后进⾏安全转换
3.作用域
基类与派生类都具有不同的作用域,所以不存在重载,因为重载需要在相同的作用域
1. 在继承体系中基类和派⽣类都有独⽴的作⽤域
2. 派⽣类和基类中有同名成员,派⽣类成员将屏蔽基类对同名成员的直接访问,这种情况叫隐藏(在派⽣类成员函数中,可以使⽤基类::基类成员显示访问)
3. 需要注意的是如果是成员函数的隐藏,只需要函数名相同就构成隐藏,不论参数相同与否
4. 注意在实际中在继承体系⾥⾯最好不要定义同名的成员
通过子类调用继承父类的同名函数,如果父类的函数被隐藏则会报错,需要显示指定作用域
class Parent
{
public:
void fun()
{
cout << "fun()" << endl;
}
};
class Child : public Parent
{
public:
void fun(int i)
{
cout << "fun(i)" << endl;
}
};
int main()
{
Parent p;
Child c;
//报错,因为子类中没有参数为空的fun函数,而继承父类中的fun函数被隐藏,所以会报错,指定作用域即可
//c.fun();
c.Parent::fun();
return 0;
}
4.派生类的默认成员函数
6个默认成员函数,默认的意思就是指我们不写编译器会变我们⾃动⽣成⼀个,那么在派⽣类中,这⼏个成员函数是如何⽣成的呢
扩展:初始化的顺序与初始化列表顺序无关,与声明顺序有关
首先回顾一下默认构造完成的操作:
1.对内置类型:不确定
2.对自定义类型:调用默认构造
3.对从基类继承的类型: 将继承而来的成员看做一个整体,调用基类的默认构造
1.派⽣类的构造函数必须调⽤基类的构造函数初始化基类的那⼀部分成员。如果基类没有默认的构造函数,则必须在派⽣类构造函数的初始化列表阶段显示调⽤
class Parent
{
public:
//Parent(const char* name = "zhangsan")
//基类没有默认构造函数
Parent(const char* name)
:_name(name)
{
cout << "Parent(const char* name)" << endl;
}
Parent(const Parent& p)
:_name(p._name)
{
cout << "Parent(const Parent& p)" << endl;
}
Parent& operator=(const Parent& p)
{
cout << "Parent& operator=(const Parent& p)" << endl;
if (this != &p)
{
_name = p._name;
}
return *this;
}
~Parent()
{
cout << "~Parent()" << endl;
}
private:
string _name;
};
class Child : public Parent
{
public:
Child(const char* name,int num)
:Parent(name)//显示初始化
,_num(num)
{
cout << "Child(const char* name,int num)" << endl;
}
private:
int _num;
};
2.派⽣类的拷⻉构造函数必须调⽤基类的拷⻉构造完成基类的拷⻉初始化
对于内置类型:值拷贝
对于自定义类型:默认拷贝构造
对于继承而来的父类成员:调用父类的拷贝构造
所以一般来说子类使用默认拷贝构造函数即可,除非开辟了新的空间需要自定义拷贝构造
class Parent
{
public:
//Parent(const char* name = "zhangsan")
//基类没有默认构造函数
Parent(const char* name)
:_name(name)
{
cout << "Parent(const char* name)" << endl;
}
Parent(const Parent& p)
:_name(p._name)
{
cout << "Parent(const Parent& p)" << endl;
}
Parent& operator=(const Parent& p)
{
cout << "Parent& operator=(const Parent& p)" << endl;
if (this != &p)
{
_name = p._name;
}
return *this;
}
~Parent()
{
cout << "~Parent()" << endl;
}
private:
string _name;
};
class Child : public Parent
{
public:
Child(const char* name,int num)
:Parent(name)
,_num(num)
{
cout << "Child(const char* name,int num)" << endl;
}
Child(const Child& c)
:Parent(c)
,_num(c._num)
{
cout << "Child(const Child& c)" << endl;
}
private:
int _num;
};
3.派⽣类的operator=必须要调⽤基类的operator=完成基类的复制。需要注意的是派⽣类的 operator=隐藏了基类的operator=,所以显示调⽤基类的operator=,需要指定基类作⽤域
class Parent
{
public:
//Parent(const char* name = "zhangsan")
//基类没有默认构造函数
Parent(const char* name)
:_name(name)
{
cout << "Parent(const char* name)" << endl;
}
Parent(const Parent& p)
:_name(p._name)
{
cout << "Parent(const Parent& p)" << endl;
}
Parent& operator=(const Parent& p)
{
cout << "Parent& operator=(const Parent& p)" << endl;
if (this != &p)
{
_name = p._name;
}
return *this;
}
~Parent()
{
cout << "~Parent()" << endl;
}
private:
string _name;
};
class Child : public Parent
{
public:
Child(const char* name,int num)
:Parent(name)
,_num(num)
{
cout << "Child(const char* name,int num)" << endl;
}
Child(const Child& c)
:Parent(c)
,_num(c._num)
{
cout << "Child(const Child& c)" << endl;
}
Child& operator=(const Child& c)
{
cout << "Child& operator=(const Child& c)" << endl;
if (this != &c)
{
//子类和父类的operator=构成隐藏关系
Parent::operator=(c);
_num = c._num;
}
return *this;
}
private:
int _num;
};
4.派⽣类的析构函数会在被调⽤完成后⾃动调⽤基类的析构函数清理基类成员。因为这样才能保证派⽣类对象先清理派⽣类成员再清理基类成员的顺序
5.派⽣类对象初始化先调⽤基类构造再调派⽣类构造
6.派⽣类对象析构清理先调⽤派⽣类析构再调基类的析构
class Parent
{
public:
//Parent(const char* name = "zhangsan")
//基类没有默认构造函数
Parent(const char* name)
:_name(name)
{
cout << "Parent(const char* name)" << endl;
}
Parent(const Parent& p)
:_name(p._name)
{
cout << "Parent(const Parent& p)" << endl;
}
Parent& operator=(const Parent& p)
{
cout << "Parent& operator=(const Parent& p)" << endl;
if (this != &p)
{
_name = p._name;
}
return *this;
}
~Parent()
{
cout << "~Parent()" << endl;
}
private:
string _name;
};
class Child : public Parent
{
public:
Child(const char* name,int num)
:Parent(name)
,_num(num)
{
cout << "Child(const char* name,int num)" << endl;
}
Child(const Child& c)
:Parent(c)
,_num(c._num)
{
cout << "Child(const Child& c)" << endl;
}
Child& operator=(const Child& c)
{
cout << "Child& operator=(const Child& c)" << endl;
if (this != &c)
{
Parent::operator=(c);
_num = c._num;
}
return *this;
}
~Child()
{
//子类与父类的析构构成隐藏关系,不需要显式调用
//Parent::~Parent();
cout << "~Child()" << endl;
}
private:
int _num;
};
7.因为多态中⼀些场景析构函数需要构成重写,重写的条件之⼀是函数名相同。那么编译器会对析构函数名进⾏特殊处理,处理成destructor(),所以基类析构函数不加virtual的情况下,派⽣类析构函数和基类析构函数构成隐藏关系
5.不可被继承的基类
方法一:将父类的构造函数私有化,这样子类就无法实例化对象
//方法一:将基类的构造函数私有化,这样派生类就无法实例化对象
class Parent
{
private:
Parent()
{
cout << "Parent()" << endl;
}
};
class Child :public Parent
{
public:
Child()
{
cout << "Child()" << endl;
}
};
方法二:C++11新增了final关键字,使得基类不可以被继承
//方法二:C++11新增了final关键字,使得基类不可被继承
class Parent final
{
public:
Parent()
{}
};
class Child :public Parent
{
public:
Child()
{}
};
int main()
{
Child c;
return 0;
}
6.继承与友元
友元不能被继承,也就是说父类的友元不可以访问子类的私有和保护成员,除非是子类与父类共同的友元
//友元不可被继承,父类的友元不能访问子类的保护与私有成员
//前置声明
class Child;
class Parent
{
void friend Display(const Parent& p, const Child& c);
protected:
int _parent;
};
class Child :public Parent
{
protected:
int _child;
};
void Display(const Parent& p, const Child& c)
{
cout << p._parent << endl;
cout << c._child << endl;
}
7.继承与静态成员
基类定义了一个静态成员,那么无论有多少子类都只有一个静态变量成员,即一个static实例
//继承与静态成员
//父类中定义一个静态成员,无论派生出多少子类都只有一个static实例
class Parent
{
public:
static int _parent;
};
int Parent::_parent = 0;
class Child :public Parent
{
public:
int _child;
};
int main()
{
Parent p;
Child c;
cout << &p._parent << endl;
cout << &c._parent << endl;
cout << &c._child << endl;
return 0;
}
8.多继承及菱形继承
8.1继承模型
1.单继承:⼀个派⽣类只有⼀个直接基类时称这个继承关系为单继承
2.多继承:⼀个派⽣类有两个或以上直接基类时称这个继承关系为多继承,多继承对象在内存中的模型是,先继承的基类在前⾯,后⾯继承的基类在后⾯,派⽣类成员在放到最后⾯。
3.菱形继承:菱形继承是多继承的⼀种特殊情况。菱形继承有数据冗余和⼆义性的问题,⽀持多继承就 ⼀定会有菱形继承,像Java就直接不⽀持多继承,规避掉了这⾥的问题,所以实践中我们也是不建议设计出菱形继承这样的模型的
//菱形继承
class Base
{
public:
int _base;
};
class Mother :public Base
{
public:
int _mother;
};
class Father :public Base
{
public:
int _father;
};
class Child :public Father, public Mother
{
public:
int _child;
};
int main()
{
Child c;
cout << c._base << endl;
return 0;
}
这里由于菱形继承所以无法确定访问的_base是哪个类里的成员变量
8.2虚继承
使用virtual关键字来完成虚继承,确保一个变量只存在一个定义,避免二义性,一般地如果有多个子类连续菱形继承,只对继承父类的第一批子类进行virtual关键字修饰,即对产生数据冗余的类进行虚继承即可
//2.虚继承
class Base
{
public:
int _base;
};
class Mother : virtual public Base
{
public:
int _mother;
};
class Father : virtual public Base
{
public:
int _father;
};
class Child :public Father, public Mother
{
public:
int _child;
};
int main()
{
Child c;
Base b;
Father f;
Mother m;
cout << &c._base << endl;
cout << &b._base << endl;
cout << &f._base << endl;
cout << &m._base << endl;
return 0;
}
8.3继承后的指针偏移问题
根据下图我们知道Derive继承了Base1与Base2,其中p3自然指向的是Base1,p1由于是Base1继承而来,就与p3指向同一个位置,而p2则是由于切片后指向的是p1与p3的下一个位置,所以三者的内存地址是:p1==p3!=p2
//继承中的指针偏移问题
class Base1
{
public:
int _b1;
};
class Base2
{
public:
int _b2;
};
class Derive : public Base1, public Base2
{
int _d;
};
int main()
{
Derive d;
Base1* p1 = &d;
Base2* p2 = &d;
Derive* p3 = &d;
cout << &p1 << endl;
cout << &p2 << endl;
cout << &p3 << endl;
return 0;
}
9.继承与组合
public继承是⼀种is-a的关系。也就是说每个派⽣类对象都是⼀个基类对象
• 组合是⼀种has-a的关系。假设B组合了A,每个B对象中都有⼀个A对象
• 继承允许你根据基类的实现来定义派⽣类的实现。这种通过⽣成派⽣类的复⽤通常被称为⽩箱复⽤ (white-box-reuse)。术语“⽩箱”是相对可视性⽽⾔:在继承⽅式中,基类的内部细节对派⽣类可⻅。继承⼀定程度破坏了基类的封装,基类的改变,对派⽣类有很⼤的影响。派⽣类和基类间的依赖关系很强,耦合度⾼
• 对象组合是类继承之外的另⼀种复⽤选择。新的更复杂的功能可以通过组装或组合对象来获得。对象组合要求被组合的对象具有良好定义的接⼝。这种复⽤⻛格被称为⿊箱复⽤(black-box-reuse),因为对象的内部细节是不可⻅的。对象只以“⿊箱”的形式出现。组合类之间没有很强的依赖关系,耦合度低。优先使⽤对象组合有助于你保持每个类被封装。
• 优先使⽤组合,⽽不是继承。实际尽量多去⽤组合,组合的耦合度低,代码维护性好。不过也不太那么绝对,类之间的关系就适合继承(is-a)那就⽤继承,另外要实现多态,也必须要继承。类之间的关系既适合⽤继承(is-a)也适合组合(has-a),就⽤组合。
template<class T>
class vector
{};
// stack和vector的关系,既符合is-a,也符合has-a
template<class T>
class stack : public vector<T>
{};
template<class T>
class stack
{
public:
vector<T> _v;
};
int main()
{
return 0;
}