C中const的实现机制

同学去参加笔试，遇到一个关于const的问题，大致如下：

有如下代码，问该段代码是否可以编译通过，是否可以运行，运行结果是什么。

const int a = 1;

int* b = (int*)&a;

*b = 31;

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

这道题的关键在于C语言中const的实现机制。在C中，const修饰的变量不能够被修改，在反汇编后，有const修饰的变量和没有const修饰的变量的结果是一样的。但是如果在程序中对const变量进行修改，编译时就会报错，如：

const int a = 1;

a = 2;

这段代码编译时就会报错，error C2166: l-value specifies const object。

那么，C到底是如何实现const的呢。

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

因此在最初那道题，a是const变量，整个代码段没有对a进行修改，因此编译可以通过，编译通过后a和普通变量相同，变量b做修改完全可以，因此该段代码编译可以通过，也可以成功运行。

本人学识有限，若有理解不到位甚至错误之处，还请批评指正。