Rust中Box<dyn FnOnce(T)>的逆变问题：生命周期转换失败原因？

我编写了一个期望接收短生命周期对象的函数，按预期应该可以传入长生命周期对象，但编码时出现了奇怪的错误。

代码如下：

type F<'arg> = Box<dyn FnOnce(&'arg ())>;
fn contravar<'small, 'large: 'small>(f: F<'small>) -> F<'large> {
    f
}

编译时的错误信息：

error: lifetime may not live long enough
 --> src/lib.rs:3:5
  |
2 | fn contravar<'small, 'large: 'small>(f: F<'small>) -> F<'large> {
  |              ------  ------ lifetime `'large` defined here
  |              |
  |              lifetime `'small` defined here
3 |     f
  |     ^ function was supposed to return data with lifetime `'large` but it is returning data with lifetime `'small`
  |
  = help: consider adding the following bound: `'small: 'large`

看起来F对其参数是不变的，但我原本认为它应该是逆变的。我是不是忽略了什么？有没有办法让F<'arg>对'arg真正实现逆变？

问题根源 #

Rust中，dyn FnOnce(&'arg ())这类trait对象的生命周期参数，默认被编译器视为不变类型，而非我们直觉中的逆变。这是因为Rust对泛型trait的生命周期子类型化采用统一规则，即便Fn/FnMut/FnOnce在逻辑上是逆变的（能接受短生命周期参数的函数，必然能接受更长的生命周期参数），但作为trait对象时，编译器没有为它们做特殊的方差处理。

解决方案 #

有两种可行的方式实现需求：

1. 安全的闭包包装法

通过包装闭包，手动适配生命周期转换，无需unsafe：

type F<'arg> = Box<dyn FnOnce(&'arg ())>;

fn contravar<'small, 'large: 'small>(f: F<'small>) -> F<'large> {
    Box::new(move |arg: &'large ()| {
        // 由于'large: 'small，&'large ()可隐式转换为&'small ()
        f(arg)
    })
}

这个方案的核心逻辑是：长生命周期的引用可以安全转换为短生命周期引用（协变特性），包装后的闭包接受&'large ()参数，再将其转换为原闭包需要的&'small ()，从而实现从F<'small>到F<'large>的逆变转换。

2. 自定义trait+unsafe转换（不推荐，除非必要）

如果需要更直接的trait对象转换，可以自定义带有逆变生命周期的trait，结合unsafe进行内存转换（逻辑安全，但编译器无法自动验证）：

use std::marker::PhantomData;

// 自定义trait，借助PhantomData标注生命周期为逆变
trait MyFnOnce<'arg>: 'static {
    fn call_once(self, arg: &'arg ());
}

// 实现对FnOnce的包装
impl<'arg, F: FnOnce(&'arg ()) + 'static> MyFnOnce<'arg> for F {
    fn call_once(self, arg: &'arg ()) {
        self(arg);
    }
}

type F<'arg> = Box<dyn MyFnOnce<'arg>>;

fn contravar<'small, 'large: 'small>(f: F<'small>) -> F<'large> {
    // 逻辑安全：逆变转换，'large比'small长，闭包可以接受更长生命周期的参数
    unsafe { std::mem::transmute(f) }
}

补充说明 #

你提到的Rust统一处理泛型trait、未特殊对待Fn系列trait的问题确实存在，这是当前编译器的设计选择。你提交的相关issue是合理的，未来社区可能会针对这个场景优化编译器的方差推断逻辑。

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