同意

【 在 allegro 的大作中提到: 】
: 这是RVO，不是move。欢迎批判。
--
FROM 98.42.143.*

这个不一样，你returned不是一个栈上变量。
【 在 ziqin (子青|会挽雕弓如满月|西北望|射天狼) 的大作中提到: 】
: 标  题: Re: return unique_ptr
: 发信站: 水木社区 (Thu Aug  5 15:12:12 2021), 站内
:
: 其实也有特殊情况，可能是VS2019的bug，不过下面的代码VS2019编不过去，要显示std::move(std::get<0>(res));
:
: struct A
: {
:   std::unique_ptr<int> a;
: };
:
: A f()
: {
:   std::tuple<A, int> res = std::make_tuple(A(), 1);
:   return std::get<0>(res);
: }
:
: 【 在 here080 的大作中提到: 】
: : return一个右值时是guaranteed RVO，形式上可以相当于move
: : 其实1还有另一个更高级的情况：
: : unique_ptr<T> foo() {
: : ...................
:
: --
:
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 125.119.98.*]
--
FROM 76.126.252.*

它是栈上变量的子对象啊。并不是栈上变量本身。

我觉得比较有趣的是这种情况:

struct A {
  unique_ptr<int> x;
};

using Tuple = std::tuple<A&, int>;

A foo() {
  A a;
  Tuple tuple(a, 3);
  return std::get<0>(tuple);
}
=============================================
这里的std::get<0>(tuple)返回的真是一个栈上对象的引用。

我猜仍然是不行的。只有直接返回变量本身才行。
【 在 ziqin (子青|会挽雕弓如满月|西北望|射天狼) 的大作中提到: 】
: 标  题: Re: return unique_ptr
: 发信站: 水木社区 (Thu Aug  5 16:40:05 2021), 站内
:
: std::get<0>(res)的东西不是在栈上？
:
: 【 在 here080 的大作中提到: 】
: : 这个不一样，你returned不是一个栈上变量。
: :
:
: --
:
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 125.119.98.*]
--
FROM 76.126.252.*

RVO的本质是将返回对象直接在调用者的栈上构造。

你这个写法要求res也要构造在调用者的栈上，目前编译器还无法做到。


【 在 ziqin 的大作中提到: 】
: 其实也有特殊情况，可能是VS2019的bug，不过下面的代码VS2019编不过去，要显示std::move(std::get<0>(res));
:
: struct A
: ...................
--来自微水木3.5.11
--
FROM 39.144.44.*

也不行。和之前的写法一样，即要求编译器识别出tuple中元素就是要返回的对象， 从而对它事先进行替换。

【 在 here080 的大作中提到: 】
: 那你看我那个写法？
: 【 在 foliver (Oliver) 的大作中提到: 】
: : 标  题: Re: return unique_ptr
: ...................
--来自微水木3.5.11
--
FROM 140.206.195.*