当前位置：首页 > article >正文

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

article 2024/12/25 15:10:30

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;
}

下⾯我们公共的成员都放到Person类中，Student和teacher都继承Person，就可以复⽤这些成员，就不需要重复定义了，省去了很多⿇烦。

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 继承定义

1.2.1 继承的基本了解

以下是一些关于基类和派生类的基本概念：
1.基类（父类）
基类是被继承的类，它提供了一些属性和方法，这些可以被子类继承。
2.派生类（子类）
派生类是从基类继承而来的类，它可以添加新的属性和方法，也可以重写基类的方法。
派生方式
派生类可以以三种方式从基类派生：
1.public继承：这是默认的派生方式。在这种方式下，基类的public成员在派生类中仍然是public的，protected成员在派生类中是protected的，而private成员在派生类中仍然是private的，但可以通过基类的public或protected接口访问。
2.protected继承：在这种方式下，基类的public和protected成员在派生类中都变成了protected的。
3.private继承：在这种方式下，基类的public和protected成员在派生类中都变成了private的。

1.2.2 定义格式

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

三种继承方式

三种访问

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

基类private成员在派⽣类中⽆论以什么⽅式继承都是不可⻅的。这⾥的不可⻅是指基类的私有成员还是被继承到了派⽣类对象中，但是语法上限制派⽣类对象不管在类⾥⾯还是类外⾯都不能去访问它。
基类private成员在派⽣类中是不能被访问，如果基类成员不想在类外直接被访问，但需要在派⽣类中能访问，就定义为protected。可以看出保护成员限定符是因继承才出现的。
实际上⾯的表格我们进⾏⼀下总结会发现，基类的私有成员在派⽣类都是不可⻅。基类的其他成员在派⽣类的访问⽅式 == Min(成员在基类的访问限定符，继承⽅式)，public > protected >private。
使⽤关键字class时默认的继承⽅式是private，使⽤struct时默认的继承⽅式是public，不过最好显⽰的写出继承⽅式。
在实际运⽤中⼀般使⽤都是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 隐藏规则

1. 在继承体系中基类和派⽣类都有独⽴的作⽤域。

2. 派⽣类和基类中有同名成员，派⽣类成员将屏蔽基类对同名成员的直接访问，这种情况叫隐藏。

（在派⽣类成员函数中，可以使⽤基类::基类成员显⽰访问）

3. 需要注意的是如果是成员函数的隐藏，只需要函数名相同就构成隐藏。

4. 注意在实际中在继承体系⾥⾯最好不要定义同名的成员。

// 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个常见默认成员函数

6个默认成员函数，默认的意思就是指我们不写，编译器会变我们⾃动⽣成⼀个，那么在派⽣类中，这⼏个成员函数是如何⽣成的呢？

派⽣类的构造函数必须调⽤基类的构造函数初始化基类的那⼀部分成员。如果基类没有默认的构造函数，则必须在派⽣类构造函数的初始化列表阶段显⽰调⽤。
派⽣类的拷⻉构造函数必须调⽤基类的拷⻉构造完成基类的拷⻉初始化。
派⽣类的operator=必须要调⽤基类的operator=完成基类的复制。需要注意的是派⽣类的 operator=隐藏了基类的operator=，所以显⽰调⽤基类的operator=，需要指定基类作⽤域
派⽣类的析构函数会在被调⽤完成后⾃动调⽤基类的析构函数清理基类成员。因为这样才能保证派⽣类对象先清理派⽣类成员再清理基类成员的顺序。
派⽣类对象初始化先调⽤基类构造再调派⽣类构造。
派⽣类对象析构清理先调⽤派⽣类析构再调基类的析构。

#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 实现一个不能被继承的类

⽅法1：基类的构造函数私有，派⽣类的构成必须调⽤基类的构造函数，但是基类的构成函数私有化private以后，派⽣类看不⻅就不能调⽤了，那么派⽣类就⽆法实例化出对象。

⽅法2：C++11新增了⼀个final关键字，final修改基类，派⽣类就不能继承了。

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;
}

5.继承与友元

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

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.继承与静态成员

基类定义了static静态成员，则整个继承体系⾥⾯只有⼀个这样的成员。⽆论派⽣出多少个派⽣类，都只有⼀个static成员实例。

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. 多继承及其菱形继承问题

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;
};

查看全文

http://www.kler.cn/a/383054.html