临时对象的成员是否为临时对象？其构造方式是否依赖编译器优化？

好问题！咱们把你的疑问拆成两部分来解释：

临时对象的成员算不算临时对象？ #

严格来说，临时对象的成员本身并不是“临时对象”，但它的生命周期和所属的临时对象完全绑定——当临时对象被销毁时，它的成员也会跟着被销毁。不过更关键的是值类别：当你通过一个右值临时对象访问它的非静态成员时，这个成员表达式的类型是xvalue（亡值），属于右值的一种，这意味着它可以被移动，而不是只能被拷贝。

auto bar = MakeFoo("foo 2").bar;会触发移动还是拷贝？ #

答案是：如果Foo::bar的类型有移动构造函数，那么标准会保证优先调用移动构造，这完全不依赖编译器优化。

具体来说：

• MakeFoo("foo 2")返回的是一个右值临时Foo对象，通过它访问成员bar得到的是一个xvalue（亡值）表达式。
• 当你用这个表达式初始化bar时，编译器会优先匹配接受右值引用的构造函数（也就是移动构造函数）。
• 只有当移动构造函数不存在、不可访问或者被删除时，才会 fallback 到拷贝构造函数。

这里要和你提到的第一个例子区分开：

auto foo = MakeFoo("foo 1");

这个场景下，MakeFoo返回的临时Foo对象是右值，所以同样会触发Foo的移动构造——当然编译器可能会进行返回值优化（RVO），直接在foo的内存位置构造对象，完全跳过移动，但这是编译器的可选优化，语义上标准保证是移动行为，优化只是不改变语义前提下的提速。

补充一点：如果Foo::bar是内置类型（比如int、double），那拷贝和移动没有本质区别，就是直接赋值，不用纠结构造函数的问题。

内容的提问来源于stack exchange，提问作者Scott Minor