在类中存储的闭包中通过引用捕获的临时的生命周期

Question

请考虑以下代码段：

struct foo { };

template <typename F>
struct impl : F
{
    impl(F&& f) : F{std::move(f)} { }
    auto get() { return (*this)(); }
};

template <typename X>
auto returner(X&& x)
{
    return impl{[&x]{ return x; }};
//               ^~
}

int main()
{
    auto x = returner(foo{}).get();
}

live example on wandbox.org

---

• 是否保证foo{}将在整个returner(foo{}).get()表达期间存活？
• 或者foo{}只为returner(foo{})活着，因此在调用impl::get()时会导致不确定的行为？

---

该标准在[class.temporary]中说：

临时对象被破坏，作为评估（词法上）包含创建它们的点的完整表达式的最后一步。

在[intro.execution]

一个完整的表达是

• 一个未评估的操作数，
• 一个常数表达式，
• init-declarator或mem-initializer，包括初始化程序的组成表达式，
• 调用在临时对象（[class.temporary]）以外的对象的生命周期结束时生成的析构函数，或者
• 一个表达式，它不是另一个表达式的子表达式，也不是完整表达式的一部分。

我不确定与foo{}相关的完整表达是否是returner(foo{})或returner(foo{}).get()。

Answer 1

这里重要的部分是：

完整表达式是一个表达式，它不是另一个表达式的子表达式，也不是完整表达式的一部分。

所以在returner(foo{}).get()中，returner(foo{})是returner(foo{}).get()表达式的子表达式，所以它不是一个完整的表达式。因此：

是否保证foo{}将在整个returner(foo{}).get()表达期间存活？

是。