临时变量
临时变量是一种只在调用期间有效,且具有常性的变量。
Date &d1 = 2022;//报错
因为该语句会先将2022赋值给临时变量,而临时变量是const的,无法直接赋值给d1,因为这是权限的放大,不合法。
这段代码就是正确的
const Date &d1 = 2022;
那么临时变量是如何产生的呢?
通过各方面资料的查找,总结有三:
①传值返回
我们先看下面代码:
int add(int x,int y)
{
int sum = x + y;
return sum;
}
int main()
{
int a = 10;
int b = 20;
int re = add(a,b);
return 0;
}
在main函数中我们调用add函数,add函数将sum的值返回,然后将sum的值赋值给re,可是当add函数调用一结束,sum作为add中的局部变量就会立即消亡,那么这个时候是如何将sum赋值给re的呢?
实际上这个时候临时变量就产生了关键的作用,编译器会创建一个临时变量,将sum的值拷贝给这个临时变量,返回的实际上是这个临时变量的值,函数调用结束将这个临时变量的值赋值给re。
②强制类型转换
强制类型转换一定会产生临时变量,因为编译器并不会对原变量进行强制类型转换,而是将原变量的值强制类型转换为所转类型的值,然后将强制类型转换后的值赋值给相应类型的临时变量,不会改变原变量的类型。
③给const引用赋值
在此之前,我们得先了解什么是左值和右值
左值是有内存空间的,是可以通过地址访问的的数据对象,例如变量、数组元素、结构成员、引用、解引用的指针,右值是没有内存空间,无法通过地址访问的数据对象,例如字面常量和包含多项的表达式(用引号括起来的字符串除外,它们以数组形式存储在代码段中,可由地址表示)
如果引用变量是const,则编译器将在下面两种情况下生成临时变量:
- 将类型正确的右值赋值给const引用(因为引用变量和其引用对象共享一片内存空间,右值是没有内存空间的,引用变量无法直接引用这个右值,因此必须先创建一个临时变量,将右值赋值给这个临时变量,然后引用变量引用这个临时变量,就比如文章最开始的那两段代码)
- 将类型错误的变量赋值给const引用变量(编译器会将该变量的值强制类型转换为正确类型,然后将类型正确的值赋值给临时变量,再将临时变量赋值给引用,不会改变原变量的类型)
为什么如果会产生临时变量,引用变量必须是const?
因为临时变量具有常性,那么满足上述三种情况产生临时变量,而引用变量不是const,那我们将临时变量赋值给引用变量时,就会造成权限的放大,编译器会报错
int& a = 15;//创建临时变量,将15赋值给临时变量,然后将临时变量的值赋值给引用,const赋值给非const,这是权限的放大,报错!
double b = 10.5;
int& c = b;//将b的值强制类型转换为int类型并赋值给临时变量,然后赋值,同样会造成权限的放大,报错!