【C++】剖析const&&初始化列表

Rhzkp

于 2024-12-23 12:12:34 发布

阅读量1k

点赞数 36

文章标签： c++ c语言

本文链接：https://blog.youkuaiyun.com/2401_86275172/article/details/144659705

版权

----------------------------------------------------begin-------------------------------------------------------

const：

取地址运算符重载：

-----------------------------------------------------middle----------------------------------------------------

什么是初始化列表：

初始化列表的特点：

上面我们刚刚剖析了三种默认成员函数的特性和使用，说不头大是不可能的，但是在类和对象中，那只是一部分的重点，在函数和对象之间的联系中，肯定不可能少了我们的老朋友：const

----------------------------------------------------begin-------------------------------------------------------

const：

将const修饰的成员函数称之为const成员函数，const修饰成员函数放到成员函数参数列表的后面
const实际修饰该成员函数隐含的this指针，表明在该成员函数中不能对类的任何成员进⾏修改。

以Print（）函数为例：

#include<iostream>
using namespace std;
class Date
{
public:
	Date(int year = 1, int month = 1, int day = 1) {
		_year = year;
		_month = month;
		_day = day;
	}
	~Date() {
		cout << "~Date()" << endl;
	}

	void Print()const {
		cout << _year << "-" << _month << "-" << _day << endl;
	}

private:
	int _year;
	int _month;
	int _day;
};


int main()
{
	Date d1;
	d1.Print();
	return 0;
}

解析：在print（）函数后加上const，Print隐含的this指针由 Date* const this 变为 const

Date* const this，使权限缩小，导致该成员函数不能对类里面的其他成员进行修改，相当于变得更

安全，更保险~

在const涉及的内容里面还有一个取地址运算符重载，比较容易理解，这里也说一下：

取地址运算符重载：

概念：

取地址运算符重载分为普通取地址运算符重载和const取地址运算符重载，⼀般这两个函数编译器

自动生成的就可以够我们用了，不需要去显示实现。

代码示例：

也可以这么理解：

有些场景就需要自己实现，比如我们不想让别⼈取到当前类对象的地址，就可以自己实现⼀份，胡

乱返回⼀个地址，这样别人就拿不到我们的地址，就算拿到了也是个错误地址，是不是也很安全？

是的是的~

这里说完了，接下来我又要迎来我们的一个新朋友----初始化列表！！

-----------------------------------------------------middle----------------------------------------------------

刚开始学习初始化列表，我们就应该先了解：

什么是初始化列表：

这个带着冒号，后面跟着需要赋值的成员变量的就是初始化列表

初始化列表的特性：

每个成员变量在初始化列表中只能出现⼀次，语法理解上初始化列表可以认为是每个成员变量定义初始化的地方。
初始化列表中按照成员变量在类中声明顺序进行初始化，跟成员在初始化列表出现的的先后顺序无关。建议声明顺序和初始化列表顺序保持一致。

第二点我们可以用代码来举例一下：

#include<iostream>
using namespace std;
class A
{
public:
	A(int a)
		:_a1(a)
		, _a2(_a1)
	{}
		void Print() {
		cout << _a1 << " " << _a2 << endl;
	}
private:
	int _a2 = 2;
	int _a1 = 2;
};
int main()
{
	A aa(1);
	aa.Print();
}

如上图，求解_a1和_a2的值？

结果如下：

也就是说，成员变量的初始化跟你在初始化列表中的先后顺序无关，与声明的顺序有关。

需要使用初始化列表的类型：

引用成员变量，const成员变量，没有默认构造的类类型变量，必须放在初始化列表位置进行初始

化，否则会编译报错。

举例代码如下：

#include<iostream>
using namespace std;
class Time
{
public:
	Time(int hour)
		:_hour(hour)
	{
		cout << "Time()" << endl;
	}
private:
	int _hour;
};

class Date
{
public:
	Date(int& x, int year = 1, int month = 1, int day = 1)
		:_year(year)
		, _month(month)
		, _day(day)
		/*, _t(12)
		, _ref(x)
		, _n(1)*/
	{
		// error C2512: “Time”: 没有合适的默认构造函数可⽤
		// error C2530 : “Date::_ref” : 必须初始化引⽤
		// error C2789 : “Date::_n” : 必须初始化常量限定类型的对象
	}

	void Print() const
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}
private:
	int _year;
	int _month;
	int _day;
	Time _t; // 没有默认构造
	int& _ref; // 引⽤
	const int _n; // const
};
int main()
{
	int i = 0;
	Date d1(i);
	d1.Print();
	return 0;
}

这里就会产生报错，因为原应该在初始化列表的引用成员变量，const成员变量，没有默认构造的类类型变量都没有在初始化列表中！

纠正代码如下：

将这几种类型的变量放入初始化列表进行初始化即可~

#include<iostream>
using namespace std;
class Time
{
public:
	Time(int hour)
		:_hour(hour)
	{
		cout << "Time()" << endl;
	}
private:
	int _hour;
};

class Date
{
public:
	Date(int& x, int year = 1, int month = 1, int day = 1)
		:_year(year)
		, _month(month)
		, _day(day)
		, _t(12)
		, _ref(x)
		, _n(1)
	{
		// error C2512: “Time”: 没有合适的默认构造函数可⽤
		// error C2530 : “Date::_ref” : 必须初始化引⽤
		// error C2789 : “Date::_n” : 必须初始化常量限定类型的对象
	}

	void Print() const
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}
private:
	int _year;
	int _month;
	int _day;
	Time _t; // 没有默认构造
	int& _ref; // 引⽤
	const int _n; // const
};
int main()
{
	int i = 0;
	Date d1(i);
	d1.Print();
	return 0;
}

这里就不存在报错了~

成员变量走初始化列表的顺序：

如图：

注意：如果初始化列表没有显示初始化，就会默认使用缺省值！！

代码举例如下：

#include<iostream>
using namespace std;
class Time
{
public:
	Time(int hour)
		:_hour(hour)
	{
		cout << "Time()" << endl;
	}
private:
	int _hour;
};
class Date
{
public:
	Date()
		:_month(2)
	{
		cout << "Date()" << endl;
	}
	void Print() const
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}
private:
	// 注意这⾥不是初始化，这⾥给的是缺省值，这个缺省值是给初始化列表的
	// 如果初始化列表没有显⽰初始化，默认就会⽤这个缺省值初始化
	int _year = 1;
	int _month = 1;
	int _day;
	Time _t = 1;
	const int _n = 1;
	int* _ptr = (int*)malloc(12);
};
int main()
{
	Date d1;
	d1.Print();
	return 0;
}

理解：如图中对象month所示，如果在初始化列表中进行了初始化，则使用初始化列表初始化的值，否则使用默认的缺省值~

调用结果：