相关疑难解决方法(0)

我试图理解rvalue引用并移动C++ 11的语义.

这些示例之间有什么区别,哪些不会执行矢量复制？

第一个例子

std::vector<int> return_vector(void)
{
    std::vector<int> tmp {1,2,3,4,5};
    return tmp;
}

std::vector<int> &&rval_ref = return_vector();

第二个例子

std::vector<int>&& return_vector(void)
{
    std::vector<int> tmp {1,2,3,4,5};
    return std::move(tmp);
}

std::vector<int> &&rval_ref = return_vector();

第三个例子

std::vector<int> return_vector(void)
{
    std::vector<int> tmp {1,2,3,4,5};
    return std::move(tmp);
}

std::vector<int> &&rval_ref = return_vector();

什么是复制省略？什么是(命名)返回值优化？他们意味着什么？

它们会在什么情况下发生？有什么限制？

• 如果您引用了这个问题,那么您可能正在寻找介绍.
• 有关技术概述,请参阅标准参考.
• 在这里查看常见案例.

我不明白何时应该使用std::move,何时应该让编译器优化...例如:

using SerialBuffer = vector< unsigned char >;

// let compiler optimize it
SerialBuffer read( size_t size ) const
{
    SerialBuffer buffer( size );
    read( begin( buffer ), end( buffer ) );
    // Return Value Optimization
    return buffer;
}

// explicit move
SerialBuffer read( size_t size ) const
{
    SerialBuffer buffer( size );
    read( begin( buffer ), end( buffer ) );
    return move( buffer );
}

我应该使用哪个？

在这种情况下

struct Foo {};
Foo meh() {
  return std::move(Foo());
}

我很确定移动是不必要的,因为新创建的Foo将是一个xvalue.

但在这种情况下呢？

struct Foo {};
Foo meh() {
  Foo foo;
  //do something, but knowing that foo can safely be disposed of
  //but does the compiler necessarily know it?
  //we may have references/pointers to foo. how could the compiler know?
  return std::move(foo); //so here the move is needed, right?
}

我认为需要采取行动吗？

假设我有一个std::vector在循环体中声明的并co_yield编辑：

some_generator<std::vector<int>> vector_sequence() {
    while (condition()) {
        std::vector<int> result = get_a_vector();
        result.push_back(1);
        co_yield std::move(result); // or just: co_yield result; 
    }
}

很明显，在编辑result后不会再次使用co_yield（或者我犯了一个严重的错误），所以移动它是有意义的。我尝试co_yield使用一种简单的不可复制类型，但std::move它没有编译，因此在通用代码中，可以使用std::move. co_yield编译器是否无法识别这一点（编译器错误？），或者它是总是复制左值的语言所意图的，所以我必须这样做std::move？我知道return作为局部变量的左值看起来像一个副本，但保证是一个移动或更好的复制省略，这看起来与它没有太大不同。

我已阅读C++：我应该在 return 语句中显式使用 std::move() 来强制移动吗？，与这个问题相关，但没有回答它，并且当右侧是临时的时考虑了 co_return 与 co_yield，据我所知，这与这个问题无关。