3. C++类与对象:封装、多态、继承
C++面向对象的三大特性为:封装、多态、继承
对于C++来说,万事万物皆为对象,对象上有其属性和行为
注意:本文章基本没有附上代码运行结果,希望大家自己放进vscode中跑一下,把我注释掉说运行报错的语句去掉注释符,然后看看为什么报错,这样可以帮助各位读者更好地理解,因为运行结果实在太多种,大家最好还是自己跑一跑
文章目录
3.1 封装
3.1.1 封装的意义
- 封装意义一:
在设计类的时候,属性和行为写在一起,表现事物
语法: class 类名{ 访问权限: 属性 / 行为 };
- 封装意义二:
类在设计时,可以把属性和行为放在不同的权限下,加以控制
访问权限有三种:
权限标识 | 权限名称 | 类内 | 类外 |
---|---|---|---|
public | 公共权限 | 类内可以访问 | 类外可以访问 |
protected | 保护权限 | 类内可以访问 | 类外不可以访问 |
private | 私有权限 | 类内可以访问 | 类外不可以访问 |
3.1.2 struct和class区别
唯一区别: 默认访问权限不同
- struct 默认权限为公共
- class 默认权限为私有
3.1.3 成员属性设置为私有
优点1:将所有成员属性设置为私有,可以自己控制读写权限
优点2:对于写权限,我们可以检测数据的有效性
因此在封装时,若使用class
class student
{
private: // 默认
string name;
int age;
int stu_id[10];
}
若使用struct
namespace // 将结构体对外隐藏
{
template <typename T>
struct student
{
string name;
int age;
int stu_id[10];
}
}
这样能保证封装内容的独立性与完整性
3.2 对象的初始化和清理
每个对象在生成时会进行初始设置,在销毁前会有清除数据的设置。
3.2.1 构造函数和析构函数
c++提供了构造函数和析构函数完成上述任务,这两个函数将会被编译器自动调用,完成对象初始化和清理工作。
对象的初始化和清理工作是编译器强制要我们做的事情,如果我们不提供构造和析构,编译器会提供
编译器提供的构造函数和析构函数是空实现。
- 构造函数:主要作用在于创建对象时为对象的成员属性赋值,构造函数由编译器自动调用,无须手动调用。
- 析构函数:主要作用在于对象销毁前系统自动调用,执行一些清理工作。
构造函数语法:类名(){}
- 构造函数,没有返回值也不写void
- 函数名称与类名相同
- 构造函数可以有参数,因此可以发生重载
- 程序在调用对象时候会自动调用构造,无须手动调用,而且只会调用一次
析构函数语法: ~类名(){}
- 析构函数,没有返回值也不写void
- 函数名称与类名相同,在名称前加上符号
~
- 析构函数不可以有参数,因此不可以发生重载
- 程序在对象销毁前会自动调用析构,无须手动调用,而且只会调用一次
3.2.2 构造函数的分类和调用
两种分类方式:
按参数分为: 有参构造和无参构造
按类型分为: 普通构造和拷贝构造
三种调用方式:
括号法
显示法
隐示转换法
//1、构造函数分类
// 按照参数分类分为 有参和无参构造 无参又称为默认构造函数
// 按照类型分类分为 普通构造和拷贝构造
class Person {
public:
//无参(默认)构造函数
Person() {
cout << "无参构造函数!" << endl;
}
//有参构造函数
Person(int a) {
age = a;
cout << "有参构造函数!" << endl;
}
//拷贝构造函数
Person(const Person& p) {
age = p.age;
cout << "拷贝构造函数!" << endl;
}
//析构函数
~Person() {
cout << "析构函数!" << endl;
}
public:
int age;
};
//2、构造函数的调用
//调用无参构造函数
void test01() {
Person p; //调用无参构造函数
}
//调用有参的构造函数
void test02() {
//2.1 括号法,常用
Person p1(10);
//注意1:调用无参构造函数不能加括号,如果加了编译器认为这是一个函数声明
//Person p2();
//2.2 显式法
Person p2 = Person(10);
Person p3 = Person(p2);
//Person(10)单独写就是匿名对象 当前行结束之后,马上析构
//2.3 隐式转换法
Person p4 = 10; // Person p4 = Person(10);
Person p5 = p4; // Person p5 = Person(p4);
//注意2:不能利用 拷贝构造函数 初始化匿名对象 编译器认为是对象声明
//Person p5(p4);
}
int main()
{
test01();
//test02();
return 0;
}
3.2.3 拷贝函数
默认情况下,C++便提起至少给一个类添加三个函数
- 默认构造函数(无参,函数体为空)
- 默认析构函数(无参,函数体为空)
- 默认拷贝构造函数,对属性进行值拷贝
- 浅拷贝:简单的复制拷贝操作
- 深拷贝:在堆区重新申请空间,进行拷贝操作
如果属性有在堆区开辟的,一定要自己提供拷贝构造函数,防止浅拷贝带来的问题
注:当对象的数据资源是由指针指向堆时,默认的拷贝函数只是将指针复制,而不会开辟新的内存空间,这样会有两个指针指向同一块内存,当释放指针时,会导致该内存被释放两次,会报错。因此当类中存在指针指向的数据时,需要自己写拷贝构造函数
class Person {
public:
//无参(默认)构造函数
Person() {
cout << "无参构造函数!" << endl;
}
//有参构造函数
Person(int age ,int height) {
cout << "有参构造函数!" << endl;
m_age = age;
m_height = new int(height);
}
//拷贝构造函数
Person(const Person& p) {
cout << "拷贝构造函数!" << endl;
//如果不利用深拷贝在堆区创建新内存,会导致浅拷贝带来的重复释放堆区问题
m_age = p.m_age;
m_height = new int(*p.m_height);
}
//析构函数
~Person() {
cout << "析构函数!" << endl;
if (m_height != NULL)
{
delete m_height;
}
}
public:
int m_age;
int* m_height;
};
void test01()
{
Person p1(18, 180);
Person p2(p1);
cout << "p1的年龄: " << p1.m_age << " 身高: " << *p1.m_height << endl;
cout << "p2的年龄: " << p2.m_age << " 身高: " << *p2.m_height << endl;
}
int main()
{
test01();
return 0;
}
3.2.4 初始化列表(初始化方法)
语法:构造函数():属性1(值1),属性2(值2)... {}
class Person {
public:
传统方式初始化
//Person(int a, int b, int c) {
// m_A = a;
// m_B = b;
// m_C = c;
//}
//初始化列表方式初始化
Person(int a, int b, int c) :m_A(a), m_B(b), m_C(c) {}
private:
int m_A;
int m_B;
int m_C;
};
3.3 继承
我们发现,定义这些类时,下级别的成员除了拥有上一级的共性,还有自己的特性。
这个时候我们就可以考虑利用继承的技术,减少重复代码
3.3.1 继承的基本概念
-
继承的语法
class 子类 : 继承方式 父类
-
继承方式一共有三种:
- 公共继承
- 保护继承
- 私有继承
class Base1
{
public:
int m_A;
protected:
int m_B;
private:
int m_C;
};
//公共继承
class Son1 :public Base1
{
public:
void func()
{
m_A; //可访问 public权限
m_B; //可访问 protected权限
//m_C; //不可访问
}
};
void myClass()
{
Son1 s1;
s1.m_A; //其他类只能访问到公共权限
}
//保护继承
class Base2
{
public:
int m_A;
protected:
int m_B;
private:
int m_C;
};
class Son2:protected Base2
{
public:
void func()
{
m_A; //可访问 protected权限
m_B; //可访问 protected权限
//m_C; //不可访问
}
};
void myClass2()
{
Son2 s;
//s.m_A; //不可访问
}
//私有继承
class Base3
{
public:
int m_A;
protected:
int m_B;
private:
int m_C;
};
class Son3:private Base3
{
public:
void func()
{
m_A; //可访问 private权限
m_B; //可访问 private权限
//m_C; //不可访问
}
};
class GrandSon3 :public Son3
{
public:
void func()
{
//Son3是私有继承,所以继承Son3的属性在GrandSon3中都无法访问到
//m_A;
//m_B;
//m_C;
}
};
注意:父类中私有成员也是被子类继承下去了,只是由编译器给隐藏后访问不到
- 继承中的构造与析构
继承中 先调用父类构造函数,再调用子类构造函数,析构顺序与构造相反
3.3.2 菱形继承
菱形继承概念:
-
两个派生类继承同一个基类
-
又有某个类同时继承者两个派生类
-
这种继承被称为菱形继承,或者钻石继承
可能的问题:最下层子类使用数据时,可能产生二义性,而且继承来自最高基类的数据只需要一份。
为了解决上述问题,我们引入虚继承
class Animal
{
public:
int m_Age;
};
//继承前加virtual关键字后,变为虚继承
//此时公共的父类Animal称为虚基类
class Sheep : virtual public Animal {};
class Tuo : virtual public Animal {};
class SheepTuo : public Sheep, public Tuo {};
void test01()
{
SheepTuo st;
st.Sheep::m_Age = 100;
st.Tuo::m_Age = 200;
cout << "st.Sheep::m_Age = " << st.Sheep::m_Age << endl;
cout << "st.Tuo::m_Age = " << st.Tuo::m_Age << endl;
cout << "st.m_Age = " << st.m_Age << endl; //输出是最后继承的父类数据st.Tuo::m_Age
}
输出:(st.m_Age会等于最后继承的父类数据st.Tuo::m_Age )
st.Sheep::m_Age = 100
st.Tuo::m_Age = 200
st.m_Age = 200
3.4 多态
3.4.1 多态基本概念
多态分为两类
- 静态多态: 函数重载 和 运算符重载属于静态多态,复用函数名
- 动态多态: 派生类和虚函数实现运行时多态
静态多态和动态多态区别:
- 静态多态的函数地址早绑定 - 编译阶段确定函数地址
- 动态多态的函数地址晚绑定 - 运行阶段确定函数地址
多态满足条件:
1、有继承关系
2、子类重写父类中的虚函数
多态使用:
父类指针或引用指向子类对象
class Animal
{
public:
//Speak函数就是虚函数
//函数前面加上virtual关键字,变成虚函数,那么编译器在编译的时候就不能确定函数调用了。
virtual void speak()
{
cout << "动物在说话" << endl;
}
};
class Cat :public Animal
{
public:
void speak()
{
cout << "小猫在说话" << endl;
}
};
class Dog :public Animal
{
public:
void speak()
{
cout << "小狗在说话" << endl;
}
};
//我们传入什么对象,那么就调用什么对象的函数
//如果函数地址在编译阶段就能确定,那么静态联编
//如果函数地址在运行阶段才能确定,就是动态联编
void DoSpeak(Animal & animal)
{
animal.speak(); //传入什么对象,那么就调用什么对象的函数
}
void test01()
{
Cat cat;
DoSpeak(cat);
Dog dog;
DoSpeak(dog);
}
输出:
小猫在说话
小狗在说话
3.4.2 纯虚函数
在多态中,通常父类中虚函数的实现是毫无意义的,主要都是调用子类重写的内容
因此可以将虚函数改为纯虚函数
纯虚函数语法:virtual 返回值类型 函数名 (参数列表)= 0 ;
当类中有了纯虚函数,这个类也称为抽象类
class Base
{
public:
//纯虚函数
//类中只要有一个纯虚函数就称为抽象类
//抽象类无法实例化对象
//子类必须重写父类中的纯虚函数,否则也属于抽象类
virtual void func() = 0;
};
class Son :public Base
{
public:
virtual void func()
{
cout << "func调用" << endl;
};
};
void test01()
{
Base * base = NULL;
//base = new Base; // 错误,抽象类无法实例化对象
base = new Son;
base->func();
delete base;//记得销毁
}
3.5 C++对象模型和this指针
在C++中,类内的成员变量和成员函数分开存储
只有非静态成员变量才属于类的对象上,每一个非静态成员函数只会诞生一份函数实例,也就是说多个同类型的对象会共用一块代码
this指针用于指向被调用的成员函数所属的对象
3.5.1 this指针作用
- 当形参和成员变量同名时,可用this指针来区分
- 在类的非静态函数返回对象本身,可用
return *this
class Person
{
public:
Person(int age)
{
//1、当形参和成员变量同名时,可用this指针来区分
this->age = age;
}
Person& PersonAddPerson(Person p)
{
this->age += p.age;
//返回对象本身
return *this;
}
int age;
};
3.5.2 const修饰成员函数
常函数:
- 成员函数后加const后我们称为这个函数为常函数
- 常函数内不可以修改成员属性
- 成员属性声明时加关键字mutable后,在常函数中依然可以修改
常对象:
- 声明对象前加const称该对象为常对象
- 常对象只能调用常函数
#include <iostream>
using namespace std;
class Person
{
public:
Person() //构造函数
{
m_A = 0;
m_B = 0;
}
// this指针的本质是一个指针常量,指针的指向不可修改
//如果想让指针指向的值也不可以修改,需要声明常函数
void ShowPerson() const
{
// const Type* const pointer;
// this = NULL; //不能修改指针的指向 Person* const this;
// this->m_A = 100; //不可修改
// const修饰成员函数,表示指针指向的内存空间的数据不能修改,除了mutable修饰的变量
this->m_B = 100;
}
void MyFunc() const
{
// m_A = 10000; // 不可修改
cout << "yes I'm here!" << endl;
}
void Hello()
{
cout << "hello" << endl;
}
public:
int m_A;
mutable int m_B; //可修改 可变的
};
// const修饰对象 常对象
void test01()
{
const Person person; //常量对象
cout << person.m_A << endl;
// person.m_A = 100; //常对象不能修改成员变量的值,但是可以访问
person.m_B = 100; //但是常对象可以修改mutable修饰成员变量
//常对象访问成员函数
person.MyFunc(); //常对象只能调用被const修饰的常函数
// person.Hello(); //报错,常对象不可调用普通成员函数
}
int main()
{
test01();
return 0;
}
3.5.3 静态成员
静态成员就是在成员变量和成员函数前加上关键字static
,称为静态成员
- 静态成员变量
- 所有对象共享同一份数据
- 在编译阶段分配内存
- 类内声明,类外初始化
- 静态成员函数
- 所有对象共享同一个函数
- 静态成员函数只能访问静态成员变量
class Person
{
public:
static int m_A; //静态成员变量
int m_C;
static void func()
{
cout << "func调用" << endl;
m_A = 100;
//m_C = 100; //错误,不可以访问非静态成员变量
}
private:
static int m_B; //类外不可访问private
};
int Person::m_A = 10;
int Person::m_B = 10;
3.6 友元
友元的作用:就是让一个函数或者类 访问另一个类中私有成员
友元修饰符:friend
- 全局函数做友元
class Building
{
//告诉编译器 goodGay全局函数 是 Building类的好朋友,可以访问类中的私有内容
friend void goodGay(Building *building);
public:
Building()
{
this->m_SittingRoom = "客厅";
this->m_BedRoom = "卧室";
}
public:
string m_SittingRoom; //客厅
private:
string m_BedRoom; //卧室
};
void goodGay(Building *building)
{
cout << "好基友正在访问: " << building->m_SittingRoom << endl;
cout << "好基友正在访问: " << building->m_BedRoom << endl;
}
//Building b;
//goodGay(&b)
- 类做友元
#include <iostream>
using namespace std;
class Building;
class goodGay
{
public:
goodGay();
void visit();
private:
Building *building;
};
class Building
{
//告诉编译器 goodGay类是Building类的好朋友,可以访问到Building类中私有内容
friend class goodGay;
public:
Building();
public:
string m_SittingRoom; //客厅
private:
string m_BedRoom; //卧室
};
Building::Building()
{
this->m_SittingRoom = "客厅";
this->m_BedRoom = "卧室";
}
goodGay::goodGay()
{
building = new Building;
}
void goodGay::visit()
{
cout << "好基友正在访问" << building->m_SittingRoom << endl;
cout << "好基友正在访问" << building->m_BedRoom << endl;
}
void test01()
{
goodGay gg;
gg.visit();
}
int main()
{
test01();
return 0;
}
- 成员函数做友元
class Building;
class goodGay
{
public:
goodGay();
void visit(); //只让visit函数作为Building的好朋友,可以发访问Building中私有内容
void visit2(); // visit2函数不可以访问Building中的私有内容
private:
Building *building;
};
class Building
{
//告诉编译器 goodGay类中的visit成员函数 是Building好朋友,可以访问私有内容
friend void goodGay::visit();
public:
Building();
public:
string m_SittingRoom; //客厅
private:
string m_BedRoom; //卧室
};
Building::Building()
{
this->m_SittingRoom = "客厅";
this->m_BedRoom = "卧室";
}
goodGay::goodGay()
{
building = new Building;
}
void goodGay::visit()
{
cout << "好基友正在访问" << building->m_SittingRoom << endl;
cout << "好基友正在访问" << building->m_BedRoom << endl;
}
void goodGay::visit2()
{
cout << "好基友正在访问" << building->m_SittingRoom << endl;
// cout << "好基友正在访问" << building->m_BedRoom << endl; //报错,不可访问
}
void test01()
{
goodGay gg;
gg.visit();
}
3.7 关于析构函数与构造函数的补充
3.7.1 C++中析构函数的作用
-
析构函数是一个类的成员函数,名字由波浪号接类名
~student()
构成。它没有返回值,也不接受参数。由于析构函数不接受参数,因此它不能被重载。对于一个给定类,只会有唯一一个析构函数。 -
析构函数和构造函数对应,当对象结束其生命周期,如对象所在的函数已调用完毕时,系统会自动执行析构函数。析构函数释放对象使用的资源,并销毁对象的非static数据成员。
-
当一个类未定义自己的析构函数时,编译器会为它定义一个合成析构函数(即使自定义了析构函数,编译器也总是会为我们合成一个析构函数,并且如果自定义了析构函数,编译器在执行时会先调用自定义的析构函数再调用合成的析构函数)。
合成析构函数按对象创建时的逆序撤销每个非static成员
- 对于某些类,合成析构函数被用来阻止该类型的对象被销毁。否则,合成析构函数的函数体就为空。因此,许多简单的类中没有用显式的析构函数。合成析构函数无法自动释放动态内存。 如果一个类中有指针,且在使用的过程中动态的申请了内存,那么最好显式构造析构函数,在销毁类之前,释放掉申请的内存空间,避免内存泄漏。 类析构顺序:1)派生类本身的析构函数;2)对象成员析构函数;3)基类析构函数。
3.7.2 C++默认的析构函数为什么不是虚函数
C++默认的析构函数不是虚函数是因为虚函数需要额外的虚函数表和虚表指针,占用额外的内存。对于不会被继承的类来说,其析构函数如果是虚函数,就会浪费内存。因此如果定义的类会被继承,一定要重新定义析构函数,并且设置为虚函数。
3.7.3 存在派生类的基类析构函数为什么必须是虚函数
-
对与一个基类和派生类来说,在调用构造函数时先基类的构造函数,再调用派生类的构造函数;而当调用析构函数时,则要先调用派生类再调用基类的析构函数。
-
如果定义了一个指向派生类对象的基类指针,当析构函数为普通函数时,释放该基类指针时,只会调用基类的析构函数,而不会调用派生类的析构函数,会导致内存泄漏。
-
当基类析构函数被定义为虚函数时,在调用析构函数时,会在程序运行期间根据指向的对象类型到它的虚函数表中找到对应的虚函数==(动态绑定)==,此时找到的是派生类的析构函数,调用派生类析构函数之后再调用基类的析构函数,不会导致内存泄漏。
3.7.4 构造函数为什么不能是虚函数
如果构造函数是虚函数,那么一定有一个已经存在的类对象obj,obj中的虚指针来指向虚表的构造函数地址(通过obj的虚指针来调用);可是构造函数又是用来创建并初始化对象的,虚指针也是存储在对象的内存空间的。总的来说就是调用虚函数需要有类的对象,但是构造函数就是用来生成对象的,所以矛盾。
3.7.5 静态函数和虚函数的区别
静态函数在编译时就已确定运行时机,虚函数在运行的时候动态绑定。虚函数因为用了虚函数表机制,调用时会增加一次内存开销。