我已经糊涂了，最后那个s是赋值，还是构造函数还是别的？

【 在 here080 的大作中提到: 】
: 确实会RVO，甚至有可能是保证的RVO
: 但是程序正确性仍然是靠一个形式上的move
: 这么说，你可以试着定义一个不能copy不能move的类，然后让一个函数的返回值是它，看看能不能编译。
: ...................
--
FROM 98.42.143.*

我定义了一个没有赋值构造和拷贝赋值，没有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.*

你编译的时候，要选择C++17，因为C++14还是要求Copy constructor或者Move constructor的，虽然最后并不调用。C++17开始完全不需要这些了。

【 在 foliver 的大作中提到: 】
: 就我个人理解，unique ptr是无法做rvo优化的，等我哪天看看我编译后代码。
--
FROM 98.42.143.*