继承——面向对象编程的基石

1. 继承的概念及定义

1.1 继承的概念

继承(inheritance)机制是⾯向对象程序设计使代码可以复⽤的最重要的⼿段，它允许我们在保持原有类特性的基础上进⾏扩展，增加⽅法(成员函数)和属性(成员变量)，这样产⽣新的类，称派⽣类。继承呈现了⾯向对象程序设计的层次结构，体现了由简单到复杂的认知过程。以前我们接触的函数层次的复⽤，继承是类设计层次的复⽤。
下⾯我们看到没有继承之前我们设计了两个类Student和Teacher，Student和Teacher都有姓名 / 地址 /电话 / 年龄等成员变量，都有identity⾝份认证的成员函数，设计到两个类⾥⾯就是冗余的。当然他们也有⼀些不同的成员变量和函数，⽐如⽼师独有成员变量是职称，学⽣的独有成员变量是学号；学⽣的独有成员函数是学习，⽼师的独有成员函数是授课。

class Student
{
public:
//身份
void identity()
{
// ...
}
// 学习
void study()
{
// ...
}
protected:
string _name = "peter"; // 姓名
string _address; // 地址
string _tel; // 电话
int _age = 18; // 年龄
int _stuid; // 学号
};
class Teacher
{
public:
//身份
void identity()
{
// ...
}
// 授课
void teaching()
{
//...
}
protected:
string _name = "张三"; // 姓名
int _age = 18; // 年龄
string _address; // 地址
string _tel; // 电话
string _title; // 职称
};
int main()
{
return 0;
}

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.2 定义格式

下⾯我们看到Person是基类，也称作⽗类。Student是派⽣类，也称作⼦类。

三种继承方式

三种访问

1.2.3 继承基类成员访问方式的变化

1.  基类private成员在派⽣类中⽆论以什么⽅式继承都是不可⻅的。这⾥的不可⻅是指基类的私有成员还是被继承到了派⽣类对象中，但是语法上限制派⽣类对象不管在类⾥⾯还是类外⾯都不能去访问它。
2. 基类private成员在派⽣类中是不能被访问，如果基类成员不想在类外直接被访问，但需要在派⽣类中能访问，就定义为protected。可以看出保护成员限定符是因继承才出现的。
3. 实际上⾯的表格我们进⾏⼀下总结会发现，基类的私有成员在派⽣类都是不可⻅。基类的其他成员在派⽣类的访问⽅式 == Min(成员在基类的访问限定符，继承⽅式)，public > protected >private。
4. 使⽤关键字class时默认的继承⽅式是private，使⽤struct时默认的继承⽅式是public，不过最好显⽰的写出继承⽅式。
5. 在实际运⽤中⼀般使⽤都是public继承，⼏乎很少使⽤protetced / private继承，也不提倡使⽤protetced / private继承，因为protetced / private继承下来的成员都只能在派⽣类的类⾥⾯使⽤，实际中扩展维护性不强。

 1.3 继承类模板

