为何std::forward未保留变量的左值属性？

问题场景：
在C++20环境运行以下代码时，调用UseForward(sc)会匹配左值引用重载template <typename T> void UseForward(T& value)。原本期望通过std::forward保留value的左值属性，从而调用SomeClass的拷贝构造函数，但实际却调用了移动构造函数，请问这是哪里理解有误？

class SomeClass
{
public:
    SomeClass()
    {
        std::cout << "default constructor" << std::endl;
    }

    SomeClass(const SomeClass& other)
    {
        std::cout << "const copy constructor" << std::endl;
    }

    SomeClass(SomeClass&& other) noexcept
    {
        std::cout << "move constructor" << std::endl;
    }
};

template <typename T>
void UseForward(T& value)
{
    std::cout << "UseForward pass by reference!" << std::endl;
    auto sc = SomeClass(std::forward<T>(value));
}

template <typename T>
void UseForward(T&& value)
{
    std::cout << "UseForward pass by rvalue reference!" << std::endl;
    auto sc2 = SomeClass(std::forward<T>(value)); 
}

int main()
{
    auto sc = SomeClass();
    UseForward(sc);
}

错误原因 #

当调用UseForward(sc)时，左值引用模板被实例化，此时模板参数T被推导为SomeClass（而非SomeClass&——左值引用模板的类型推导规则是：传入左值时，T会被推导为原始类型，函数参数则是T&）。

std::forward<T>(value)在这里展开为std::forward<SomeClass>(value)，而std::forward的核心逻辑是：如果模板参数是非引用类型，它会将传入的左值强制转换为右值引用（等价于static_cast<SomeClass&&>(value)）。这就把原本的左值value转换成了右值，因此触发了移动构造函数，而非预期的拷贝构造。

简言之，std::forward的标准用法是配合万能引用（即函数参数为T&&时的类型推导），此时T会根据传入值的类别推导为引用或非引用类型，从而正确保留值的属性。在左值引用重载的模板中，T是原始类型，不符合std::forward的正确使用场景。

修正方案 #

方式一：明确指定引用类型作为std::forward的模板参数 #

修改左值引用重载的代码，将T改为T&传入std::forward，强制保留左值属性：

template <typename T>
void UseForward(T& value)
{
    std::cout << "UseForward pass by reference!" << std::endl;
    auto sc = SomeClass(std::forward<T&>(value)); // 指定T&作为模板参数
}

此时std::forward<T&>(value)会将value作为左值传递，调用拷贝构造函数。

方式二：统一使用万能引用模板 #

删除左值引用重载，只保留万能引用版本的UseForward，让类型推导自动处理左值和右值：

template <typename T>
void UseForward(T&& value)
{
    std::cout << "UseForward pass by universal reference!" << std::endl;
    auto sc2 = SomeClass(std::forward<T>(value)); 
}

当传入左值sc时，T会被推导为SomeClass&，std::forward<T>(value)会保留左值属性，调用拷贝构造；当传入右值时，T推导为SomeClass，forward将其转为右值，调用移动构造——这是std::forward的标准用法。

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