这以什么顺序发生

Question

假设我有一个名为box1 ， box2的实例，然后运行下面的代码。

if(box1->getSize() > box2->copyBox(box1)->getSize())

getSize()返回box的大小， copyBox(box)将box1的数据复制到box2而不是地址。

代码以什么顺序发生？ 我想

1. box1->getSize() ：返回box1的大小
2. box2->copyBox(box1) ： box2现在与box1共享相同的地址，因为它们是同一实例
3. box2->getSize() ：返回box2的大小
4. >运算符：比较box1和box2大小

我找不到VS2017调试器的订单。 谁能告诉我一种使用调试器查找订单的方法，或者至少在此示例中是什么？ 谢谢。

Answer 1

没有。

copyBox不能更改box2的地址。

getSize(10)不是您要分解的上述表达式。

无法保证>的lhs和rhs的评估顺序。

给定exprA > exprB ，编译器可以首先评估exprB或exprA 。 此前C ++ 17它可能甚至evakuate部分exprB ，暂停，做的票面exprA ，在继续exprB ; 这在C ++ 17中可能已经更改（它在某些类似的上下文中确实发生过，并且我在这里不确定）。

在>之前，它必须同时评估exprA和exprB 。

存在这种未指定的执行顺序，以允许不同的编译器以不同的方式解决问题。 它使您可以自由地进行优化，既可以在给定的表达式中进行选择，也可以在编译器如何处理底层细节（如调用约定）方面进行优化。