c++ - 函数调用中临时对象的生命周期

Question

请看下面的代码示例:

(一)

#include <iostream>
#include <utility>
struct wrapper {
  int&& x;
};

void f(wrapper a) { std::cout << std::move(a.x) << std::endl; }
int g() { return 0; }

int main() {
  f(wrapper{g()});
}

(乙)

#include <iostream>
#include <utility>
struct wrapper {
  int&& x;
};
wrapper make_wrapper(int&& x) {
  return{ std::move(x) };
}

void f(wrapper a) { std::cout << std::move(a.x) << std::endl; }
int g() { return 0; }

int main() {
  f(make_wrapper(g()));
}

这些例子有效吗？也就是说，在 f 执行完成之前，由 g 创建的临时对象是否仍然存在？当 f 将其参数作为引用时会发生什么？

Answer 1

两个代码示例均有效。

在您的代码中创建的唯一临时文件是 int从 g() 返回, wrapper从 make_wrapper 返回和 wrapper通过 wrapper{...} 中的聚合初始化创建.

所有这些都发生在完整表达式的词汇上

f(wrapper{g()});

或

f(make_wrapper(g()));

并且通常临时对象的生命周期在创建它们的完整表达式的末尾结束。因此，在对 f 的调用中，您所有的临时对象都存活到相应行的末尾。 ，并且它们都不会在其生命周期之外使用。

此生命周期规则只有少数异常(exception)，所有异常(exception)都会延长生命周期。事实上绑定(bind)临时int从 g() 返回到 int&&通过聚合初始化的子对象实际上将临时对象的生命周期延长到引用的生命周期。

因此

wrapper w{g()};

实际上不会有悬挂引用成员，即使在下面的语句中也是如此。