c++ - 是否可以更改临时对象并将其作为参数传递？

Question

是否可以更改临时对象并将其作为参数传递？

struct Foo {    
   Foo& ref() { return *this; }
   Foo& operator--() { /*do something*/; return *this; }
   // another members
};
Foo getfoo() { return Foo(); } // return Foo() for example or something else
void func_val(Foo x) {}
void func_ref(const Foo & x) {}

int main() {
   func_val(--getfoo());     // #1 OK?
   func_ref(getfoo());       // #2 OK?
   func_ref(getfoo().ref()); // #3 OK?
   // the following line is a real example 
   //    using --vector.end() instead of --getfoo()
   func_ref(--getfoo());     // #4 OK? 

   const Foo & xref = --getfoo(); //  Does const extend the lifetime ?
   func_ref(xref);     // #5 OK? 
   func_val(xref);     // #6 OK? 

}

众所周知，将临时对象分配给 const 引用可延长此临时对象的生命周期。那么我的代码的#4 和#5 行呢？ 引用 x 在函数 func_ref 中总是有效是真的吗？ 问题是 operator-- 返回一些引用，而编译器看不到该引用与我们创建的临时对象之间的任何关系。

Answer 1

临时对象总是在创建它们的完整 表达式的生命周期内存在。因此，在表达式语句 func_val(--getfoo()); 中，getfoo() 表达式返回的临时对象的生命周期不会不需要任何延期。该语句直到 func_val() 返回后才结束。