C++知识点3——const基础

一.const的基本作用

之前所讲的C++中的变量值，都是可以赋值的，如果我们想不允许对变量赋值，那么就要将变量设置为const

void testconst()
{
	const int c=10;
	c=20;
}

可见，只能对const变量进行初始化，不能对其赋值，因为const变量的值不能被改变

 

二.const与引用

1.可以用const来修饰一个引用，称为对const变量的引用，对const变量的引用不能直接修改所绑定的对象（这个性质通常用于函数传参，使传的参数在函数中不能被改变）

void testconst()
{
	int i=2;
	const int &ri=i;
	ri=3;
}

也就是说，无法通过ri来修改i的值

 

2.因为const的变量无法修改，所以不能用一般引用与const变量进行绑定

void testconst()
{
	const int c=10;
	int &ri=c;
}

如果可以通过一般引用来绑定const的变量，那么就可以通过该引用修改const变量，与const的属性相冲突，所以，不能用一般引用与const变量进行绑定

 

3.一般的引用不能与字面值进行绑定，但是const变量的引用可以绑定字面值（因为有const修饰）

而且，const变量的引用不仅可以绑定字面值，还可以绑定一般的对象（允许类型不匹配）

void testconst()
{
	double d=1.2;
	const int &rc=10;
	const int &rc1=d;
	cout<<rc<<endl<<rc1<<endl;
}

正是因为const变量的引用几乎可以绑定任何对象，所以函数的参数一般都设定为const变量的引用，扩大了函数可传参数的范围

此外，由于是按引用传参，所以避免了拷贝，加快了代码的执行速度。

当执行const int &rc1=d;时，rc1并不是真正的和d绑定，而是绑定了一个临时变量，编译器会把这句代码转化成下面这样

const int tmp=d;//类型转换double to int
const int &rc1=tmp;

在这种情况下，引用绑定的是一个临时量对象而不是d本身，而是临时变量tmp。c++认为，常量引用可以绑定这个临时量，而普通引用就不能绑定这个临时量。因为c++认为，使用普通引用绑定一个对象，就是为了能通过引用对这个对象做改变。如果普通引用绑定的是一个临时量而不是对象本身，那么改变的是临时量而不是希望改变的那个对象，这种改变是无意义的。所以规定普通引用不能绑定到临时量上。

那么为什么常量引用就可以呢，因为常量是不能改变的。也就是说，不能通过常量引用去改变对象，那么绑定的是临时量还是对象都无所谓了，反正都不能做改变也就不存在改变无意义的情况。所以常量引用可以绑定临时量，也就可以绑定非常量的对象、字面值，甚至是一般表达式，并且不用必须类型一致。

 

4.因为引用并不是对象，所以不存在const引用（注意理解const变量的引用和const引用的区别）

void testconstreference()
{
	double d=1.2;
	int  &const rc=10;//const的引用
	const int &rc1=d;
	cout<<rc<<endl<<rc1<<endl;
}

const变量的引用与一般引用（见C++知识点——指针、引用基础）的区别

1.一般引用不能绑定字面值。但是const变量的引用就可以

2.一般引用要与绑定的数据的类型一致，但是const变量的引用是个例外

 

三.const与指针

1.const变量的值不能改变，所以想要存放const变量的地址，就需要使用指向const变量的指针

void testconstpointer()
{
	const int i=0;
	const int *pi=&i;
	cout<<pi<<endl;
}

 

2.所以指向const变量的指针的基本作用就是存储const变量的地址，而且const变量的指针也可以存储非常量的地址（类型要匹配），因为pi本身是变量，pi本身并不是const

void testconstpointer()
{
	int i=0;
	const int *pi=&i;
	cout<<pi<<endl;
}

 

3.const变量i的地址不能使用指向非常量的指针来存储，而且非常量的指针也不能指向常量的指针，否则可以通过指针修改const变量。

void testconstpointer()
{
	const int i=0;
	const int *pi=&i;
	int *p=&i;
	cout<<pi<<endl;
}

 

void testconstpointer()
{
	const int i=0;
	const int *pi=&i;
	int *p=π
	cout<<pi<<endl;
}

 

4.因为引用不是对象，但是指针是对象，所以存在const指针

void testconstpointer()
{
	int i=0;
	const int *const pi=&i;
	cout<<pi<<endl;
}

const int *const pi的读法依然采用从右向左的读法

先看到红色的pi，我们知道这是一个变量，接着看到蓝色的const，我们知道他是一个const变量，然后看到绿色的*，我们知道这个是const的指针变量，看到紫色的const int我们知道这个const指针指向一个const int

因为pi用const修饰，所以pi中存储的地址值不能改变，也就是说，pi本身不能改变

void testconstpointer()
{
	int i=0;
	int j=0;
	const int *const pi=&i;
	pi=&j;
	cout<<pi<<endl;
}

 

因为pi指向const int，所以不能通过pi来改变指向的对象的值。

void testconstpointer()
{
	int i=0;
	int j=0;
	const int *pi=&i;
	*pi=10;
	cout<<pi<<endl;
}

通过上面的一些例子可以总结出：可以将一般变量的指针或引用转为const变量的指针或引用，但是反之不可以

 

参考：

《C++ Primer》

https://blog.csdn.net/Colsum/article/details/79095462

 

欢迎大家评论交流，作者水平有限，如有错误，欢迎指出