概念有误,是unspecified behavior,不是undefined behavior。
ISO C99 Annex J.1:
— The order in which subexpressions are evaluated and the order in which side effects
take place, except as specified for the function-call (), &&, ||, ?:, and comma
operators (6.5).