按值传递给引用参数

Question

考虑这个简单的程序：

vector<int> foo = {0, 42, 0, 42, 0, 42};
replace(begin(foo), end(foo), foo.front(), 13);

for(const auto& i : foo) cout << i << '\t';

当我写的时候，我希望得到：

13 42 13 42 13 42

但是我得到的是:

13 42 0 42 0 42

当然，问题在于替换通过引用来吸收最后2个参数。因此，如果它们中的任何一个碰巧在正在操作的范围内，则结果可能是意外的。我可以通过添加一个临时变量来解决这个问题：

vector<int> foo = {0, 42, 0, 42, 0, 42};
const auto temp = foo.front();
replace(begin(foo), end(foo), temp, 13);

for(const auto& i : foo) cout << i << '\t';

我知道C 11为我们提供了各种类型的工具，我是否可以简单地将这个值强制为非引用类型并内联传递，而不创建临时类型？

Answer 1

您可以将给定值转换为右值以达到所需的效果。下面的示例无需定义任何额外函数即可工作，只需向值添加零即可。

vector<int> foo = {0, 42, 0, 42, 0, 42};
replace(begin(foo), end(foo), foo.front()+0, 13);

for(const auto& i : foo) cout << i << '\t';

甚至（正如Jarod42所建议的那样）只有一元运算符，这是一个无操作：

vector<int> foo = {0, 42, 0, 42, 0, 42};
replace(begin(foo), end(foo), +foo.front(), 13);

for(const auto& i : foo) cout << i << '\t';

很明显，这两种情况都会造成暂时的。我不认为你能摆脱它。

Answer 2

您可以编写一个简单的函数，它接受引用并返回值。这将把引用“转换”为值。这确实会生成一个临时的，但它是未命名的，并将在完整表达式的末尾被销毁。有点像

template<typename T>
T value(const T& ref)
{
    return ref;
}

然后你可以像这样使用它

int main()                                                   
{                                                            
    vector<int> foo = {0, 42, 0, 42, 0, 42};
    replace(begin(foo), end(foo), value(foo.front()), 13);

    for(const auto& i : foo) cout << i << '\t';                                      
}

输出：

13  42  13  42  13  42

实例

Answer 3

解决方案可能如下（即使您是临时的）

template<class T>
void replace_value_of_first(std::vector<T>& v, const T& value)
{
    std::replace(v.begin(), v.end(), T(v.front()), value);
}