 |
 |
 |
 |
|
|
|
|
|
-- 在输出其旧值之后
才会执行运算, 但这里的``之后"常常被误解。没有任何保证
确保自增或
自减会在输出变量原值之后和对表达式的其它部分进行计算之前立即进
行。也不能保证变量的更新会在表达式 ``完成" (按照 ANSI C 的术语,
在下一个 ``序列点" 之前, 参见问题 3.7) 之前的某个时刻进行。
本例中, 编译器选择使用变量的旧值相乘以后再对二者进行自增运算。
包含多个不确定的副作用的代码的行为总是被认为未定义。(简单而言, ``多个不确定副作用" 是指在同一个表达式中使用导致同一对象修改两 次或修改以后又被引用的自增, 自减和赋值操作符的任何组合。这是一 个粗略的定义; 严格的定义参见问题 3.7, ``未定义" 的含义 参见问题 11.32。) 甚至都不要试图探究这些东西在你的编译 器中是如何实现的 (这与许多 C 教科书上的弱智练习正好相反); 正如 K&R 明智地指出, ``如果你不知道它们在不同的机器上如何实现, 这样的无知可能恰恰会有助于保护你。begintex2html_deferred
参考资料: [K&R1, Sec. 2.12 p. 50]; [K&R2, Sec. 2.12 p. 54]; [ISO, Sec. 6.3]; [H&S, Sec. 7.12 pp. 227-9]; [CT&P, Sec. 3.7 p. 47]; [PCS, Sec. 9.5 pp. 120-1]。
|
|
|
|
|