标签:c++
C++编程语言中,对于常量的引用是一个非常重要的应用技巧。在这篇文章中,我们将会为大家详细介绍一下有关C++常量引用的相关应用方法,相信大家可以从中学到很多知识。
如果是对一个常量进行引用,则编译器首先建立一个临时变量,然后将该常量的值置入临时变量中,对该引用的操作就是对该临时变量的操作。对C++常量引用可以用其它任何引用来初始化;但不能改变。
关于引用的初始化有两点值得注意:
(1)当初始化值是一个左值(可以取得地址)时,没有任何问题;
(2)当初始化值不是一个左值时,则只能对一个const T&(常量引用)赋值。而且这个赋值是有一个过程的:
首先将值隐式转换到类型T,然后将这个转换结果存放在一个临时对象里,最后用这个临时对象来初始化这个引用变量。在这种情况下,const T&(常量引用)过程中使用的临时对象会和const T&(常量引用)共存亡。
例子:
- double& dr = 1; // 错误:需要左值
- const double& cdr = 1; // ok
第二句实际的过程如下:
- double temp = double(1);
- const double& cdr = temp;
作函数参数时:
- // bc_temp_objects_not_bound_to_nonconst_ref.cpp
- // compile with: /EHsc
- #include "iostream"
- using namespace std;
- class C {};
- void f(C & c) { cout << "C&" << endl; }
- void f(C const & c) { cout << "C const &" << endl; }
- int main() {
- f(C());
- }
结果:
C const &
更直接的,用基本类型:
- #include <iostream>
- using namespace std;
- void display(int const &ref) {cout<<ref<<‘\n‘;}
- int main()
- {
- int i=1;
- display(i);
- int const anotheri=2;
- display(anotheri);
- display(2);
- display(1+2);
- display(static_cast<int>(3.14159));
- }
通过C++常量引用从函数返回一个局部对象:
一般从一个函数返回一个局部对象的引用是不对的:
- T & my_op ( void )
- {
- T t;
- return t;
- } // The T object t got destroyed here so the returned reference is not valid anymore.
特殊情况:返回一个常引用
- const T & my_op ( void )
- {
- T t;
- return t;
- }
- const T & my_t_obj = my_op ();
在这个情况下,局部变量 t 不会被直接析构,而是会保留到 my_t_obj 的生命周期结束为止。
总之,C++常量引用语法上可以引用一个临时变量。这种方法在使用引用作函数参数和返回局部变量时有意义。我目前看来常量引用主要用在作函数参数或保证不修改原变量的时候。
注释:
最后再举例说明一下,
int& rint = 12; //错误
const int& rint =12;//正常编译通过
引用rint指向编译器隐式分配内存并创建的匿名int类型临时对象。对rint引用的任何操作都会影响匿名临时对象,而不会影响常量12.同时编译器也会确保这样的匿名临时对象会将生命期扩展到初始化后的引用存在的全部时域。看下面的代码
short s = 123;
const int& rint = s;
s = 321;
const int* ip = &rint;
printf("rint is %d ,s is %d \n",rint,s);
printf("ip is %d ,&s is %d \n",ip,&s);
输出结果:
rint is 123,s is 321
ip is 2030760 &s is 2030764
可以看出rint应用默认值并不是s,而是常量引用初始化过程中隐式使用的匿名对象。但是这里看以看出来从s到rint是经过隐式转化的,若果将short修改为int 那么就不会出现上面的情况
标签:c++
原文地址:http://blog.csdn.net/yusiguyuan/article/details/41553887