提供按值和按引用都可用的函数版本

Question

我定义了这个函数：

template <typename T>
void foo (T &result){
  //some very complicate stuff
  result = //something
}

现在，假设有时我想用T=int 调用它，在其他情况下用T=std::string 调用它。因此，在第二种情况下，标头是有效的，但带有 T=int this is inefficient。请注意，我仅使用这两种类型作为示例。

所以更好的解决方案是定义另一个函数：

template <typename T>
T foo(){
  T result;
  //some very complicate stuff
  return result;
}

并且让用户决定调用哪个版本，但是我们如何避免在函数中调用//some very complicate stuff的整个代码呢？

Answer 1

但是对于T=int，这是低效的

启用编译器优化，这很可能永远不会重要 - 重要的情况可以通过分析检测并单独处理。

---

但是我们如何避免在函数中调用//some very complicate stuff的整个代码呢？

好吧，避免它的一种可能方法是您需要传递一个函数对象作为额外参数：

template <typename T, typename F>
void foo (T &result, F&& complicated_stuff){
  std::forward<F>(complicated_stuff)();
  result = //something
}

template <typename T, typename F>
T foo(F&& complicated_stuff){
  T result;
  std::forward<F>(complicated_stuff)();
  return result;
}

这是一个很好的解决方案，极有可能会被编译器内联和优化...但是如果您要做的只是避免通过引用传递原始类型，那又有什么意义呢？我们在这里为函数对象添加了一个额外的转发引用。

---

因此，我强烈建议您只使用一个版本的foo。按值返回的是更惯用的 C++11，并且不会比由于 RVO 和 move 语义 而采用引用的那个慢。