C++中的右值引用与通用引用：std::move与std::forward的正确使用 (Effective Modern C++ 条款25)

原创已于 2025-08-23 10:44:59 修改 · 838 阅读

10 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #开发语言 #程序人生

于 2025-08-22 21:43:34 首次发布

Effective Modern C++ 专栏收录该内容

26 篇文章

订阅专栏

在现代C++编程中，右值引用和通用引用是提高性能和代码灵活性的重要工具。然而，许多开发者在使用这些特性时，可能会因为对std::move和std::forward的使用不当而导致意外的行为或性能损失。本文将深入探讨右值引用与通用引用的区别，以及如何在不同情况下正确使用std::move和std::forward。

右值引用与std::move

右值引用（Rvalue References）是C++11引入的一个重要特性，用于绑定可以移动的对象。右值引用允许我们在函数参数中明确指定只能绑定到右值的对象，从而优化资源的转移。

右值引用的绑定规则

右值引用只能绑定到右值，例如临时对象、字面量或通过std::move转换为右值的对象。例如：

class Widget {
public:
    Widget(Widget&& rhs) { /* 右值引用只能绑定到右值 */ }
};

当我们将右值引用传递给其他函数时，应该使用std::move将其转换为右值。例如：

class Widget {
public:
    Widget(Widget&& rhs) : name(std::move(rhs.name)), p(std::move(rhs.p)) {}
private:
    std::string name;
    std::shared_ptr<SomeDataStructure> p;
};

在这个例子中，std::move将rhs.name和rhs.p转换为右值，从而允许移动构造函数高效地转移资源。

通用引用与std::forward

通用引用（Universal References）是C++模板编程中的一个特性，用于绑定左值和右值。通用引用通常表示为T&&，其中T是一个模板参数。通用引用的灵活性使得它们在函数模板中非常有用，例如在转发函数参数时。

通用引用的转发规则

当转发通用引用时，应该使用std::forward来保持参数的值类别（即左值或右值）。例如：

class Widget {
public:
    template<typename T>
    void setName(T&& newName) {
        name = std::forward<T>(newName);
    }
private:
    std::string name;
};

在这个例子中，std::forward<T>(newName)将newName的值类别传递给name =操作，从而确保左值和右值都能正确处理。

常见误区

在右值引用上使用std::forward

在右值引用上使用std::forward是错误的，因为右值引用总是绑定到右值。例如：

void foo(Widget&& widget) {
    bar(std::forward<Widget>(widget)); // 错误！
}

在这种情况下，std::forward会将widget转换为右值，但widget已经是右值引用，这会导致不必要的转换。

在通用引用上使用std::move

在通用引用上使用std::move可能会导致意外的行为。例如：

class Widget {
public:
    template<typename T>
    void setName(T&& newName) {
        name = std::move(newName); // 错误！
    }
};

当newName是一个左值（例如局部变量）时，std::move会将其转换为右值，从而可能导致资源被意外移动。

最佳实践

最后一次使用时转换为右值

在函数中，如果需要在最后一次使用时将通用引用转换为右值，应该使用std::forward。例如：

template<typename T>
void setSignText(T&& text) {
    sign.setText(text); // 使用text但不改变它
    auto now = std::chrono::system_clock::now();
    signHistory.add(now, std::forward<T>(text)); // 最后一次使用时转换为右值
}

在这个例子中，std::forward确保text的值类别在转发时保持一致。

按值返回函数的优化

在按值返回的函数中，如果返回值是一个右值引用或通用引用，应该使用std::move或std::forward来确保移动操作。例如：

Matrix operator+(Matrix&& lhs, const Matrix& rhs) {
    lhs += rhs;
    return std::move(lhs); // 移动lhs到返回值中
}

如果不使用std::move，编译器将被迫拷贝lhs，这可能会导致性能损失。

返回值优化（RVO）与std::move的误用

在返回局部对象时，不要手动使用std::move，因为现代编译器通常会自动应用返回值优化（RVO）。例如：

Widget makeWidget() {
    Widget w;
    // 配置w
    return w; // 编译器可能应用RVO，直接在返回位置构造w
}

手动使用std::move可能会干扰编译器的优化。

结论

右值引用和通用引用是C++中提高性能和代码灵活性的重要工具。然而，正确使用std::move和std::forward是关键。总结一下：

右值引用：使用std::move在最后一次使用时将右值引用转换为右值。
通用引用：使用std::forward在转发时保持参数的值类别。
按值返回函数：在返回右值引用或通用引用时，使用std::move或std::forward。
局部对象：不要手动使用std::move，因为返回值优化（RVO）会自动处理。

通过遵循这些最佳实践，开发者可以编写出高效、安全且易于维护的C++代码。

Horse3D游戏引擎研发笔记（一）：从使用Qt的OpenGL库绘制三角形开始
Horse3D游戏引擎研发笔记（二）：基于QtOpenGL使用仿Three.js的BufferAttribute结构重构三角形绘制
Horse3D游戏引擎研发笔记（三）：使用QtOpenGL的Shader编程绘制彩色三角形
Horse3D游戏引擎研发笔记（四）：在QtOpenGL下仿three.js，封装EBO绘制四边形
Horse3D游戏引擎研发笔记（五）：在QtOpenGL环境下，仿three.js的BufferGeometry管理VAO和EBO绘制四边形
Horse3D游戏引擎研发笔记（六）：在QtOpenGL环境下，仿Unity的材质管理Shader绘制四边形
Horse3D游戏引擎研发笔记（七）：在QtOpenGL环境下，使用改进的Uniform变量管理方式绘制多彩四边形（相较于Unity、Unreal Engine与Godot引擎）

Pomian语言处理器研发笔记（一）：使用C++的正则表达式构建词法分析器