它得到保障的行为。 实际执行情况如下:

0: enter block (scope)
1: Foo::Foo()
2. evaluation of bar(); as expression in return statement
3. save result of the expression as value returned from function
4. finalize return statement to leave function to its caller (request exit from current scope)
5: exit block (scope) with call to  Foo::~Foo()

此处指标准的一些参考资料:

• What program execution guarantees, generally

1.9 方案执行

10 An instance of each object with automatic storage duration (3.7.2) is associated with each entry into its block.

• The foo is of automatic storage duration 以及:

3.7.2 自动储存期

1 Local objects explicitly declared auto or register or not explicitly declared static or extern have automatic storage duration. The storage for these objects lasts until the block in which they are created exits.

• What is actual effect of return statement

6.6.3 返回声明

2(......)该表述的价值被退回职能召集人

以及

6.6 发言(返回属于跳跃发言)

2 On exit from a scope (however accomplished), destructors (12.4) are called for all constructed objects with automatic storage duration (3.7.2)

• What guarantees that the effect occurs

6.7 声明

2 Variables with automatic storage duration declared in the block are destroyed on exit from the block

以及

12.4 驾驶员

10 Destructors are invoked implicitly (1) for a constructed object with static storage duration (3.7.1) at program termination (3.6.3), (2) for a constructed object with automatic storage duration (3.7.2) when the block in which the object is created exits (6.7)

It is not easy to grasp single idea form details scattered around all the C++ st以及ard. Hopefully, quick overview will help you to make such analysis yourself too.

是的,将向 f的主子提出条条。

The standard says: 6.6: "On exit from a scope (however accomplished), destructors (12.4) are called for all constructed objects with automatic storage duration (3.7.2) (named objects or temporaries) that are declared in that scope, in the reverse order of their declaration."

直到填写返回报表为止,范围一直没有。

必须在清理含有Foo的 st框架之前对 calling( bar)的结果进行评估,因此,在Foo:~Foo(Foo)之前,会叫作是的。

Objects destruct何时离开>。

离开范围,但可在执行<条码>/条码>之前返回。 Ergo,bar()。

只是想到的是,如果是<条码>? 这只是has去工作,如果销毁令有不同,则这sil笑不清,取决于你是否把这一命令当作理由。