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

Question

我定义了这个函数:

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

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

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

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

让用户决定调用哪个版本，但是我们如何避免在函数中调用//一些非常复杂的东西的整个代码？

Answer 1

but with T=int this is inefficient

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

---

but how do we avoid to call the whole code of //some very complicate stuff in the function?

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

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 和移动语义 而不会比采用引用的方法慢。