1. const 修饰的指针。
const int *p; //(1)
int const *p; //(2)
int *const p; //(3)
const int *const p; //(4)
(1)const 修饰的是 int,也就是说 const 修饰的是 p 指向的这个 int 值,假如 *p = a,那么就是我们不能通过 *p 来改变 a,但是我们可以改变指针 p 指向的地址,也就是可以让 p = &b,从而改变 *p 的值。
(2)const 修饰的是 *p,也就是说 const 修饰的是 *p(*p = a) 即 a ,那么同上。我们可以改变 p,但是不能通过 *p = 1 来改变 a 的值。
(3)const 修饰的是指针 p,也就是说此时指针 p 的指向不能变了,我们不能让 p = &b 了,即不能改变 p 指向的地址。但是 *p 是可变的,即 a 是可变的,这时我们可以让 *p = 10 来改变 a,这时 a 的值会被修改为10。
(4)const 既修饰 int 又修饰 指针 p,那么 指针 p 和指针 p 指向的对象(也就是a)都不可变。
2. C++与C语言的编译器在处理 const 的时候的异同点。
(1)C++中使用 const 定义一个常量后,并不会为这个常量分配空间,二十将这个常量值写入符号表中,这使得它成为一个编译期间的常量,没有存储和读内存的操作,效率很高。在编译过程中如果发现使用常量,则直接以符号表中的值替换。在编译过程中若发现对const 使用了 extern 或 & 操作符,则会给对应的的常量另外分配存储空间。
但是,请注意!当使用 & 去取这个常量的地址时,编译器会分配一个空间给这个变量,但之后这个变量的值仍旧从符号表中读取,不管存储空间的值如何变化,这个常量的值都不会变化。相当于 存储空间中的是 temp,不管 temp 值如何变化,都不会影响到原来的值。这与 C语言编译器的处理是不同的。
#include<iostream>
using namespace std;
int main(){
const int a = 10;
int *p = (int*)(&a);
*p = 20; //相当于 int temp = a;
cout << a << endl; //输出 10
cout << *p << endl; //输出 20,相当于temp = 20
return 0;
}
(2)C语言中,当使用 const 定义一个常量的时候,编译器会直接开辟一个内存空间来存储该常量,每次存取的时候都是从这个内存空间中存取,因此可以取得 const 变量的地址,然后用这个地址来间接修改 const 变量。
#include<stdio.h>
int main(){
const int a = 10;
int *p = (int*)(&a);
*p = 20; //间接修改了 const 变量 a 的值
printf("%d\n", a); //输出 20
printf("%d\n", *p); //输出 20
return 0;
}
以上面例子为例,我们可以通过对指针 p 的解引用 *p 来修改 a 的值,因为此时 p 指向的是const 变量 a 的地址。
(3)const 修饰的全局变量在 C语言和C++中都是不可修改的。
(4)总结: 在c语言中:对于全局变量:将const修饰的全局变量存储在只读数据段,保存在符号表中,第一次使用的时候再分配内存,程序结束的时候释放。(这个是不能修改的,因为存储在只读数据段中)。
对于局部变量:将const修饰的局部变量存储在栈中,代码块结束的时候释放。这个是可以修改的,因为我们可以取到变量在栈上的地址。
在c++语言中:对于全局变量:是否为const变量分配内存空间取决于const变量的用途。如果是作为一个值(用这个值去替换一个函数名),就不分配空间。如果是对这个全局变量取地址,那么会分配内存,存储在只读数据段。两种都是不能进行修改的。
对于局部变量:如果是 const int a = 100,
直接放进符号表中,不分配内存。如果对其取地址的话,在栈上分配内存空间temp,修改不成功,因为修改的只是temp的值,对在符号表中的a没有影响。如果是 const int a = b
;分配内存,b是个变量,会为a在栈上分配内存,不再是放到符号表中,这样经过间接修改,也是可以将a的值进行修改成功的。如果是自定义的类型,比如类对象,分配内存,也是可以间接的修改成功的。