C++学习笔记之构造函数和析构函数，C++对象模型和this指针

最新推荐文章于 2022-03-12 20:49:01 发布

可别让我逮住你乐

最新推荐文章于 2022-03-12 20:49:01 发布

阅读量195

点赞数

分类专栏： C++ 文章标签： c++ 编程语言

本文链接：https://blog.csdn.net/weixin_46819249/article/details/109883394

版权

C++ 专栏收录该内容

19 篇文章 1 订阅

订阅专栏

文章目录

一、对象特性

一、对象特性

1.对象的初始化和清理

生活中我们买的电子产品都基本会有出厂设置，在某一天我们不用时候也会删除一些我们信息数据保证安全
C++的面向对象来源于生活，每个对象也都会有初始设置以及对象销毁前的清理数据的设置

1.1 构造函数和析构函数

对象的初始化和清理也是两个非常重要的安全问题

一个对象或者变量没有初始状态，对其使用后果是未知的
同样的使用完一个对象或变量，没有及时清理，也会造成一定的安全问题
C++利用构造函数和析构函数解决上述问题，这两个函数将会被编译器自动调用，完成对象的初始化和清理工作

对象的初始化和清理工作是编译器强制要我们做的事情，因此如果我们不提供构造和析构，编译器会提供

编译器提供的构造函数和析构函数是空实现。

构造函数：主要作用在于创建对象时为对象的成员属性赋值，构造函数由编译器自动调用，无须手动调用
析构函数：主要作用在于对象销毁前系统自动调用，执行一些清理工作

构造函数语法：类名（）{}

构造函数，没有返回值也不写void
函数名称与类名相同
构造函数可以有参数，因此可以发生重载
程序在调用对象时会自动调用构造，无须手动调用，而且只会调用一次

析构函数语法：~类名（）{}

析构函数，没有返回值也不写void
函数名称与类名相同，在名称前加上符合~
析构函数不可以有参数，因此不可以发生重载
程序在对象销毁前会自动调用析构，无须手动调用，而且只会调用一次
代码如下（示例）：

#include<iostream>
using namespace std;

class person
{
public:
	//1.构造函数
	person()
	{
		cout << "person 构造函数的调用" << endl;
	}
	//2.析构函数 进行清理的操作
	~person()
	{
		cout << "person 析构函数的调用" << endl;
	}


};

//创建一个对象
void test01()
{
	person p;	//在栈上的数据，test01执行完毕后，释放这个对象
}
int main()
{
	test01();
}

构造函数会在调用对象时执行，若不提供该函数，编译器会自动执行，但是执行的是空实现（即函数里没有代码）
析构函数会在释放对象时执行，若对象在栈区，运行后就会被释放，此时析构函数会执行

1.2 构造函数的分类以及调用

两种分类方式：

按参数分为：有参构造和无参构造（默认构造）
按类型分为：普通构造和拷贝构造

三种调用方式：

括号法
显示法
隐式转换法
代码如下（示例）：

class person
{
public:
	//1.构造函数
	person()
	{
		cout << "person 无参构造函数的调用" << endl;
	}
	person(int a)
	{
		cout << "person 有参构造函数的调用" << endl;
	}
	//拷贝构造函数
	person(const person &p)	//要用引用传入，用const防修改
	{
		//将传入的人身上的所有属性，拷贝到我身上
		age = p.age;
		cout << "person 拷贝构造函数的调用" << endl;
	}


	//2.析构函数 进行清理的操作
	~person()
	{
		cout << "person 析构函数的调用" << endl;
	}

	int age;
};

void test01()
{
	//1.括号法
	person p1; //默认构造函数调用
	person p2(10);//有参构造函数
	person p3(p2);//拷贝构造函数
	//2.显示法
	person p1;
	person p2 = person(10);//有参构造
	person p3 = person(p2);//拷贝构造

	person(10); //匿名对象  特点：当前行执行结束后，系统会立即回收掉匿名对象
	//3.隐式转换法
	person p4 = 10;  //相当于写了person p4 = person(10); 有参构造
	person p5 = p4;  //拷贝构造

}

