接收器参数的按值传递或按通用引用传递？

Question

---

写。建议的重复"Is pass-by-value a reasonable default in C++11?" - 那里的问题也没有那里的答案没有提到“通用参考”构造函数版本，所以I 真的看不到重复。考虑重新开放。

---

我正在熟悉移动语义，正在尝试它。请看一下这段（可编译的）代码：

#include <iostream>
#include <string>

struct my_str {
  std::string s;

  my_str(const std::string & str): s(str) { std::cout << "  my_str parameter ctor" << std::endl; }
  my_str(const my_str & o): s(o.s)        { std::cout << "  my_str copy ctor" << std::endl; }
  my_str(my_str && o): s(std::move(o.s))  { std::cout << "  my_str move ctor" << std::endl; }
};

template <typename T>
my_str build_ur(T && s) {
  return my_str(std::forward<T>(s));
}

my_str build_val(my_str s) {
  return my_str(std::move(s)); 
}

int main() {
  my_str s1("hello");
  my_str s2("world");

  std::cout << "Building from universal reference (copy):" << std::endl;
  build_ur(s1);
  std::cout << "Building from universal reference (move):" << std::endl;
  build_ur(std::move(s1));

  std::cout << "Building from value (copy):" << std::endl;
  build_val(s2);               
  std::cout << "Building from value (move):" << std::endl;
  build_val(std::move(s2));    

  std::cout << std::endl;
  return 0;
}

输出：

g++-4.8 -std=c++11 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
  my_str parameter ctor
  my_str parameter ctor
Building from universal reference (copy):
  my_str copy ctor
Building from universal reference (move):
  my_str move ctor
Building from value (copy):
  my_str copy ctor
  my_str move ctor
Building from value (move):
  my_str move ctor
  my_str move ctor

http://coliru.stacked-crooked.com/a/3be77626b7ca6f2c

这两个函数在这两种情况下都做得很好。按值函数再次调用移动构造函数，但这应该很便宜。您能否评论一下哪种模式应该优先于另一种模式的情况？

Answer 1

你的两个版本的build 做不同的事情。

版本 1：“创建副本”

my_str build_plain(my_str s) {
  return my_str(std::move(s)); 
}

使用复制构造函数创建参数的副本。然后将此副本移动到结果对象中。赋予该函数的对象将在之后有效。这个函数没有多大意义，因为my_str build(my_str s) { return s; } 会实现同样的事情。

版本 2：“移动它”

template <typename T>
my_str build_templated(T && s) {
  return my_str(std::forward<T>(s));
}

将参数对象移动到一个新对象中并返回该新对象。之后赋予函数的对象将无效！这是移动物体的经典案例。

---

总结一下：版本 1（几乎）等同于 my_str t = s;，而版本 2（几乎）等同于 my_str t = std::move(s);。