c++ - 为什么 C++ 标准 1.9/5 谈论 "possible execution sequences"？

Question

根据 C++03 标准 1.9/5

A conforming implementation executing a well-formed program shall produce the same observable behavior as one of the possible execution sequences of the corresponding instance of the abstract machine with the same program and the same input.

我不明白“作为其中一个”部分。

如果我有一个特定的程序和一个特定的输入，并且我的程序不包含未定义的行为，为什么可观察到的行为会有所不同？ “一种可能的执行顺序”是什么意思？

Answer 1

在 C++ 中，某些事情留给了实现。例如，当你写

int x = f(a) + f(b);

实现可以选择先调用 f(a) 还是先调用 f(b)。