c++ 编译器会按值优化参数到右值引用的参数吗？

Question

我想记得有人告诉我这两种方法

foo(std::vector<int>&& v) {
  member = std::move(v);
}

bar(std::vector<int> v) {
  member = std::move(v);
}

如果调用站点发生移动，两者都不会调用副本

foo(std::move(v1));
bar(std::move(v2));

因为编译器将优化调用并将bar 的情况视为通过右值引用获取参数，因此应该支持bar 语法，因为它不那么复杂并且也可以用左值调用（在这种情况下，当然会制作副本）。

这是真的吗？只要有人用右值调用它，就可以依赖barcase 不创建副本吗？

Answer 1

只要使用右值调用它，就可以依赖bar 的情况不创建副本吗？

不，不一定。 将进行复制的示例：

const std::vector<int> vec;

bar( std::move(vec) );

这里std::move 会将vec（一个左值）转换为一个xvalue（即rvalue）。但它不会被移动，因为vec 是常量，不能修改。因此std::vector的move构造函数不会被调用。

现在我在godbolt 中对您的代码进行了一些修改，然后得到了您预期的结果。

这段代码：

#include <iostream>
#include <vector>
#include <utility>

void foo( std::vector<int>&& v )
{
    auto member = std::move(v);
}

void bar( std::vector<int> v )
{
    auto member = std::move(v);
}


int main( )
{
    std::vector<int> v1(3, 1000);
    std::vector<int> v2(3, 2000);

    //foo( std::move(v1) ); // uncomment this
    //bar( std::move(v2) ); // uncomment this
    bar( v2 );              // and comment this out

    for ( const auto& num : v1 )
    {
        std::cout << num << ' ';
    }

    std::cout << '\n';

    for ( const auto& num : v2 )
    {
        std::cout << num << ' ';
    }

    std::cout << '\n';
}

首先，您将看到如下输出：

1000 1000 1000 
2000 2000 2000 

但是然后做我上面提到的事情，你会看到输出会消失。这是因为在移动这两个向量之后，由于失去了缓冲区的所有权，它们将变为空。所以 for 循环不会打印任何内容。这确实证明了bar( std::move(v2) ); 发生了变化。而bar( v2 ); 是深拷贝。