注意事项：
1.调用默认参数时，不要加小括号
2.不要用拷贝构造初始化匿名对象 person (p3) == person p3; 编译器会认为是对象的声明

1.3 拷贝构造函数调用时机

C++中拷贝构造函数调用时机通常有三种情况

使用一个已经创建完毕的对象来初始化一个新对象
值传递的方式给函数参数传值
以值方式返回局部对象

代码如下（示例）：

#include<iostream>
using namespace std;


class person {
public:
	person()
	{
		cout << "person默认构造函数调用" << endl;
	}
	person(int age)
	{
		m_age = age;
		cout << "person 有参函数的调用" << endl;
	}
	person(const person& p)
	{
		cout << "person 拷贝构造函数的调用" << endl;
		m_age = p.m_age;
	}
	~person()
	{
		cout << "person 析构函数调用" << endl;
	}
	int m_age;
};

//1.使用一个已经创建完毕的对象来初始化一个新对象
void test01()
{
	person p1(20);
	person p2(p1);
	cout << "p2的年龄：" << p2.m_age << endl;
}
//2.值传递的方式给函数参数传值
void dowork(person p)
{
}
void test02()
{
	person p3;
	dowork(p3);
}
//3.值方式返回局部参数
person dowork1()
{
	person p5;
	return p5;
}
void test03()
{
	person p = dowork1();
}
int main()
{
	test01();
	return 0;
}

1.4 构造函数调用规则

默认情况下，C++编译器至少给一个类添加3个函数

默认构造函数（无参，函数体为空）
默认析构函数（无参，函数体为空）
默认拷贝构造函数，对属性进行值拷贝

构造函数调用规则：

如果用户定义有参构造函数，C++不再提供默认无参构造，但是会提供默认拷贝构造
如果用户定义拷贝构造函数，C++不会再提供其他构造函数

1.5 深拷贝和浅拷贝

深浅拷贝是面试经典问题，也是常见的一个坑

浅拷贝：简单的赋值拷贝操作
深拷贝：在堆区重新申请空间，进行拷贝操作

如果利用编译器提供的拷贝构造函数，会做浅拷贝操作
如果有些属性是放在堆区，浅拷贝带来的问题就是堆区的内存重复释放，浅拷贝的问题要利用深拷贝来解决

总结：如果属性有在堆区开辟的，一定要自己提供拷贝构造函数，防止浅拷贝带来的问题

代码如下（示例）：

#include<iostream>
using namespace std;


class person {
public:
	person() {
		cout << "无参构造函数！" << endl;
	}
	person(int age , int height) {
		m_age = age;
		m_height = new int(height);
		cout << "有参构造函数! " << endl;
	}
	//自己实现拷贝构造函数 解决浅拷贝带来的问题
	person(const person& p)
	{
		cout << "person 拷贝构造函数调用" << endl;
		m_age = p.m_age;
		//m_height = p.m_height;编译器默认实现就是这行代码
		//深拷贝操作
		m_height = new int(*p.m_height);
	}
	~person() {
		//析构代码，将堆区开辟数据做释放操作
		if (m_height != NULL)
		{
			delete m_height;
			m_height = NULL;
		}
		cout << "析构函数！" << endl;
	}
	int m_age;
	int* m_height;
};

void test01()
{
	person p1(18,160);
	cout << "p1的年龄为： " << p1.m_age << "身高为：" << *p1.m_height<< endl;
	person p2(p1);
	cout << "p2的年龄为： " << p2.m_age << "身高为：" << *p2.m_height << endl;
}
int main()
{
	test01();
	return 0;
}

1.6 初始化列表

除了构造函数，还有另一种方法初始化属性
作用：C++提供了初始化列表语法，用来初始化属性
语法：构造函数（）：属性1（值1），属性2（值2）...{}
代码如下（示例）：

#include<iostream>
using namespace std;

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) {

	}
	int m_a, m_b, m_c;
};
void test01()
{
	person p(30,20,10);
	cout << "m_a = " << p.m_a << endl;
	cout << "m_b = " << p.m_b << endl;
	cout << "m_c = " << p.m_c << endl;
}
int main()
{
	test01();
	return 0;
}

