普通指针修改const 修饰变量时在gcc和g++下不同的结果

转 https://www.cnblogs.com/SleepyDot/articles/4830185.html

在知乎上看到的,记录下来

const在C语言中是表示道义上保证变量的值不会被修改,并不能实际阻止修改,通过指针可以修改常变量的值,但是会出现一些不可知的结果。几种情况不同,我们一个一个来看。

1、直接赋值

const int a = 3;

= 5;

// const.c:6:2: error: assignment of read-only variable ‘a’

这种情况不用多说,编译错。

2、使用指针赋值,@孙健波提到的方法,在gcc中的warning,g++中出现error,是因为代码写得不对,由非const的变成const不用显式的转换,const变为非const需要显式转换,这种情况应当使用显式的类型转换。

const int a = 3;

int* b = (int*&a;

printf("a = %d, *b = %d\n", a, *b);

*= 5;

printf("a = %d, *b = %d\n", a, *b);

运行结果(注:使用msvc编译的结果一致):

$ gcc const.c

$ ./a.out

a = 3, *b = 3

a = 5, *b = 5

$ g++ const.cpp

$ ./a.out

a = 3, *b = 3

a = 3, *b = 5

这里使用g++编译时,a的值之所以没有改变,是因为编译时a是常量,然后被编译器编译为立即数了。因此对使用b指针修改不会更改a的值。

值得注意的是,如果a被定义为全局常变量,使用指针修改会引发segment fault。

在函数的原型中,我们也常用const修饰指针,表示函数的实现者在道义上不会去修改这个指针所指向的空间。例如我们熟知的strcpy函数,原型如下:

char* strcpy(char* dst, const char* src);


传入的参数src类型是const char*,表示函数内部实现不会修改src所指向的空间。之所以说是道义上,是因为在内部通过上述指针强制类型转换的方式可以修改该空间的值。另外,如果我们声明了我们不会修改传入指针的所指向的空间,那么我们也不应当去修改这块空间,因为这个传入的指针可能会是一个不可写的内存,然后出现段错误。

猜你喜欢

转载自blog.csdn.net/Shayne_Lee/article/details/86485379