请教一个基础问题——数组名减1是否可以

beepbug

原帖由 pmerofc 于 2009-12-17 19:29 发表
刚好出现指针指向数组之前一个对象的情况
...

“数组之前一个对象”？你以为是“数组之前一个对象”，或你安排了“数组之前一个对象”，但是，编译器并不保证它正好位于数组前，因为C标准没定义这个。编译器甲可能将该数组和该对象正好安排在紧邻，编译器乙也可能将它哥俩安排个两地分居，甚至相距十万八千里。
C标准没规定，源码里相邻定义的两对象，在目的码里也是相邻的。

system888net

原帖由 zx_wing 于 2009-12-17 20:47 发表


那段标准里的话不是说
int a[10]
int * p = a -1;
这个行为是无定义的，而是指你读写p中内容的行为，是无定义的。 ...

感觉这个说的挺有道理.

system888net

原帖由 OwnWaterloo 于 2009-12-15 04:25 发表
既然你也读了标准， 也知道这是未定义行为， 为什么要去验证它是否真的会错呢？？？
既然标准说这是未定义行为， 你就无法证明它在所有平台上都有正确行为。
无论你能够通过实验证明它在1个平台、2个平台、n个 ...

感觉这个说的也挺有道理.

system888net

lz 的这个提法在一些特定的应用场合还是有作用的.

比如:

1. 
   
2.          char *p;
   
3.          char *any;
   
4.          char mcb[10];
   
5.          int i;
   
6. 
   
7.          p=new char[100];
   
8.          any=p;
   
9.          for(i=0;i++;i<4)
   
10.          {
    
11.              any--;
    
12.              mcb[i]=*any;
    
13.          }
    

复制代码

system888net

这时候减一操作就是有意义的了,因此从这个角度来说,LZ的探索是有意义的.
实际上是应用条件和场合决定了一个说法是对的还是错的,或者说是有意义的还是无意义的,因此都是相对的.



[ 本帖最后由 system888net 于 2009-12-18 20:38 编辑 ]

system888net

原帖由 pmerofc 于 2009-12-18 21:28 发表


在下愚昧
没看懂您想说明的问题
能否再详细说明一下
谢谢

参考一个实际的例子:
http://bbs.chinaunix.net/viewthread.php?tid=1388714&page=1