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成员函数。

  1. 非常成员函数可以调用常成员函数的原因:

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

这个权限怎么理解:

/***********非常成员函数***********/
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里面的成员变量的值

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

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

const修饰对象

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

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

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

关键字 mutable

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

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