C++中引用的本质分析
1,引用的意义:
1,引用作为变量别名而存在,因此在一些场合可以代替指针;
1,变量的另一个表现形式;
2,交换函数时,可代替指针;
2,引用相对于指针来说具有更好的可读性和实用性;
1,指针类似手动挡车,引用类似于自动挡车;
3,引用实现交换函数;
1,函数中的引用形参不需要进行初始化;
1,调用函数的时候才初始化;
2,const 引用:
1,代码示例:
1 int a = 4; 2 const int& b = a; 3 int* p = (int*)&b; // 等价于取 a 的地址; 4 5 b = 5; // error,只读变量; 6 *p = 5; // ok,修改变量 a 的值;
2,在 c++ 中可以声明 const 引用;
3,const type& name = var;
1,只有这样一种方式,不想 const 指针有四种方式;
4,const 引用让变量拥有只读属性;
1,引用对象是常量还是变量可以决定其所能参与的操作,但对于引用本身 是不是一个常量未做限定;
2,因为引用对象可能是个非常量,所以允许通过其他途径改变它的值;
3,当使用常量对 const 引用进行初始化时,c++ 编译器会为常量值分配空间,并 将引用名作为这段空间的别名;
1,代码示例:
const int& b = 1; // ok,产生空间,值为 1,别名为 b,生成只读变量; int* p = (int*)&b; b = 5; // error,只读变量; *p = 5; // ok,修改变量 a 的值;
1,这个分配的空间的别名是一个临时变量;
2,结论:
1,使用常量对 const 引用初始化后将生成一个只读变量;
4,引用的特殊意义实例分析:
1,main.cpp 文件:
1 #include <stdio.h> 2 3 void example() 4 { 5 printf("example:\n"); 6 7 int a = 4; 8 const int& b = a; // 只读变量; 9 int* p = (int*)&b; 10 11 //b = 5; // error: assignment(赋值) of read-only reference 'b'; 12 13 *p = 5; 14 15 printf("a = %d\n", a); // a = 5; 16 printf("b = %d\n", b); // b = 5; 17 } 18 19 void demo() 20 { 21 printf("demo:\n"); 22 23 const int& c = 1; // 只读变量; 24 int* p = (int*)&c; 25 26 //c = 5; // error: assignment(赋值) of read-only reference 'b'; 27 28 *p = 5; 29 30 printf("c = %d\n", c); // c = 5; 31 } 32 33 int main(int argc, char *argv[]) 34 { 35 example(); 36 37 printf("\n"); 38 39 demo(); 40 41 return 0; 42 }
2,结论:
1,要使一个已经存在的变量拥有只读属性,变成只读变量,定义一个 const 引用即可;
5,引用有自己的存储空间吗?
1,代码示例:
1 struct tref 2 { 3 char& r; 4 }; 5 6 printf("sizeof(tref) = %d\n", sizeof(tref));
6,引用的思考编程实验:
1,main.cpp 文件:
1 #include <stdio.h> 2 3 struct tref 4 { 5 char& r; // 定义引用 r; 6 }; 7 8 int main(int argc, char *argv[]) 9 { 10 char c = 'c'; 11 char& rc = c; 12 tref ref = { c }; // r 引用 c; 13 14 printf("sizeof(char&) = %d\n", sizeof(char&)); // 1;这里求对应的变量大小; 15 printf("sizeof(rc) = %d\n", sizeof(rc)); // sizeof(rc) => 1; 16 17 printf("sizeof(tref) = %d\n", sizeof(tref)); // 4; 18 printf("sizeof(ref.r) = %d\n", sizeof(ref.r)); // sizeof(c) => 1; 19 20 return 0; 21 }
7,引用在 c++ 中的内部实现是一个指针常量:
1,type& name <==> type* const name;
2,void f(int& a) void f(int* const a)
{ {
a = 5; <==> *a = 5; // 内部实现是这样;
} }
3,c++ 编译器在编译过程中用指针常量作为引用的内部实现,因此引用所占用 的空间大小与指针相同;
4,从使用的角度,引用只是一个别名,c++ 为了实用性而隐藏了引用的存储空 间这一细节;
8,引用的存储空间:
1,main.cpp 文件:
1 #include <stdio.h> 2 3 struct tref 4 { 5 char* before; 6 char& ref; 7 char* after; 8 }; 9 10 int main(int argc, char* argv[]) 11 { 12 char a = 'a'; 13 char& b = a; 14 char c = 'c'; 15 16 tref r = {&a, b, &c}; 17 18 printf("sizeof(r) = %d\n", sizeof(r)); // 12; 19 printf("sizeof(r.before) = %d\n", sizeof(r.before)); // 4; 20 printf("sizeof(r.after) = %d\n", sizeof(r.after)); // 4; 21 printf("&r.before = %p\n", &r.before); // 0xbf8a300c; 22 printf("&r.after = %p\n", &r.after); // 0xbf8a3014; 23 24 return 0; 25 }
9,c++ 中的引用旨在大多数情况下代替指针:
1,功能性:可以满足多数需要使用指针的场合;
2,安全性:可以避开由于指针操作不当而带来的内存错误;
3,操作性:简单易用,又不失功能强大;
10,函数返回引用实例分析:
1,main.cpp 文件:
1 #include <stdio.h> 2 3 int& demo() // int* const demo() 4 { 5 int d = 0; // warning: reference to local variable 'd' returned; 6 7 printf("demo: d = %d\n", d); // d = 0; 8 9 return d; // return &d;,返回局部变量地址是不可以的; 10 } 11 12 int& func() 13 { 14 static int s = 0; 15 16 printf("func: s = %d\n", s); // s = 0; 17 18 return s;//这里是可以的;return &s;,地址不会因为函数返回而被摧毁; 19 } 20 21 int main(int argc, char* argv[]) 22 { 23 int& rd = demo(); 24 int& rs = func(); 25 26 printf("\n"); 27 printf("main: rd = %d\n", rd); rd = 13209588; 28 printf("main: rs = %d\n", rs); rs = 0; 29 printf("\n"); 30 31 rd = 10; // 对栈上已经释放的四个字节进行操作赋值,没意义; 32 rs = 11; 33 34 demo(); // d = 0; 每次调用都会被重建; 35 func(); // s = 11; 36 37 printf("\n"); 38 printf("main: rd = %d\n", rd); // rd = 13209588; 39 printf("main: rs = %d\n", rs); // rs = 11; 40 printf("\n"); 41 42 return 0; 43 }
1,引用能在最大程度上避开内存操作错误,但是不能够寄希望于完全避 免,因为它本质是指针;
11,小结:
1,引用作为变量别名而存在旨在代替指针;
2,const 引用可以使得变量只有只读属性;
1,可以避开误对变量赋值;
3,引用在编译器内部使用指针常量实现;
4,引用的最终本质为指针;
5,引用可以尽可能的避开内存错误;