如何绑定对 const 参数或新对象的引用？

Question

假设我有这个代码：

void MyFunc(const std::string& param) {
  std::string maybe_altered_param;
  if (ConditionIsMet()) {
    maybe_altered_param = AlterParam(param);
  } else {
    maybe_altered_param = param; // <-- unnecessary copy 
  }

  // do stuff with maybe_altered_param
  // maybe_altered_param does not need to be modified further.
}

AlterParam 函数返回字符串的副本，因此当ConditionIsMet 返回 true 时，会创建一个副本以填充 may_altered_pa​​ram。 但是，当ConditionIsMet() 返回 false 时也会进行复制，这是次优的。在第二种情况下，我只想为同一个对象使用另一个名称，而不需要副本或任何类似的东西。

在这种情况下删除不必要的副本的最简单方法是什么？

Answer 1

我认为您关于引用绑定的问题被误导了。它正在寻找一种语言解决方案来解决本质上是代码组织问题。

您想“使用 Maybe_altered_pa​​ram 做一些事情”，您不想为每个分支重复这些事情（因为 DRY 代码是最好的代码）。那么为什么不重构那一点呢？

static void MyFuncImpl(const std::string& maybe_altered_param) {
  // do stuff with maybe_altered_param
}

void MyFunc(const std::string& param) {
  if (ConditionIsMet()) {
    MyFuncImpl(AlterParam(param));
  } else {
    MyFuncImpl(param);
  }
}

简单易懂。仅当满足条件时才会制作额外的副本，而我们对 maybe_altered_param 所做的事情只拼写一次，由该参数参数化。

可能不是您想要的答案，但我认为值得考虑。

Answer 2

使用额外的变量，您可以这样做：

void MyFunc(const std::string& param) {
    std::string maybe_altered_param;
    const bool condition_met = ConditionIsMet();
    if (condition_met) {
        maybe_altered_param = AlterParam(param);
    }
    const std::string& ref =
        condition_met ? maybe_altered_param : param; // both are lvalues, so no copy.
    // do stuff with ref
}