const实现机制

以下是一段C程序：

const int a = 1;  

int* b = (int*)&a;  

*b = 31; 

以上代码是可以编译通过并且能够成功运行的，运行后a b的值均为31。

在C中，const修饰的变量不能够被修改，在反汇编后，有const修饰的变量和没有const修饰的变量的结果是一样的。但是如果在程序中对const变量进行修改，编译时就会报错，如：

const int a = 1;

a = 2;

C标准中，并没有const，只是在有了C++后，才将const加入C的标准中。而实际上C对const变量并没有做过多的处理，编译后const和普通变量没有区别，只是在编译的过程中，编译器会检查代码中是否有对const变量进行修改的代码，如果有则向用户报错。在编译过后，const变量就和普通变量相同了。而且，如果使用memset去修改const变量的内容，也完全没有问题，这就可以看出const修饰是属于编译层面的限制，一般不会涉及到运行层面。在C中，const是用于明确的标识出变量或者函数不能被修改，而且这种限制在编译层面进行约束。

编译通过后a和普通变量相同，变量b做修改完全可以，因此该段代码编译可以通过，也可以成功运行。

再看以下一段代码(C++):

#include <iostream>
using namespace std;

void main()
{
    const int a = 2;
    int *b = (int *) &a;
    *b = 3;
    cout << a <<endl;
    cout << (*b) <<endl;
}

这段程序运行出来，a 和 *b的值都没变，还是a = 2, *b = 3;

#include <iostream>
using namespace std;

void main()
{
    int c = 2;
    const int a = c;
    //const int a = 2;
    int *b = (int *)&a;
    *b = 3;
    cout << a <<endl;
    cout << (*b) <<endl;
}

这段程序运行出来，a 和 *b的值都没变，还是a = 3, *b = 3;

原因在于对const 类型,编译器有3种不同的处理.
1. 对于直接已知值的int,long,short,char 类型以及其unsigned版本,即 const int a=2这种, 编译器编译程序之后,程序中所有a出现的地方,全部自动替换成2. 所以,就出现了对于 *b=3 ,在 const int a=2 ;中不会修改a,而在 const int a=c; 中则会修改 a的情况.
2. 对于字符串. 类似 const char *a=”abc”; 这种,同样是不能修改的,不过原因就不再是上面那个,而是因为这个 “abc” 在编译之后是放在程序的”常量段”,这部分是执行文件的一部分,运行期间不可修改,如果强制修改,就会出现 内存读写错误:0x000005不可写 这种错误.
3. 就是文章提到的这种情况, *b=3 会修改const的限制,原因也如文章中所说一致,这个限制只是编译期间限制,运行期间不受影响.对于上面没有提到的类型(包括float,double,以及自定义类型),都会作这种处理.

转载自：http://blog.csdn.net/luoyeaijiao/article/details/7982385