C++完美转发 - 技术栈

完美转发

什么是完美转发 (Perfect Forwarding)？std::forward 和 std::move 有何本质区别？

问题背景：为什么需要完美转发？

假设编写一个"包装函数" (wrapper)，它的功能是接收任何参数，然后将其原封不动地传递给另一个"目标函数" (target)

c++ 复制代码

void target(int& x) { std::cout << "lvalue reference called\n"; }
void target(int&& x) { std::cout << "rvalue reference called\n"; }

希望 wrapper(some_lvalue) 能调用 target(int&)，而 wrapper(some_rvalue) 能调用 target(int&&)

c++ 复制代码

template<typename T>
void wrapper(T&& arg) { // arg在这里是"转发引用"
    // ...
    target(arg); // 问题出在这里！
}

int main() {
    int x = 10;
    wrapper(x);    // 期望调用 target(int&), 实际调用...
    wrapper(20);   // 期望调用 target(int&&), 实际调用...
}

C++有一个基本规则：任何有名字的变量，即使其类型是右值引用，它本身也是一个左值

在wrapper函数体内，arg有名字，所以它是一个左值
target(arg)这行代码总是会调用target(int&)，无论传给wrapper的是左值还是右值

完美转发 的目标就是解决这个问题：在转发参数时，完整地保留其原始的左值或右值属性

解决方案

std::forward

T里包含了原始类型信息，但函数体内的arg仍然是左值。这时就需要 std::forward`

std::forward 是一个有条件的类型转换 。它利用T中保存的类型信息，将arg恢复成其原始的值类别

std::forward<T>(arg) 的逻辑是："检查模板参数T，如果T被推导为左值引用类型（如int&），则什么都不做，返回一个左值。如果T被推导为非引用类型（如int），则将arg转换为右值

c++ 复制代码

#include <iostream>
#include <utility> // for std::forward

void target(int& x) { std::cout << "lvalue reference called\n"; }
void target(int&& x) { std::cout << "rvalue reference called\n"; }

template<typename T>
void wrapper(T&& arg) {
    // 使用 std::forward 完美转发 arg
    target(std::forward<T>(arg));
}

int main() {
    int x = 10;
    std::cout << "Calling wrapper with lvalue:\n";
    wrapper(x); // T推导为int&, forward返回左值

    std::cout << "\nCalling wrapper with rvalue:\n";
    wrapper(20); // T推导为int, forward返回右值
}

sql 复制代码

Calling wrapper with lvalue:
lvalue reference called

Calling wrapper with rvalue:
rvalue reference called

特性	std::move	std::forward
目的	转移所有权	保持值类别
行为	无条件转换为右值引用	有条件转换为右值引用
本质	static_cast<T&&>(arg)	基于模板参数 T 的条件转换
使用场景	当你确定一个对象不再需要，想 "窃取" 其资源时。	在泛型代码中，将参数以其原始值类别转发给另一个函数时。必须与转发引用一起使用。