雕刻时光

just do it……nothing impossible
  博客园  :: 首页  :: 新随笔  :: 联系 :: 订阅 订阅  :: 管理

从汇编的角度看待const与#define

Posted on 2013-11-24 11:14  huhuuu  阅读(1802)  评论(2编辑  收藏  举报

先观察一下的代码:

#include<stdio.h>

int main(){
    const int i=1;
    int y;
    int *pi=(int*)&i;
    *pi=2;
    y=*pi;

    int tempi;
    tempi=i;

    printf("i=%d\n",i);
    printf("tempi=%d\n",tempi);
    printf("y=%d\n",y);
}

输出的是

i=1
tempi=1
y=2

观察内存

在执行完*pi=2后

i被神奇的修改了,但是

tempi=i 后 tempi 依旧1

这时观察汇编

你惊奇地发现,在编译成汇编的时候,temp=i 压根就没有通过i去传递参数,直接就是参数 1替换掉了

在观察printf

同样 i直接 原始值替换,压根就没从i的内存里去取值

 

总结: 

1.很显然pi和&i是一样的,也就是说地址是相同的。但i是一个常量,而*pi是一个变量。
2. 编译器对待常量和变量的处理时不一样的。虽然编译器为常量i分配了一个地址,但是常量并不储存在那个地址上,而是用一个立即数直接代替它。

 

后来又看了一下网上的资料:

发现这还有个名字,叫做“常量折叠”

比如const int i=2*2, 在预编译的时候都会将 i 替换为4,编译器确实将2*2算成4了,以后碰到i就用4替换,这个计算2*2的过程据说叫常量折叠--const folding,而用4替换i的过程叫做复写传播--copy propagation.他们都是编译器的优化技术。  因为编译器在优化的过程中,会把碰见的const全部以内容替换掉(跟宏似的: #define pi 3.1415,用到pi时就用3.1415代替),这个出现在预编译阶段;但是在运行阶段,它的内存里存的东西确实改变了!

发现问题:

这个时候,以为问题结束了么,问题又来了,既然const的机制有点像#denfine宏定义,那么为什么好要有const呢

#include<stdio.h>

#define x 2+3

int main(){
    int y=2+3;

    printf("x=%d\n",x/2);
    printf("y=%d\n",y/2);
}

在使用#define的时候要注意了 

#define x (2+3) 

 

参考:《高质量C++/C编程指南》

C++ 语言可以用const 来定义常量,也可以用#define 来定义常量。但是前者比后者有更多的优点:
(1) const 常量有数据类型,而宏常量没有数据类型。编译器可以对前者进行类型安全检查。而对后者只进行字符替换,没有类型安全检查,并且在字符替换可能会产生意料不到的错误(边际效应)。
(2) 有些集成化的调试工具可以对const 常量进行调试,但是不能对宏常量进行调试。规则5-2-1:在C++ 程序中只使用const 常量而不使用宏常量,即const 常量完全取代宏常量。

2.实现机制

宏是预处理命令,即在预编译阶段进行字节替换。const常量是变量,在执行时const定义的只读变量在程序运行过程中只有一份拷贝(因为它是全局的只读变量,存放在静态存储区的只读数据区。根据c/c++语法,当你声明该量为常量,即告诉程序和编译器,你不希望此量被修改。 程序的实现,为了保护常量,特将常量都放在受保护的静态存储区内。凡是试图修改这个区域内的值,都将被视为非法,并报错。 这不能理解为凡是字符串都是放在静态存储区域的。这个跟数据类型没有关系,而是这个量是变量还是常量的问题。例如,一个字符串变量就是可以被修改的。 这种静态存储区域的保护机制是由编译器实现的,而非存储该值的内存的电器属性。换言之,实质上内存永远都可以被用户随意修改,只是编译器给用户的代码注入了一些自己的保护代码,通过软件手段将这段内存软保护起来。这种保护在汇编级别可以轻松突破,其保护也就无效了。)。

3.用法区别

define宏定义和const常变量区别:
1.define是宏定义,程序在预处理阶段将用define定义的内容进行了替换。因此程序运行时,常量表中并没有用define定义的常量,系统不为它分配内存。const定义的常量,在程序运行时在常量表中,系统为它分配内存。