std::forward

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 库功能特性测试宏(C++20) 类型支持（基本类型、RTTI） 程序工具 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) 协程支持(C++20) 契约支持(C++26) 三路比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用工具 函数对象 位操纵(C++20) bitset hash (C++11) 关系运算符(C++20 弃用) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换与类型运算 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 常用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

在标头 <utility> 定义
	(1)
template<class T > T&& forward(typenamestd::remove_reference<T>::type& t )noexcept;			(C++11 起) (C++14 前)
template<class T > constexpr T&& forward(std::remove_reference_t<T>& t )noexcept;			(C++14 起)
		(2)
template<class T > T&& forward(typenamestd::remove_reference<T>::type&& t )noexcept;				(C++11 起) (C++14 前)
template<class T > constexpr T&& forward(std::remove_reference_t<T>&& t )noexcept;				(C++14 起)

1) 转发左值为左值或右值，依赖于 T

当 t 是转发引用（被声明为到无 cv 限定函数模板形参的右值引用的函数实参）时，此重载将实参转发给另一个函数，带有它被传递给调用方函数时的值类别。

例如，若用于如下的包装器，则模板表现为下方所描述：

template<class T>void wrapper(T&& arg){// arg 始终是左值 foo(std::forward<T>(arg));// 转发为左值或右值，依赖于 T}

• 若对 wrapper() 的调用传递右值 std::string，则推导 T 为 std::string（并非 std::string&、const std::string& 或 std::string&&），且 std::forward 确保将右值引用传递给 foo。
• 若对 wrapper() 的调用传递 const 左值 std::string，则推导 T 为 const std::string&，且 std::forward 确保将 const 左值引用传递给 foo。
• 若对 wrapper() 的调用传递非 const 左值 std::string，则推导 T 为 std::string&，且 std::forward 确保将非 const 左值引用传递给 foo。

2) 转发右值为右值并禁止右值被转发为左值。

此重载令转发表达式（如函数调用）的结果（可以是右值或左值），使其具有转发引用实参的原始值类别成为可能。

例如，若包装器不仅转发其实参，还在实参上调用成员函数，并转发其结果：

// 转换包装器 template<class T>void wrapper(T&& arg){ foo(forward<decltype(forward<T>(arg).get())>(forward<T>(arg).get()));}

其中 arg 的类型可以是

struct Arg {int i =1;int get()&&{return i;}// 此重载的调用为右值int& get()&{return i;}// 此重载的调用为左值};

试图转发右值为左值，例如通过以左值引用类型 T 实例化形式 (2)，会产生编译时错误。

注解

转发引用背后的特殊规则（T&& 用作函数形参）见模板实参推导，其他细节见转发引用。

参数

t

-

要转发的对象

返回值

static_cast<T&&>(t)

复杂度

常数。

示例

此示例演示把形参完美转发到类 T 构造函数的实参。还展示了形参包的完美转发。

运行此代码

#include <iostream>#include <memory>#include <utility>   struct A { A(int&& n){std::cout<<"rvalue overload, n="<< n <<"\n";} A(int& n){std::cout<<"lvalue overload, n="<< n <<"\n";}};   class B {public:template<class T1, class T2, class T3> B(T1&& t1, T2&& t2, T3&& t3): a1_{std::forward<T1>(t1)}, a2_{std::forward<T2>(t2)}, a3_{std::forward<T3>(t3)}{}   private: A a1_, a2_, a3_;};   template<class T, class U>std::unique_ptr<T> make_unique1(U&& u){returnstd::unique_ptr<T>(new T(std::forward<U>(u)));}   template<class T, class... U>std::unique_ptr<T> make_unique2(U&&... u){returnstd::unique_ptr<T>(new T(std::forward<U>(u)...));}   auto make_B(auto&&... args)// C++20 起{return B(std::forward<decltype(args)>(args)...);}   int main(){auto p1 = make_unique1<A>(2);// 右值int i =1;auto p2 = make_unique1<A>(i);// 左值   std::cout<<"B\n";auto t = make_unique2<B>(2, i, 3);   std::cout<<"make_B\n";[[maybe_unused]] B b = make_B(4, i, 5);}

输出：

rvalue overload, n=2 lvalue overload, n=1 B rvalue overload, n=2 lvalue overload, n=1 rvalue overload, n=3 make_B rvalue overload, n=4 lvalue overload, n=1 rvalue overload, n=5

参阅

move (C++11)	转换实参为亡值 (函数模板)
move_if_noexcept (C++11)	若移动构造函数不抛出则转换实参为亡值 (函数模板)