先观察一下的代码:
#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定义的常量,在程序运行时在常量表中,系统为它分配内存。