1.7 类对象作为类成员，构造和析构顺序

C++类中的成员可以是另一个类的对象，我们称该成员为对象成员

例如：

class A{}
class B
{
	A a;
}

B类中有对象A作为成员，A作为对象成员

那么当创建B对象时，A与B的构造和析构的顺序是谁先谁后？
构造是A先B后
析构是B先A后

代码如下（示例）：

#include<iostream>
using namespace std;
#include<string>

//手机类
class phone
{
public:
	phone(string pname):m_pname(pname) { }
	string m_pname; //手机的名称

};
//人的类
class person
{
public:
	person(string name, string pname) : m_name(name), m_phone(pname) //相当于phone m_phone = phone(pname);
	{
	}
	//姓名
	string m_name;
	//手机
	phone m_phone;
};
void test01()
{
	person p("张三", "苹果MAX");
	cout << p.m_name << "拿着: " <<  p.m_phone.m_pname << endl;
	//输出p.m_phone.m_pname
}
int main()
{
	test01();
	return 0;
}

当其他类对象作为本类成员，构造时候先构造类对象，再构造自身。
析构顺序：先析构自身，再析构类成员。

1.8 静态成员

静态成员就是在成员变量和成员函数前加上关键字static,称为静态成员
静态成员分为：

静态成员变量
- 所有对象共享同一份数据
- 在编译阶段分配内存
- 类内声明，类外初始化
- 可以通过对象访问，或通过类名访问
静态成员函数
- 所有对象共享同一个函数
- 静态成员函数只能访问静态成员变量.
- 可以通过对象访问，或通过类名访问

静态成员变量（示例）：

#include<iostream>
using namespace std;

class person
{
public:
	//1.所有对象都共享同一份数据
	//2.编译阶段就分配内存
	//3.类内声明，类外初始化操作
	static int m_a;	//声明

	//静态成员变量也是有访问权限的
private:
	static int m_b;
};
int person::m_a = 100;	// 两冒号是作用域，初始化静态变量
int person::m_b = 200; 

void test01()
{
	person p;
	cout << p.m_a << endl;
	person p2;
	p2.m_a = 200;	//静态变量是共享的，只有一份，修改后就变化了
	cout << p2.m_a << endl;
}
void test02()
{
	//静态成员变量 不属于某个对象上，所有对象都共享同一份数据
	//因此静态成员变量有两种访问方式

	//1.通过对象进行访问
	person p;
	cout << p.m_a << endl;
	//cout << p.m_b << endl;     //p.m_b类外访问不到，私有权限
	//2.通过类名进行访问
	cout << person::m_a << endl;
	
}
int main()
{
	//test01();
	test02();
	return 0;
}

静态成员函数（示例）：

#include<iostream>
using namespace std;

//静态成员函数
//所有对象共享同一个函数
//静态成员函数只能访问静态成员变量
class person
{
public:
	//静态成员函数
	static void func()
	{
		m_a = 100; //静态成员函数 可以访问静态成员变量
		//m_b = 200;	//会报错，静态成员函数 不可以访问 非静态成员变量
					//无法区分到底是哪个对象的m_b;
		cout << "static void func 的调用" << endl;
	}
	static int m_a; //静态成员变量
	int m_b;	//非静态成员变量

	//静态成员函数也是有访问权限的
};

int person::m_a = 0; //静态成员变量初始化
void test01()
{
	//1.通过对象访问
	person p;
	p.func();
	//2.通过类名访问
	person::func();
}

int main()
{
	test01();
	//test02();
	return 0;
}

2.C++对象模型和this指针

2.1 成员变量和成员函数分开存储

在c++中，类内的成员变量和成员函数分开存储

只有非静态成员变量才属于类的对象上

代码如下（示例）：

#include<iostream>
using namespace std;

//成员变量 和 成员函数 分开存储
class person
{
	int m_a; //非静态成员变量， 属于类的对象上
	static int m_b;  //静态成员变量， 不属于类对象上
	void func() { }  //非静态成员函数 ， 不属于类对象上
	static void func2(){ } //静态成员函数 ， 不属于类对象上

};
int person::m_b = 0;

