引用类型和目标变量类型不一致,会发生什么?
C++中,引用类型和目标类型要保持一致,但是如果是常引用,当和目标类型不一致时,编译器是不会报错的
#include <iostream>
using namespace std;
int main(void){
int num = 10;
char& r1 = num; //编译器会报错
const char& r2 = num;//编译器不会报错,可以正常编译
return 0;
}
为什么常引用类型和目标变量类型不一致,但是编译器还能编译通过呢?
这是因为当const引用也就是常引用和目标变量类型不一致时,编译器会创建类型正确的临时变量或者叫匿名变量来保存。
下面的代码进行验证:
#include <iostream>
using namespace std;
int main(void){
int a = 0x12345678;
const char& ra = a;
cout << "-------------------------" << endl;
cout << hex << showbase << a << endl;
cout << hex << showbase << (int)ra << endl;//结果是0x78,a最低位字节的数据
//下面打印地址,是不一样的
cout << "&a = " << &a << endl;
cout << "&ra = " << (void*)&ra << endl;
//重新给a赋值,再分别打印a和ra
cout << "-------------------------" << endl;
a = 0x78563412;
cout << hex << showbase << a << endl;
cout << hex << showbase << (int)ra << endl;
}
下面是运行结果:
首先,变量a的地址和引用ra的地址不一样,并且超过变量a的地址范围,指向的肯定不是同一块内存(ra是创建的匿名变量的引用)。
然后给变量a重新赋值,如果ra是变量a的引用,那么ra的值也会相应地发生变化,但是运行结果显示引用ra的值并没有发生变化,再次证明ra不是变量a的引用,而是程序运行是创建的匿名变量的引用。