好复杂呀。。。。弄懂这一个特性，都够学一门别的语言了。
【 在 confinement 的大作中提到: 】
: 我知道 unique_ptr 是不能copy的，所以下面的2是错误的，但是1那里是ok的，这个怎么解释呢？  
:  
: #include <iostream>  
: #include <memory>  
:  
: using namespace std;  
:  
: class Foo
: ..................

发自「今日水木 on M2007J17C」
--
FROM 106.121.163.*

赋值和构造是一体的……

copy系的
T& operator=(const T&);
T(const T&);

move系的
T& operator=(T&&);
T(T&&);

RVO是对效率的一种优化，但是不影响程序是否可以编译。
我说了，你试试定义一个不能copy不能move的类？
【 在 bihai (new half life) 的大作中提到: 】
: 标  题: Re: return unique_ptr
: 发信站: 水木社区 (Wed Aug 11 13:05:55 2021), 站内
:
: 所呢？
:
: 楼主给出的例子1是因为它是构造函数constructor，还是属于拷贝构造copy constructor？我觉得反正不是赋值操作copy assignment operator。
: 应该是一种RVO,但是，和move有关系吗？
:
: 【 在 here080 的大作中提到: 】
: : 赋值和构造一般是同时定义的。他们的作用是一体的。
: : 这里因为你返回的对象是一个新对象，当然应该是构造。
: :
:
: --
: 本人创业中，欢迎各路英豪探讨大计
: ※ 修改:·bihai 于 Aug 11 13:11:42 2021 修改本文·[FROM: 98.42.143.*]
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 98.42.143.*]
--
修改:bihai FROM 98.42.143.*
FROM 76.126.252.*

我定义了一个没有赋值构造和拷贝赋值，没有move的类，仍然可以通过楼主的1.我用的是C++17

也就是说，楼主的1，是完全的RVO，没有经过复制，赋值，移动。只是构造。所以可以。


【 在 here080 的大作中提到: 】
: 赋值和构造是一体的……
: copy系的
: T& operator=(const T&);
: ...................
--
FROM 98.42.143.*

C++17
#include <stdio.h>
#include <memory>
class OK {
public:
  int value;
  OK(int x):value(x){
    printf("Constructor:%d\n",value);  
  }
  OK(const OK&) = delete;
  OK& operator= (const OK&) = delete;
  OK(OK&&) = delete;
  OK& operator=(OK&&) = delete;
  void doit() {
    printf("Hello World:%d", value);
  }
};

OK Get() {
    return OK(5);
}

int main()
{
    OK x(3), z(1);
    // OK y(x);                 // No Copy constructor
    // OK w(std::move(z));      // No move constructor
    // x=Get();                 // No assignment. If move is available, it will compile
    // x = std::move(z);        // No move assignment
    OK y=Get();
    y.doit();   // RVO without copy, assignment, move, move assignment
    return 0;
}
【 在 here080 的大作中提到: 】
: 啥也不用说了，上代码吧
:
--
FROM 98.42.143.*

对，但你这不是楼主的问题。

【 在 foliver 的大作中提到: 】
: 按照C++参考手册，返回纯右值，用纯右值初始化这两种情况不要用copy move构造函数。
: 其余其他情况依然需要copy move构造，但是不会调用。比如你的get函数写成
: a =ok(5)
: ...................
--
FROM 98.42.143.*