c++ - C++ 标准中 "as if"规则的声明或基础在哪里？

Question

经过一些谷歌搜索(例如， site:eel.is "as if rule" )我找不到一个合适的地方，在 C++ 标准中明确规定了所谓的“好像”规则。我所能找到的是，在标准中调用它的那些地方，intro.execution给出了引用。

但是 intro.execution 似乎没有明确引用此规则的任何一般形式。我可能在这里遗漏了一些微妙的东西，但是你能指出一个或多个地方，在那里传达了对规则的精确规范性理解吗？也许整个intro.execution确实是为了传达我们所谓的“好像”规则吗？我承认我只是略读了一下。

我正在使用 this website浏览标准的工作草案。

可以找到“好像”规则的定义，例如在 cppreference site 中。 ，因为例如出于优化原因，只要满足某些约束，编译器就可以对程序执行转换。

Answer 1

“好像”规则的定义在 4.1.1/1 的脚注中给出。见 http://eel.is/c++draft/intro.abstract#footnote-4 :

This provision is sometimes called the “as-if” rule, because an implementation is free to disregard any requirement of this document as long as the result is as if the requirement had been obeyed, as far as can be determined from the observable behavior of the program. For instance, an actual implementation need not evaluate part of an expression if it can deduce that its value is not used and that no side effects affecting the observable behavior of the program are produced.