码迷,mamicode.com
首页 > 其他好文 > 详细

const 引用的分析

时间:2014-09-18 16:20:34      阅读:189      评论:0      收藏:0      [点我收藏+]

标签:style   blog   color   io   os   使用   ar   strong   div   

const 引用:

    在初始化常量引用时,允许用任意表达式作为初始值,只要该表达式的结果能转换成引用的类型即可。尤其,允许为一个常量引用绑定非常量的对象、字面值,甚至是一个表达式。我们来看 const 引用的分析:

#include <iostream>
int main(int argc, char* argv[])
{
    const int &i = 12;
    return 0;
}

该代码的汇编代码如下:

int main(int argc, char* argv[])
{
00964C80  push        ebp  
00964C81  mov         ebp,esp  
00964C83  sub         esp,0D8h  
00964C89  push        ebx  
00964C8A  push        esi  
00964C8B  push        edi  
00964C8C  lea         edi,[ebp-0D8h]  
00964C92  mov         ecx,36h  
00964C97  mov         eax,0CCCCCCCCh  
00964C9C  rep stos    dword ptr es:[edi]  
    const int &i = 12;
00964C9E  mov         dword ptr [ebp-14h],0Ch  
00964CA5  lea         eax,[ebp-14h]  
00964CA8  mov         dword ptr [i],eax  

    return 0;
00964CAB  xor         eax,eax  
} 

我们可以看到,const 引用绑定一个12的时候,相当于有如下的步骤:

int temp = 12;

const int &i = temp;

我们上面分析过,引用实质上是一个指针,绑定一个对象就是保存对象的地址,那么一个12是没有地址的,所以需要一个临时变量。当然如果那个常量本身有地址,那么久直接将其地址保存到引用的内存空间。

下面考虑一个常量引用绑定到另一种类型时发生了什么:

int main(int argc, char* argv[])
{
    double num = 23.2;
    const int &i = num;

    return 0;
}

汇编结果:

    double num = 23.2;
000E436E  movsd       xmm0,mmword ptr ds:[0ECD80h]  
    double num = 23.2;
000E4376  movsd       mmword ptr [num],xmm0  
    const int &i = num;
000E437B  cvttsd2si   eax,mmword ptr [num]  
000E4380  mov         dword ptr [ebp-24h],eax  
000E4383  lea         ecx,[ebp-24h]  
000E4386  mov         dword ptr [i],ecx  

    return 0;
000E4389  xor         eax,eax  
}

 

我们可以看到,这里也是生成了一个临时变量,步骤相当于如下:

const int temp = num;

const int &i = temp;

 

所以,如果 i 不是常量引用,那么就应该允许对 i 所绑定的对象进行修改,但是 temp 是一个临时变量,明显是一个右值,不合法。

 

当然,如果是这样的代码

int main(int argc, char* argv[])
{
    const int num = 23;
    const int &i = num;

    return 0;
}

那么就不需要一个中间变量。

于是这里就出现了一个很有趣的问题,当一个 const 引用绑定一个非常量对象的时候,其行为可能是不同的,比如如下:

int main(int argc, char* argv[])
{
    double num = 23.9;
    const int &i = num;
    num = 54.9;
    cout << i << endl;

    return 0;
}

这份代码的结果是:23

而下面这份:

int main(int argc, char* argv[])
{
    int num = 23;
    const int &i = num;
    num = 54;
    cout << i << endl;

    return 0;
}

结果是 54. 就是因为上面那份生成了一个中间变量的原因。

所以在使用 const 引用绑定非 const 变量的时候要注意这个问题。

const 引用的分析

标签:style   blog   color   io   os   使用   ar   strong   div   

原文地址:http://www.cnblogs.com/xiezhw3/p/3979317.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!