奇怪的编译器“bug”

今天看到一个很有意思的代码，一不小心，就会被绕进去，会对结果感到很奇怪，以为是编译器的bug

我们定义一个变量a,再获取一下这个变量对应的地址，后面会用到

获取到局部变量a存的地址为0028ff44，在我的C-Free上测试过，每次运行第一个局部变量都是这个地址。

 

 

例1：

执行完 *p=NULL 后  *p变为0了， p没有变化，这个跟我们想的一样，正确

 

 

 

例2：

执行完 *p=NULL 后  p变成了0，这有点奇怪，我们明明改的是p指针指向的内容啊，怎么会连指针p也变了

 

 

 

 

例3：

执行完 *p=NULL 后  *p变为0了， p没有变化，这个跟我们想的一样，正确

 

 

例4：

删除了变量b赋值语句，执行完 *p=NULL 后 ，完了， p又变成了0，好奇怪啊

 

 

例5：

我们把int类型的变量a 直接换成char 类型试试，  执行完 *p=NULL 后  *p变为0了， p没有变化，这个也跟我们想的一样，正确

 

 

例6：

删除了char 类型变量a赋值语句，执行完 *p=NULL 后 ，完了， p直接变成了0x28ff00了，跟0不搭边，跟原来存的地址也完全没关系啊，懵

 

 

其实这不是bug,  定义了第一个局部变量a的时候   a的地址是0x0028ff44， 但是当你删除了a,  那么下面一个指针变量p地址成为了0x0028ff44  ,也就是这个时候你改*p  改的是p指针变量的值

这里*p  和p是同一个东西，所以当你设置*p=NULL的时候，p就变成了0 。看图比较清晰

 

 

最后一个char* 类型的p也是如此，p中保存的地址值是0x28ff44,  因为又是char *类型指针，所以这个指针指向了44， 所以*p=NULL的时候，直接把低地址的一个字节44改成了00。