欢迎来到博主的专栏——C++杂谈
博主ID：代码小豪

const修饰的成员函数并非是在返回值类型用const，而是在成员函数的末尾加上const，比如：

const char& operator[](size_t pos) const;

我们先忽略这个函数的定义是什么，只需要知道一个事情，这个operator []函数是一个成员函数，并且是一个const修饰的成员函数（只有成员函数才能末尾加上const修饰）。

如果你是一个刚从c语言学完过来学c++的人，如果看到这么一个函数声明，我想大概都是一脸懵逼的，因为这个设定有点反直觉了，在C语言当中，const总是放在函数名或变量名的前面起到修饰作用。

那么为什么c++会有这么一个设计呢？这就不得不提到c++的封装这一特性了。

const修饰了什么

const修饰成员函数到底修饰了什么？它的后面并不存在任何标识符。所以不熟悉c++的人初见这个const当然是一头雾水（博主也是）。

这就得说到c++类的封装特性了。在定义的成员函数当中，该成员函数的实际参数并非我们所声明的那样，比如上例中的operator []成员函数，看起来只声明了一个pos参数。实际上所有的成员函数都有一个隐藏的参数，c++称为this指针。

c++规定，this指针不能显示的声明在成员函数当中。所有的成员函数都会存在一个this指针。虽然this指针不能在参数列表当中声明，但我们可以在函数体内使用this指针。

message& operator =(const message& mes)
{
	this->_text = mes._text;
	return *this;
}

this指针是指向调用此函数成员的对象的指针。其类型为object* const this，this指针存在const修饰，因此在成员函数当中对this的指向进行修改是一个非法的操作。

message& operator =(const message& mes)
	{
		this->_text = mes._text;
		this = nullptr;//error,this指针不能被修改
		return *this;
	}

那么问题来了，虽然我们不能修改this指针，但是可以修改this指针指向的数据（*this）。如果我们声明了一个const类型的对象，那么在这个const对象的this指针就应该是这种类型。const object* const this。

在c++中存在权限这一概念，如果一个函数的参数是非const引用或指针类型，那么const的指针或引用参数就不能调用这个函数。我们将其称为c++当中禁止权限的放大。

如何理解这个权限的放大呢？我们拿一个例子举例。比如某个函数的参数是非const类型的引用，而实参缺上传了一个const类型，那么这个非const的引用就能对const类型的对象进行修改，这个对象在设计就确定不能被修改，但是通过某个函数缺将该对象修改了，这被称为权限的放大。在c++中是禁止的。

c++允许权限的缩小，禁止权限的放大，一个非const引用不能指向const对象，但是const引用可以指向非const对象

	const int a = 0;
	int& ra = a;//error，权限的放大。
	int b = 10;
	const int& rb = b;//ok，权限的缩小

让我们回到this指针，我们说到非const的对象的this指针的类型是object* const this，而const对象的this指针的类型是const object* const this。

而一般的成员函数中的this指针是object* const this，因此一般的成员函数是不能作用与const对象的。因此我们需要将成员函数的隐藏参数this指针的类型修改为const object* const this,但是我们不能再参数列表当中显示的将this指针声明为const object* const this。因此c++允许我们将const放在成员函数的后面，将this指针声明为const object* const this。

	char& operator[](size_t pos)；//object*const this

	const char& operator[](size_t pos) const；//const object*const this

• const修饰的成员函数的this指针是const object* const this
• 非const的成员函数this指针是object* const this

const修饰的成员函数是为什么？

前面已经讲完了const修饰的成员函数，其const修饰的不是函数的返回值，也不是参数列表中的参数。而是成员函数当中的this指针，使其函数能作用于const对象。

那么const修饰成员函数的目的是什么呢？

• 只有const修饰的成员函数才能作用与const对象身上
• 能让class接口更加易于理解。函数的使用者可以轻松的得知哪些函数可以改动对象的内容（非const成员函数），哪些函数不会修改对象的内容（const成员函数）。
• 它们使操作const对象变得灵活（如果一个类定义出来的const对象不能被使用，那么这个类就少了不少的用法）

还有一个很重要的特性。如果两个成员函数是const修饰和非const修饰的，那么这两个函数可以重载。我们看看下面这个类。

class message
{
public:
	message(const char* str)
	{
		_text = str;
	}
	char& operator[](size_t pos)//object*const this
	{
		return _text[pos];
	}
	const char& operator[](size_t pos) const//const object*const this
	{
		return _text[pos];
	}

private:
	std::string _text;
};

message的operator []可以被这么使用。

	message text1("hello world");
	cout << text1[1];//调用的是非const版本的operator []
	
	const message text2("hello world");
	cout << text2[2];//调用的是const版本的operator []

重载operator[]还有一个好处。只要给予operator[]不同的返回类型，就可以让const message对象和非const message对象进行不同的处理。

	message text1("hello world");
	text1[1] = 'j';//ok，修改了一个char类型的引用
	cout << text1[1];//ok,返回的是char类型的引用字符
	
	const message text2("hello world");
	text2[2] = 'j';//error,对const char类型的引用进行修改
	cout << text2[2];//ok，返回的是const char类型的字符

注意，会造成这种差异的原因是operator []的返回类型所致。错误的原因是因为一个对const char&的变量进行赋值操作。

问答环节

问：为什么需要将一个成员函数重载成const版本和非const版本？

答：

• 这是由于某些成员函数要考虑到const对象和非const对象调用时造成的不同影响。比如非const对象可以被修改，而const对象不可被修改。除外。c++存在这么一个特性：const修饰的成员函数可以接收const类型的对象的this指针和非const类型的对象的this指针，而非const修饰的成员函数不能接收const类型的对象的this指针。（禁止权限的放大）