namespace bit
template<class T>
class stack : public std::vector<T>
{
public:
void push(const T& x)
{
// 基类是类模板时，需要指定⼀下类域，
// 否则编译报错:error C3861: “push_back”: 找不到标识符
// 因为stack<int>实例化时，也实例化vector<int>了
        // 但是模版是按需实例化，push_back等成员函数未实例化，所以找不到
//push_back(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()
{
bit::stack<int> st;
st.push(1);
st.push(2);
st.push(3);
while (!st.empty())
{
cout << st.top() << " ";
st.pop();
}
return 0;
}

在C++中，当在一个派生类中调用一个基类的成员函数时，如果该成员函数在派生类中被覆盖（即派生类中有同名函数），那么需要使用作用域解析运算符 :: 来明确指出你想要调用的是哪个版本的函数。这是因为在派生类的作用域内，默认情况下会优先调用派生类自己的成员函数。

由于 stack 类继承自 std::vector<T> ，因此也会隐式地实例化一个 std::vector<int> 对象。
在代码中， bit::stack 类模板继承自 std::vector<T> ，这意味着 stack 类中的每个对象都会包含一个 std::vector 对象。当你创建一个 bit::stack<int> 对象时，比如在 main 函数中的 bit::stack<int> st; ，你实际上是在创建一个包含 std::vector<int> 的 stack<int> 对象。

在代码中， stack 类继承自 std::vector<T> ，并且提供了自己的 push 、 pop 、 top 和 empty 成员函数。这些函数覆盖了 std::vector<T> 中的同名函数。因此，当你想要调用 std::vector<T> 中的原始函数时，你需要使用 vector<T>:: 来指定。
例如，如果直接写 push_back(x); ，编译器会认为你想要调用 stack 类中的 push_back 函数（如果存在的话），而不是 std::vector<T> 中的 push_back 函数。但是，由于 stack 类中的 push 函数实际上是想要调用基类 std::vector<T> 的 push_back 函数，所以你需要用 vector<T>::push_back(x); 来明确指出。
这样做的原因是为了解决名称隐藏的问题。在C++中，当派生类有一个与基类同名的成员函数时，基类的同名成员函数会被隐藏，除非使用作用域解析运算符 :: 来指定。这是C++中的一个特性，旨在允许派生类覆盖基类的行为，同时仍然能够访问基类的原始行为。
因此，在代码中：

void push(const T& x)
{
    vector<T>::push_back(x); // 明确调用基类的push_back函数
}

使用 vector<T>::push_back(x); 是为了确保调用的是 std::vector<T> 的 push_back 函数，而不是 stack 类中可能覆盖的同名函数。 

 2. 基类和派生类间的转换

• public继承的派⽣类对象 可以赋值给 基类的指针 / 基类的引⽤。这⾥有个形象的说法叫切⽚或者切割。寓意把派⽣类中基类那部分切出来，基类指针或引⽤指向的是派⽣类中切出来的基类那部分。
• 基类对象不能赋值给派⽣类对象。 
• 基类的指针或者引⽤可以通过强制类型转换赋值给派⽣类的指针或者引⽤。但是必须是基类的指针是指向派⽣类对象时才是安全的。

class Person
{
protected :
string _name; // 姓名
string _sex; // 性别
int _age; // 年龄
};
class Student : public Person
{
public :
int _No ; // 学号
};
int main()
{
Student sobj ;
// 1.派⽣类对象可以赋值给基类的指针/引⽤
Person* pp = &sobj;
Person& rp = sobj;
// 派⽣类对象可以赋值给基类的对象是通过调⽤后⾯会讲解的基类的拷⻉构造完成的
Person pobj = sobj;
//2.基类对象不能赋值给派⽣类对象，这⾥会编译报错
sobj = pobj;
return 0;
}

3. 继承中的作用域 

3.1 隐藏规则 

// Student的_num和Person的_num构成隐藏关系，容易混淆

class Person
{
protected:
string _name = "张三"; // 姓名
int _num = 111; // 号码
};
class Student : public Person
{
public:
void Print()
{
cout << " 姓名:" << _name << endl;
cout << " 号码:" << Person::_num << endl;
cout << " 学号:" << _num << endl;
}
protected:
int _num = 999; // 学号
};
int main()
{
Student s1;
s1.Print();
return 0;
};

4.派生类的默认成员函数 

4.1 4个常见默认成员函数 

#include<iostream>
using namespace std;
class Person
{
public:
Person(const char* name = "张三")
: _name(name)
{
cout << "Person()" << endl;
}
Person(const Person & p)
: _name(p._name)
{
cout << "Person(const Person& p)" << endl;
}
Person& operator=(const Person & p)
{
cout << "Person operator=(const Person& p)" << endl;
if (this != &p)
_name = p._name;
return *this;
}
~Person()
{
cout << "~Person()" << endl;
}
protected:
string _name; // 姓名
};
class Student :public Person
{
public:
Student(const char* name,int num)
: Person(name)
,_num(num)
{
cout << "Student()" << endl;
}
Student(const Student& s)
: Person(s)
, _num(s._num)
{
cout << "Student(const Student& s)" << endl;
}
Student& operator=(const Student& s)
{
cout << "Student& operator= (const Student& s)" << endl;
if (this != &s)
{
Person::operator=(s);
_num = s._num;
}
return *this;
}
~Student()
{
cout << "~Student()" << endl;
}
protected:
int _num;
};
int main()
{
Student s1("1", 18);
Student s2(s1);
Student s3("2", 17);
s1 = s3;
return 0;
}

 4.2 实现一个不能被继承的类

class Base final
{
public:
void func5() { cout << "Base::func5" << endl; }
protected:
int a = 1;
private:

};
class Derive :public Base
{
void func4() { cout << "Derive::func4" << endl; }
protected:
int b = 2;
};
int main()
{
Base b;
Derive d;
return 0;
}

友元关系不能继承，也就是说基类友元不能访问派⽣类私有和保护成员 。

class Student;
class Person
{
public:
friend void Display(const Person& p, const Student& s);
protected:
string _name; // 姓名
};
class Student : public Person
{
protected:
int _stuNum; // 学号
};
void Display(const Person& p, const Student& s)
{
cout << p._name << endl;
cout << s._stuNum << endl;
}
int main()
{
Person p;
Student s;
// 编译报错：error C2248: “Student::_stuNum”: ⽆法访问 protected 成员
// 解决⽅案：Display也变成Student 的友元即可
Display(p, s);
return 0;
}

6.继承与静态成员 

class Person
{
public:
string _name;
static int _count;
};
int Person::_count = 0;
class Student : public Person
{
protected:
int _stuNum;
};
int main()
{
Person p;
Student s;
// 这⾥的运⾏结果可以看到⾮静态成员_name的地址是不⼀样的
// 说明派⽣类继承下来了，⽗派⽣类对象各有⼀份
cout << &p._name << endl;
cout << &s._name << endl;
// 这⾥的运⾏结果可以看到静态成员_count的地址是⼀样的
// 说明派⽣类和基类共⽤同⼀份静态成员
cout << &p._count << endl;
cout << &s._count << endl;
// 公有的情况下，⽗派⽣类指定类域都可以访问静态成员
cout << Person::_count << endl;
cout << Student::_count << endl;
return 0;
}

 7.1 继承模型

多继承：⼀个派⽣类有两个或以上直接基类时称这个继承关系为多继承，多继承对象在内存中的模型是，先继承的基类在前⾯，后⾯继承的基类在后⾯，派⽣类成员在放到最后⾯。

菱形继承：菱形继承是多继承的⼀种特殊情况。菱形继承的问题，从下⾯的对象成员模型构造，可以看出菱形继承有数据冗余和⼆义性的问题，在Assistant的对象中Person成员会有两份。

class Person
{
public:
string _name; // 姓名
};
class Student : public Person
{
protected:
int _num; //学号
};
class Teacher : public Person
{
protected:
int _id; // 职⼯编号
};
class Assistant : public Student, public Teacher
{
protected:
string _majorCourse; // 主修课程
};
int main()
{
Assistant a;
    // 编译报错：error C2385: 对“_name”的访问不明确
// a._name = "a";
// 需要显⽰指定访问哪个基类的成员可以解决⼆义性问题，但是数据冗余问题⽆法解决
a.Student::_name = "b";
a.Teacher::_name = "c";
return 0;
}

 7.2虚继承

class Person
{
public:
string _name;
};
// 使⽤虚继承Person类
class Student : virtual public Person
{
protected:
int _num; //学号
};
// 使⽤虚继承Person类
class Teacher : virtual public Person
{
protected:
int _id; // 职⼯编号
};
// 教授助理
class Assistant : public Student, public Teacher
{
protected:
string _majorCourse; // 主修课程
};
int main()
{
// 使⽤虚继承，可以解决数据冗余和⼆义性
Assistant a;
a._name = "peter";
return 0;
}

 思考题

class Person
{
public:
Person(const char* name)
:_name(name)
{}
string _name; // 姓名
};
class Student : virtual public Person
{
public:
Student(const char* name, int num)
:Person(name)
, _num(num)
{}
protected:
int _num; //学号
};
class Teacher : virtual public Person
{
public:
Teacher(const char* name, int id)
:Person(name)
, _id(id)
{}
protected:
int _id; // 职⼯编号
};
// 不要去玩菱形继承
class Assistant : public Student, public Teacher
{
public:
Assistant(const char* name1, const char* name2, const char* name3)
:Person(name3)
, Student(name1, 1)
, Teacher(name2, 2)
{}
protected:
string _majorCourse; // 主修课程
};
int main()
{
// 思考⼀下这⾥a对象中_name是"张三", "李四", "王五"中的哪⼀个？
Assistant a("张三", "李四", "王五");
return 0;
}

 在这段代码中， Assistant  类继承自 Student  和 Teacher ，而这两个类又都通过虚拟继承继承自 Person  类。这意味着在 Assistant  类的对象中， Person  类的实例只会有一个，避免了菱形继承中的问题。

在  Assistant  类的构造函数中，有三个参数分别用于初始化  Student 、 Teacher  和  Person  的  _name  成员。这里需要注意的是， Person  类的构造函数被显式调用了三次，但由于  Student  和  Teacher  都通过虚拟继承继承自  Person ，所以  Person  类的构造函数实际上只会被调用一次，且只会初始化一个  _name  成员。 
在  Assistant  类的构造函数中， Person(name3)  是显式调用的，而  Student(name1, 1)  和  Teacher(name2, 2)  的构造函数中也隐式地调用了  Person  的构造函数。但由于虚拟继承， Person  类的构造函数只会被执行一次，使用的是最后一个显式调用的参数，即  Person(name3)  中的 "王五"。

7.3多继承中指针偏移问题

class Base1 { public: int _b1; };
class Base2 { public: int _b2; };
class Derive : public Base1, public Base2 { public: int _d; };
int main()
{
Derive d;
Base1* p1 = &d;
Base2* p2 = &d;
Derive* p3 = &d;
return 0;
}

在这段代码中， Derive  类继承自两个基类  Base1  和  Base2 ，这意味着  Derive  对象  d  包含了  Base1  和  Base2  的成员。 p1 、 p2  和  p3  是指向  Derive  对象  d  的不同类型指针。
1.  Base1* p1 = &d; ： p1  是一个指向  Base1  类型的指针，它被初始化为指向  Derive  类型的对象  d  的地址。这意味着  p1  指向  d  中  Base1  部分的起始地址。
2.  Base2* p2 = &d; ： p2  是一个指向  Base2  类型的指针，它也被初始化为指向  Derive  类型的对象  d  的地址。这意味着  p2  指向  d  中  Base2  部分的起始地址。
3.  Derive* p3 = &d; ： p3  是一个指向  Derive  类型的指针，它被初始化为指向  Derive  类型的对象  d  的地址。这意味着  p3  指向整个  Derive  对象  d  的起始地址。

故有p1 == p3 != p2

8. 继承和组合

8.1 继承和组合

• public继承是⼀种is-a的关系。也就是说每个派⽣类对象都是⼀个基类对象。
• 组合是⼀种has-a的关系。假设B组合了A，每个B对象中都有⼀个A对象。
• 继承允许你根据基类的实现来定义派⽣类的实现。这种通过⽣成派⽣类的复⽤通常被称为⽩箱复⽤(white-box reuse)。术语“⽩箱”是相对可视性⽽⾔：在继承⽅式中，基类的内部细节对派⽣类可⻅ 。继承⼀定程度破坏了基类的封装，基类的改变，对派⽣类有很⼤的影响。派⽣类和基类间的依赖关系很强，耦合度⾼。
• 对象组合是类继承之外的另⼀种复⽤选择。新的更复杂的功能可以通过组装或组合对象来获得。对象组合要求被组合的对象具有良好定义的接⼝。这种复⽤⻛格被称为⿊箱复⽤(black-box reuse)，因为对象的内部细节是不可⻅的。对象只以“⿊箱”的形式出现。 组合类之间没有很强的依赖关系，耦合度低。优先使⽤对象组合有助于你保持每个类被封装。
• 优先使⽤组合，⽽不是继承。实际尽量多去⽤组合，组合的耦合度低，代码维护性好。不过也不太那么绝对，类之间的关系就适合继承(is-a)那就⽤继承，另外要实现多态，也必须要继承。类之间的关系既适合⽤继承(is-a)也适合组合(has-a)，就⽤组合。

// Tire(轮胎)和Car(⻋)更符合has-a的关系
class Tire 
{
protected:
string _brand = "a"; // 品牌
size_t _size = 17; // 尺⼨
};
class Car {
protected:
string _colour = "⽩⾊"; // 颜⾊
string _num = "00000"; // ⻋牌号
Tire _t1; // 轮胎
Tire _t2; // 轮胎
Tire _t3; // 轮胎
Tire _t4; // 轮胎
};

// Car和A/B(品牌)更符合is-a的关系
class A : public Car 
{
public:
void Drive() { cout << "好开-操控" << endl; }
};
class B : public Car 
{
public:
void Drive() { cout << "好坐-舒适" << endl; }
};

// stack和vector的关系，既符合is-a，也符合has-a
template<class T>
class vector
{};
template<class T>
class stack : public vector<T>
{};
template<class T>
class stack
{
public:
vector<T> _v;
};

原文地址：https://blog.csdn.net/2401_84107961/article/details/143534216

免责声明：本站文章内容转载自网络资源，如本站内容侵犯了原著者的合法权益，可联系本站删除。更多内容请关注自学内容网（zxcms.com）！