void test01(){
	person p;
	//空对象占用内存空间为1
	//C++编译器会给每个空对象也分配一个字节空间，是为了区分空对象占内存的位置
	//每个空对象也应该有一个独一无二的内存地址
	cout << "size of p = " << sizeof(p) << endl;	
}
int main()
{
	test01();
	return 0;
}

2.2 this指针

通过上一节我们知道在C++中成员变量和成员函数是分开存储的
每一个非静态成员函数只会诞生一份函数实例，也就是说多个同类型的对象会共用一块代码
那么问题是：这一块代码是如何区分哪个对象调用自己的呢？

C++通过提供特殊的对象指针，this指针，解决上述问题，this指针指向被调用的成员函数所属的对象（谁调用，this指针就指向谁）

this指针是隐含每一个非静态成员函数内的一种指针
this指针不需要定义，直接使用即可

this指针的用途：

当形参和成员变量同名时，可用this指针来区分
在类的非静态成员函数中返回对象本身，可使用return *this

代码如下（示例）：

#include<iostream>
using namespace std;

//this指针

//1.解决名称冲突
//2.返回对象本身用 *this

class person
{
public:
	//1.当形参和成员变量同名时，可用this指针来区分
	person(int age)
	{
		//this指针指向 被调用的成员函数 所属的对象
		this->age = age;
	}
	//若是值的方式返回，person personAdd... 就会返回一个创建的新对象
	//但是用引用的方式返回，不会创建新的对象，会一直返回p2
	person& personAddperson(person& p)	//拷贝构造函数，会拷贝出一个新的数
	{
		this->age += p.age;
		//返回对象本身，this指向p2的指针，*this指向这个对象的本体
		return *this;	
	}
	int age;
};
void test01()
{
	person p1 = person(10);
	cout << "p1.age = " << p1.age << endl;

	person p2 = person(10);
	//链式编程思想
	p2.personAddperson(p1).personAddperson(p1).personAddperson(p1).personAddperson(p1).personAddperson(p1);
		cout << "p2.age = " << p2.age << endl;
}
int main()
{
	test01();
	return 0;
}

2.3 空指针访问成员函数

C++中空指针也是可以调用成员函数的，但是要注意有没有用到this指针

如果用到this指针，需要加以判断保证代码的健壮性
代码如下（示例）：

#include<iostream>
using namespace std;

class person
{
public:
	void showclassname()
	{
		cout << "this is person class" << endl;
	}
	void showpersonage()
	{
		if (this == NULL)	//提高代码的健壮性
		{
			return;	
		}
		//报错原因是因为传入的指针为NULL
		cout << "age = " << this->m_age << endl;
	}
	int m_age;
};
void test01()
{
	person* p = NULL;
	p->showclassname();
	//p->showpersonage();
}
int main()
{
	test01();
	return 0;
}

2.4 const 修饰成员函数

常函数:

成员函数后加const后我们称为这个函数为常函数
常函数内不可以修改成员属性
成员属性声明时加关键字mutable后，在常函数中依然可以修改

常对象：

声明对象前加const称该对象为常对象
常对象只能调用常函数

代码如下（示例）：

//常函数
class person
{
public:
	//this指针的本质 是指针常量 指针的指向是不可以修改的
	//const person* const this;	
	//在成员函数后面加const,修饰的是this指针，让指针指向的值也不可以修改
	void showperson()	const
	{
		//this->m_a = 10;
		//this = NULL; //this指针不可以修改指针的指向
		this->m_b = 10;
	}
	void func()
	{
		m_a = 200;
	}
	int m_a;
	mutable int m_b; //特殊变量,即使在常函数中，也可以修改这个值
};
void test01()
{
	person p;
	p.showperson();
}
//常对象

void test02()
{
	const person p1;
	//p1.m_a = 10;	//报错
	p1.m_b = 10;	//m_b是特殊值，在常对象下也可以修改
	p1.showperson();
	//p1.func();	//常对象 不可以调用普通成员函数，因为普通成员函数可以修改属性

}