std::forward三种实现方案的差异探究及测试分析

最近我研究了std::forward的几种实现思路，为了对比它们的实际效果，我写了一段测试代码来验证不同实现下的行为：

#include <iostream>
using namespace std;

void test(int&&){ cout <<"refref\n";}
void test(int&){ cout <<"ref\n";}

template<class T> void foo(T&& t){ test(fwd<T>(t)); }

int main (){
    auto v = 5;
    foo(5);       // 期望调用test(int&&)
    foo(v);       // 期望调用test(int&)
    foo(std::move(v)); // 期望调用test(int&&)
}

接下来我逐个分析这三种实现的特点和问题：

第一种：最简单的左值引用实现 #

这是最直观的一种实现，代码如下：

template <typename T>
T&& fwd(T& t) {
    return static_cast<T&&>(t);
}

但这个实现有个致命问题：它只能接受左值参数。当我们调用foo(5)时，T会被推导为int，此时fwd<int>需要的参数是int&，但5是右值，无法绑定到左值引用，直接就会编译失败。另外，当我们尝试传递const左值时，也会因为参数类型不匹配出现问题，所以这个实现只能处理左值的转发场景，完全无法支持右值的转发需求。

第二种：通用引用参数的实现 #

为了支持右值，有人会想到把参数改成通用引用，实现如下：

template <typename T>
T&& fwd(T&& t) {
    return static_cast<T&&>(t);
}

这个实现看起来能处理更多场景：

• 当调用foo(v)时，T推导为int&，fwd的参数是int& &&（折叠后为int&），返回int& &&（折叠后为int&），能正确调用test(int&)；
• 当调用foo(5)时，T推导为int，fwd的参数是int&&，返回int&&，能正确调用test(int&&)。

但它存在一个隐藏的风险：用户可能会错误地用它把右值转发成左值引用。比如如果有人写fwd<int&>(std::move(v))，这会把右值强制转换成左值引用，导致后续可能出现对已移动对象的非法访问，而这个实现不会做任何限制。

第三种：标准库的安全实现 #

这就是C++标准库中std::forward的实现思路，它通过std::remove_reference来剥离引用类型，同时添加静态断言来防止非法的转发：

#include <type_traits>

template <typename T>
T&& fwd(typename std::remove_reference<T>::type& t) {
    return static_cast<T&&>(t);
}

template <typename T>
T&& fwd(typename std::remove_reference<T>::type&& t) {
    static_assert(!std::is_lvalue_reference<T>::value, "Can't forward an rvalue as an lvalue");
    return static_cast<T&&>(t);
}

这个实现解决了前两种的问题：

1. 第一个模板处理左值转发，通过remove_reference<T>::type&确保参数是左值，然后通过static_cast<T&&>实现正确的引用折叠；
2. 第二个模板处理右值转发，同时用static_assert禁止用户将右值转发为左值引用，避免了非法的类型转换；
3. 无论是左值、右值还是const类型，都能正确推导并转发，完全符合完美转发的要求。

通过测试代码验证的话，只有第三种实现能让三个foo调用都按照预期输出，前两种都会在某些场景下编译失败或者行为不符合预期。

内容的提问来源于stack exchange，提问作者yosim