谁能告诉我这个是为什么？

ezioma

这个不对
pmerofc 发表于 2011-04-23 22:34

愿闻其详

duwei211

我猜下，要看内存怎么分配的了，可能a[-1]使用的内存空间刚好是i存放值的地方。

duwei211

我刚才试了一下，不一样

1. 
   
2. 0xbfeda554,0xbfeda560
   
3. i=-1217103952
   

复制代码

duwei211

我运行的结果

1. &a[-1]=0xbfdbdb84,&i=0xbfdbdb90
   
2. &a[0]=0xbfdbdb88
   
3. i=-1216362576
   

复制代码

cokeboL

未定义行为
和 i ++   +  i ++  问题的性质一样
KBTiller 发表于 2011-04-22 08:49

    个人觉得这个不算吧。//仔细想想，确实应该是，因为代码中确实不该有这种形式出现，都该是未定义行为。

   但对这个问题的结果，a[-1] 对应的解引用操作也就相当于 *(a-1)，也就是数组a前面那个int。

   至于为什么和 i 的地址相等，这个要看linu内存的格式了吧。可以参考APUE大概第七章那个图：

                      -------------------
                           |                |
                           |                |
                           --------------
                 低地址 |                |  堆
                           |                |               
                           |                |
                           |                |  int  i
                           |                |  int a[2]
                           |                |
                 高地址 ---------------  栈

    int数组a和int型 i 属局部变量，都在栈空间分配，压栈分配时地址是由高到低分配的，也就是说先分配了数组a，a在高地址，接下来 分配了 i, 中间未分配其他，那么 i 应该在 a 的地址前面挨着，如图，所以 i 的地址正好为a-1，运行结果正常。

    当然，如果情况比较复杂就得看具体问题了。

    我觉得这种做法应该算数组越界的一种，同样可以导致数据脏吧~

    一点拙见，不知道对不对。

cokeboL

这个不对
pmerofc 发表于 2011-04-23 22:34

    我觉得这种写法是不该有的，但是针对这个问题这个解释应该是正确的吧

cokeboL

你能否用27楼的理论解释一下这个么
   ( (int *)0 ) [ - 1 ]
pmerofc 发表于 2011-04-25 16:41

    不能解释。27楼是针对LZ的问题解释为什么&a[-1] = &i。

   [(int*)0)[-1] 的话，用户空间的0地址本身貌似是不可读不可写吧？-1地址应该是没有的。
   如果是硬件操作的话，记不清在哪瞟过一眼，有些设备确实是有负地址的，那样的话还是能取到，但做法依然应该是属于未定义那一类（这个我改过看法）。

   最近刚开始学和看帖子，而且没记牢，忘记了是在哪找，您给讲解一下吧。