关于++x的问题求教 - 编程论坛

#2

rjsp2019-10-24 16:00

你这是未定义行为（undefined behavior），就是C标准认为没有任何理由存在，对此没有任何规定的行为。比如数组越界访问等等就属于未定义行为。

打个预防针：任何给你解释为什么结果是什么什么，或让你/给你看汇编的，都是分不清未定义行为（undefined behavior）与实现定义行为（implementation-defined behavior）区别的渣滓

#3

rjsp2019-10-24 16:16

你可以看看 https://zh. 最后面的例子

1) 若对一个标量对象的副效应与另一个对同一标量对象的副效应相对无顺序，则行为未定义。
  i = ++i + i++; // 未定义行为
  i = i++ + 1; // 未定义行为
  f(++i, ++i); // 未定义行为
  f(i = -1, i = -1); // 未定义行为

2) 若一个标量对象上的副效应与另一个使用同一标量对象之值的值计算相对无顺序，则行为未定义。
  f(i, i++); // 未定义行为
  a[i] = i++; // 未定义行为

3) 只要至少一个子表达式的排序容许这种无顺序副效应，就应用上述规则。

#4

c小白23332019-10-24 21:44

回复 3楼 rjsp

前辈
是不这类未定义的程序本身就有问题
所以相当于一个错误的程序所以他的结果是反逻辑的
不用考虑上面所说的“为什么得出结果，怎样得出结果”之类的傻问题
所以只要知道这类错误
并且在使用时避免它的出现，就可以了

#5

rjsp2019-10-25 08:54

回复 4楼 c小白2333

未定义行为基本上都是没法作规定的行为，比如数组越界等等。当然，也不是绝对没办法，只是代价太大，得不偿失而已。
而 ++i + ++i 之所以规定为未定义行为，是因为“代码优化”，要“代码优化”的话，编译器必须作出一定的假设，比如不对同一个变量多次读读写写，否则不敢优化，每次优化结果不一样怎么行。
当然了，这也不是绝对的，如果某天C标准规定 ++i + ++i 不再是未定义行为的话，也不奇怪。

在目前，++i + ++i 是未定义行为的状态下，编译器从未考虑过这种状况该怎么办，那么出现任何结果都是可能的。如果出现符合作者期望的结果，那只能算是巧合而已，而不是必然。比如gcc的某个版本曾遇到 ++i + ++i 就自动启动一个游戏，这恶作剧式的行为是符合C标准规定的。