Question

例如：

void f(T&& t); // probably making a copy of t

void g() 
{
    T t;
    // do something with t
    f(std::move(t));
    // probably something else not using "t"
}

在这种情况下，void f(T const& t)是否等效，因为任何好的编译器都会产生相同的代码？如果这很重要，我对＆gt; = VC10和＆gt; = GCC 4.6感兴趣。

修改

根据答案，我想详细说明一下这个问题：

比较rvalue-reference和pass-by-value方法，很容易忘记在std::move中使用pass-by-value。编译器是否仍然可以检查是否不再对变量进行更改并消除不必要的副本？

rvalue-reference方法仅使优化版本“隐式”，例如f(T())，并要求用户明确指定其他情况，例如f(std::move(t))，或者如果用户未完成f(T(t));实例，则明确指定副本t。那么，在这种与优化有关的问题中，rvalue-reference方法被认为是好的吗？

Answer 1

绝对不一样。一旦T &&只能绑定到rvalues，而T const &可以绑定到rvalues和lvalues。其次，T const &不允许任何移动优化。如果您“可能想要复制t”，那么T &&可让您实际制作t的移动副本，这可能更有效。

示例：

void foo(std::string const & s) { std::string local(s); /* ... */ }

int main()
{
    std::string a("hello");
    foo(a);
}

在此代码中，包含"hello"的字符串缓冲区必须存在两次，一次位于main的正文中，另一次位于foo正文中。相比之下，如果您使用了右值引用和std::move(a)，则可以“移动”相同的字符串缓冲区，并且只需要一次分配和填充。

正如@Alon指出的那样，正确的习语实际上是passing-by-value：

void foo(std::string local) { /* same as above */ }

int main()
{
    std::string a("hello");
    foo(std::move(a));
}

Answer 2

嗯，这取决于f对t的作用，如果它创建了它的副本，那么我甚至会这么做：

void f(T t) // probably making a copy of t
{
    m_newT = std::move(t); // save it to a member or take the resources if it is a c'tor..
}

void g() 
{
    T t;
    // do something with t
    f(std::move(t));
    // probably something else not using "t"
}

然后你允许移动c'tors优化发生，你在任何情况下都采用't'资源，如果它被'移动'到你的函数，那么你甚至获得了将它移动到函数的非副本，如果没有移动那么你可能只需要一份副本

现在，如果稍后您将拥有以下代码：

f(T());

然后ta da，自由移动优化，而f用户甚至不知道..

注意引用：“在这种情况下是无效的f（T const＆amp; t）等价物，因为任何好的编译器都会产生相同的代码吗？”

它不是平等的，它是无用的，因为只有“指针”被转移，根本没有被调用，既不移动也不移动任何东西

Answer 3

采用const左值参考并采用左值参考是两回事。

相似点：

两者都不会导致复制或移动，因为它们都是引用。引用只引用一个对象，它不会以任何方式复制/移动它。

的差异：

const左值引用将绑定到任何值（左值或右值）。右值引用只会绑定到非const右值 - 更有限。
当const左值参考时，函数内部的参数无法修改。它可以在它是右值参考时修改（因为它不是const）。

让我们看看一些例子：

采用const左值参考：void f(const T& t);
1. 传递左值：
```
T t; f(t);
```
  这里，t是左值表达式，因为它是对象的名称。 const左值引用可以绑定到任何内容，因此t将很乐意通过引用传递。没有任何东西被复制，什么也没有被移动。
2. 传递右值：
```
f(T());
```
  这里，T()是一个右值表达式，因为它创建了一个临时对象。同样，const左值引用可以绑定到任何东西，所以这没关系。没有任何东西被复制，什么也没有被移动。
3. 采用右值参考：`void f（T＆amp;＆amp; t）;
  1. 传递左值：
```
T t;
f(t);
```
    这会给你一个编译器错误。右值引用不会绑定到左值。
  2. 传递右值：
```
f(T());
```
    这很好，因为右值引用可以绑定到右值。函数内的引用t将引用由T()创建的临时对象。

std :: move与编译器优化

3 个答案: