【C++】关于常引用的问题 #什么是权限放大？权限放小？隐式或强制转换居然还有这一步？...#网站首页 技术杂谈

【C++】关于常引用的问题 #什么是权限放大？权限放小？隐式或强制转换居然还有这一步？...#

坏幸运 2023-05-08 22:30:03

简介【C++】关于常引用的问题 #什么是权限放大？权限放小？隐式或强制转换居然还有这一步？...#

文章目录

前言
关于权限
关于引用与const
关于那秘密的一步
写在最后

前言

引用在c++中的使用非常常见，可以说是很重要的，引用的常引用相关的问题让很多人稍不留神就出错了，这里我们就来谈谈常引用的问题。

关于权限

关于权限有权限缩小和权限放大的问题，比如一个文件，当初它只有读的权限，而现在你给它再加个写的权限，这就是权限放大；又或当初它读，写的权限都有，但你把他某个权限或所有权限都限制了，这就是权限缩小。
在指针和引用赋值中，权限可以缩小，但不可以放大：这里通常指的是变量的值可不可以改的问题，如果说是从改到不能改，这就是将权限缩小了，这是可行的；如果说是从不能改到能改，这就是权限放大了，此时是不行的。
而引用相当于起别名，对于这个别名的权限相对于本名变量有什么变化，这需要自己来决定。当自己决定别名的权限之后（不能与第二点表达的起冲突），对它的使用就要留个心眼。

关于引用与const

const通常就是用来限制变量可以改，也就是这个变量的值不能被修改，结合上面的权限问题，我们来看以下例子：

1.
int a = 10;
const int& ra = a;  // ??
int& raa = ra;  // ??

2.
const int b = 20;
int& rb = b;  // ??
const int& rrb = b;  // ??

对于上述代码的第一种情况：
1. 关于ra，ra是a的别名，并且被const修饰，此时ra的值是不能被修改的（要注意，这里单指ra，只是说不能使用ra对a的值进行修改，使用a修改值还是可以的，注意是单指ra这个别名），由a到ra，很明显改的权限没了，属于权限变小，是可行的。
2. 关于rra，rra是ra的别名，也就是a的别名的别名，本质还是一样的，只不过说，rra是相对于ra起的别名，ra的权限不能改，而rra前面没有const（能读能改），所以由ra到rra属于权限放大，是不可行的。
对于上述代码的第二种情况：
1. 关于 rb ，rb是b的别名，b前面使用了const修饰，说明它不能被修改，而rb前面没有const，说明可读可改，属于权限放大，是不可行的。
2. 关于rrb，rrb也是b的别名，b前面使用了const修饰，rrb前面也使用了const修饰，权限没有变，当然可行。

当我们在使用引用的时候，若是有const出现，那一定要注意权限的问题，不然程序写完一运行全是问题。

关于那秘密的一步

这秘密的一步还是与权限有关，居然是与权限有关，那么指向的对象就只有指针和引用了。

对于这秘密的一步，我们先来看以下例子：

	double b = 13.14;

//1.
	int a = b;  // 隐式类型转换
	int c = (int)b;  // 强制类型转换

//2.
	// 2.1. // 隐式类型转换
	int& rb = b;   // 出错   
	const int& rrb = b;
	// 2.2.  // 强制类型转换
	int& rrrb = (int)b;   // 出错
	const int& rrrrb = (int)b;

情况1：对于情况1，据前面的概念，变量a和c既不是指针也不是引用，所以这里当然是可行的。
情况2：
2.1： rb是b的别名，只不过rb的类型是（int）,b的类型是（double），所以b发生了隐式类型转换，那么这里为什么会出错呢？就是因为那秘密的一步：b的隐式类型转换，转换后的值会先交给一个临时变量tmp（此时tmp变为13），而语法规定，这个tmp是一个常量，当tmp的值再交给rb时，rb是一个别名，前面没有const修饰，具有改的权限，所以这里权限是放大了的，是不可行的。也因此这里会出错。而下一条语句，rrb前面有const修饰，所以没有出错。
2.2：有了2.1的铺垫，实际上强转不强转的无所谓，最终还是归咎到有关const的权限问题，所以要理解那个tmp，也因此这里的rrrb会出错。

当然，对于函数调用，也有相关问题：

1.
void fun(int& rb)  // 权限放大，不行
{
	cout << rb << endl;
}

double b = 13.14;
fun(b); // 隐式类型转换交给一个临时变量，这个临时变量是常量

2.
void fun(const int& rb)  // 权限不变，可行
{
	cout << rb << endl;
}

double b = 13.14;
fun(b); // 隐式类型转换交给一个临时变量，这个临时变量是常量