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

OwnWaterloo

最后一次循环：

p == a; 时， p >= a 条件为真。
执行完循环体， 然后执行 --p; 就越界了， 未定义行为。

下一次判断条件时 p >= a 又是一个未定义行为。

真的很囧……、

zx_wing

原帖由 pmerofc 于 2009-12-17 20:39 发表


循环是因为p

原来你一直说的无定义行为是指这个。

那我能大胆的告诉你，你这个指针不管指向哪儿，就算是指向内核，指向BIOS，只要你不去读、写它地址里的内容，这个行为永远是有定义的，是符合标准的。
指针指向哪儿，标准是管不着的。
那段标准里的话不是说
int a[10]
int * p = a -1;
这个行为是无定义的，而是指你读写p中内容的行为，是无定义的。

LZ如果对这个问题有疑问，可以重新开个帖子讲。你这个帖子太长太水了。

OwnWaterloo

可能这样好一些， 先将循环框架写好， 然后写循环体。

int a[ size ];
for (int* p = a + size;p != a ; ) {
      --p;

      process( *p );
}

OwnWaterloo

虽然我也觉得lz应该早点把他的case说出来。 但我觉得lz这种精神是没错的。
for (p=a+size;p!=a ; ) {
      --p;
      *p;
}

也是值得的。

原帖由 zx_wing 于 2009-12-17 20:47 发表
那我能大胆的告诉你，你这个指针不管指向哪儿，就算是指向内核，指向BIOS，只要你不去读、写它地址里的内容，这个行为永远是有定义的，是符合标准的。

这句话就确实太大胆了。 标准都说了这是未定义行为， 你怎么非要说这是有定义的。

你可以说即使这不符合标准， 但这个行为不会出错。

但这真的不会出错？ 假设这么一种情况 ： 指针由segment + offset 组成。
++, -- 不改变segment 只改变offset。
以 [0,0] 作为null。

假设某个数组其实位置是： [3, 0]， 当指针已经指向这个位置时， --可能就会回绕。
有可能就死循环了。

chenzhanyiczy

原帖由 OwnWaterloo 于 2009-12-17 21:07 发表
虽然我也觉得lz应该早点把他的case说出来。 但我觉得lz这种精神是没错的。
for (p=a+size;p!=a ; ) {
      --p;
      *p;
}

也是值得的。


这句话就确实太大胆了。 标准都说了这是未定义行为， 你 ...

指针可以指向任何地址，但不能读写任何地址。。。

既然指针可以指向任何地址，那么标准说的“未定义行为”指的就是读写操作了

研究生怎么学习C语言的？？？

OwnWaterloo

int* p = NULL; 说服不了他的。 他肯定会告诉你， 系统不可能给你分配一个数组， 位置在NULL上。
所以，一定要出奇制胜： segment+ offset模型，虽然不会分配到NULL上， 但offset依然可能出现回绕


确实，问题的核心就是标题。
但是， 如果你列出case， 就至少能说明这样写会引发underflow。
underflow本身不一定是错误，但对你的case来说，就是一个错误了。

如果你不列出这个case， 要证明a-1 会引起 crash …… 那还真不好证明……