C++进阶学习----const常成员

const关键字在C语言中的应用

常类型是指使用类型修饰符const说明的类型，常类型的变量或对象的值是不能被修改的

const的普通用法

int const index = 10;	//const修饰的变量不能被修改，且必须初始化
const int index = 10;

初始化和赋值

/****初始化****/
int temp = 10;	//定义变量的同时初始化
/****赋值****/
int temp;
temp = 10;		//给变量赋值

这个在C语言的基本数据类型里面有说过

const修饰指针

常量指针

const修饰 *p

int const *p;	//const修饰 *p
const int* p; 	//常量指针 不能通过指针修改p指向的内容(不能修改指向的内容)

指针常量

const 修饰 p

int temp =10;
int* const p = &temp;  //指针常量 不能修改p的指向 且必须初始化

const用于函数的形参

void fun(const int *p);

const用于形参时说明了形参在函数内部不会被改变

const关键字在C++中的应用

const修饰成员变量

class TEST
{
	const int m_tmp;  //常成员变量
public:
	TEST() :m_tmp(10)  //相当于 const int m_a = 10;
	{
		//m_a = 10; //赋值相当于修改值   常变量不能修改
	}
};

常成员变量必须使用初始化列表初始化

const修饰成员函数

类成员函数形参表之后，函数体之前加上const,这样的函数成为常函数

class TEST
{
	int m_money;  
public:
    TEST()  {
         m_money=1000;
    }
	void show() const
	{
        //常成员函数不能修改变量的值，下面是错误示范
		//cout << "资产:" << m_money++ << endl;
        cout << "资产:" << m_money << endl;	//常函数不能修改变量的值
	}
};

const修饰的是什么？

在C语言里面const是用来修饰变量的，那么在C++里面const是用来修饰什么，在C++中const实际修饰的是this指针，上面的代码在编译器看来是这个样子的

class TEST
{
	int m_money;
public:
	TEST(/*TEST* const this*/){
		this->m_money = 100;
	}
	void show(/*const TEST* const this*/) const	//修饰this
	{
		cout << "资产:" << this->m_money << endl;
	}
};

const修饰成员函数构成重载？

是的没错，构成重载，原因是形参不同，构成重载

函数原型相同的成员函数，常版本和非常版本构成重载

class TEST
{
	int m_money;  
public:
    TEST()  {
         m_money=1000;
    }
	void show(/*TEST* const this*/)	//重载
	{
		cout<< "资产:" << m_money++ << endl;
	}
	void show(/*const TEST* const this*/) const
	{
		cout << "const 资产:" << m_money << endl;
	}
};

const成员函数的调用问题

常成员函数不能调用非常成员函数，非常成员函数可以调用常成员函数,如果有重载版本的非常函数，优先调用非常函数

#include<iostream>
using namespace std;
class TEST
{
	int m_money;
public:
	TEST() {
		m_money = 1000;
	}
    /***非常成员函数可以调用常成员函数,如果有重载版本的非常函数，优先调用非常函数***/
	void show(/*TEST* const this*/)
	{
		cout << "资产:" << m_money++ << endl;
		fun();
		foo();
	}
    /***********常成员函数不能调用非常成员函数***********/
	void show(/*const TEST* const this*/) const
	{
		cout << "const 资产:" << m_money << endl;
		//fun(this);	//错误原因不能将“this”指针从“const TEST”转换为“TEST &”	
		foo();
	}
	void fun(/*TEST* const this*/)
	{
		cout << "fun" << endl;
	}
	void foo()	const
	{
		cout << "const:fun" << endl;
	}
};
int main()
{
	TEST test;
	test.show();
	return 0;
}
打印结果：
资产:1000
fun
const:fun

1. 常成员函数不能调用非常成员函数的原因：

是因为this指针的修饰符不同，在const成员函数里面的this指针被const修饰，在const成员函数里面调用非const成员函数时，相当于将const修饰的this指针传给非const成员函数。

2. 非常成员函数可以调用常成员函数的原因：

这个涉及到编译器的原理：提高权限不安全，缩小权限是安全的

这个权限怎么理解：

/***********非常成员函数***********/
void show()
{	
    //this可读写
	cout << "资产:" << m_money++ << endl;
	fun();	//调用非常成员函数 this可读写
	foo();	//调用常成员函数 this可读
}
/***********常成员函数***********/
void show() const
{
    //this可读
	cout << "const 资产:" << m_money << endl;
	//fun(this);	//调用非常成员函数 this可读写	
	foo();			//调用常成员函数 this可读
}
void fun()
{
	cout << "fun" << endl;
}
void foo()	const
{
	cout << "const:fun" << endl;
}

this可读写代表可以访问和修改this里面的成员变量的值

this可读代表可以访问this里面的成员变量的值

3. 非常成员函数可以调用常成员函数,如果有重载版本的非常函数，优先调用非常函数

这个从权限来讲，编译器坚定不移的执行了不背锅精神，编译器认为缩小权限是安全的，扩大权限是危险的，编译器会优先选择最合适的

const修饰对象

被const修饰的对象 意味着对象中的成员数据不可以改内容

• 常对象不能调用非常成员函数，只能调用常函数
• 非常对象(普通对象)可以调用常成员函数如果有重载版本的非常函数，优先非常

原理和const修饰成员函数的原理是一样的，理解了const修饰成员函数 这一部分，那么const修饰对象也很容易理解

关键字 mutable

在C++里面有个在常成员函数中开VIP的存在，这就是mutable

mutable int m_money;//mutable修饰的变量可以在常成员函数中修改