使用std::future右值引用作为函数参数是否合法？

合法性结论 #

将std::future的右值引用作为函数参数是完全合法的C++写法，不存在语法或标准层面的违规。
针对你补充的疑问：

C++标准完全允许通过右值引用调用非const成员函数，修改绑定到右值引用的临时对象是合法行为。右值引用的设计初衷之一就是支持开发者对临时对象、即将销毁的对象进行资源移动、内容修改，不存在“修改临时对象就非法”的规则。当临时对象绑定到右值引用时，它的生命周期会自动延长到对应引用离开作用域为止，这段时间内的访问、修改都是标准允许的安全行为。

你给出的示例代码可以正常编译运行，也验证了这一点。

右值引用形参与传值形参的差异 #

你代码中注释的传值写法int factorial(std::future<int> fut)和右值引用写法int factorial(std::future<int>&& fut)核心区别在于所有权语义：

• 传值写法：函数会通过std::future的移动构造函数，拿到future实例的独立所有权，和调用方的原对象完全脱离关系，实例会在函数执行结束后自动销毁，是标准库中接收可移动对象的通用惯例写法。
• 右值引用写法：函数仅持有传入对象的引用，不会触发移动构造，future实例的所有权仍然归调用方所有，函数仅获得对该实例的修改权限。

你的示例代码能正常运行，是因为传入的std::move(fut_num)生成的右值会被std::async存储在内部共享状态中，直到异步任务执行完成才会销毁，不存在生命周期问题。

右值引用写法的潜在风险 #

这种写法虽然合法，但相比传值写法更容易触发问题，需要留意以下风险：

• 悬空引用风险：如果绑定的右值在异步任务执行完成前就被销毁，会直接触发悬空引用，导致未定义行为。传值写法因为持有独立的移动生成实例，完全不存在这类风险。
• 接口误用风险：右值引用形参强制要求调用方必须传入右值，无法直接接收左值，接口灵活性更差；同时调用方很容易误以为传入后原future对象已经被移动，后续误访问原对象触发std::future_error异常。
• 语义不符合惯例：C++生态中所有需要接管std::future所有权的接口，统一采用传值的方式接收可移动对象，右值引用形参的写法会让其他开发者误解接口的所有权逻辑，增加维护成本。

示例代码 #

#include <future>
#include <vector>
#include <iostream>

// 传值版本：常规稳妥写法，通过移动构造获取future所有权
// int factorial(std::future<int> fut)
// 右值引用版本：合法但存在上述注意事项
int factorial(std::future<int>&& fut)
{
    int res = 1;
    int num = fut.get();

    for(int i=num; i>1; i--)
    {
        res *= i;
    }

    return res;
}

int main()
{
    std::promise<int> prs;
    std::future<int> fut_num{prs.get_future()};
    std::vector<std::future<int>> vec;

    vec.push_back(std::async(std::launch::async, factorial, std::move(fut_num)));
    
    prs.set_value(5);

    for(auto& fut: vec)
    {
        std::cout << fut.get() << std::endl;
    }
}

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