循环中对同一参数多次使用std::forward并赋值是否合法？

首先明确一个常见误区：在循环中对同一参数多次直接使用std::forward可能导致未定义行为，比如这段代码：

template <typename T>
auto applyTenTimes(T&& arg, auto&& f){
    for(int i = 0; i < 10; ++i)
        f(std::forward<T>(arg));

    return arg; 
}

问题在于，如果传入的是右值，第一次std::forward<T>(arg)会把arg转换成右值传递给f，此时arg对应的对象可能被移动（进入“有效但未指定”的状态），后续循环再从这个已被移动的对象进行forward操作，就会触发未定义行为。

那如果每次forward后，把f的返回值重新赋值回原参数呢？比如这段代码：

template <typename T>
auto applyTenTimes(T&& arg, auto&& f){
    for(int i = 0; i < 10; ++i)
        arg = f(std::forward<T>(arg));

    return arg; 
}

合法性判断 #

这种写法是完全合法的，核心原因如下：

• 即使std::forward<T>(arg)把arg的对象转移成了移动后状态，紧接着的arg = ...赋值操作会立刻给arg赋予一个新的有效状态。C++标准明确规定，只要类型的赋值运算符支持处理移动后的对象（标准库类型都满足这一点），从移动状态的对象进行赋值就是合法的，赋值完成后对象会回到正常可用的状态。
• 每一轮循环结束后，arg都处于有效状态，下一次循环的std::forward操作就有了合法的操作对象，不会再出现从已移动对象非法读取的问题。

传入右值时的行为细节 #

当传入右值时：

1. 模板参数T会被推导为右值引用类型（比如传入std::string右值时，T是std::string&&），std::forward<T>(arg)会把arg转换成右值传递给f。
2. 如果f返回同类型的右值，arg = f(...)会调用移动赋值运算符，这个过程不会创建额外的冗余对象——只是把f返回值的资源直接转移到arg中，开销极低。
3. 关于RVO（返回值优化）：如果f是按值返回对象，编译器可能会直接在arg的内存地址上构造返回值（满足RVO条件时），连移动操作都可以省略；即使没有触发RVO，移动赋值的代价也远低于拷贝赋值。
4. 要注意：函数内部的arg是命名变量，本身是左值，所以必须通过std::forward<T>才能还原它原本的右值属性，保证每次传递给f的是正确的值类别。

内容的提问来源于stack exchange，提问作者علي المطوع