Rust中如何定义以闭包为参数的多线程共享回调类型

• 直接将dyn FnOnce(...)作为普通函数参数无法通过编译，本质是Rust默认要求函数参数满足编译期已知大小的Sized约束，裸的dyn类型是无定长的胖指针类型，不满足该约束。
• 普通dyn Fn类型的函数签名是固定的，无法适配consume方法在不同调用场景下的泛型返回值R——每个具体的R都会对应一个独立的函数签名，静态固定签名的dyn类型无法兼容所有可能的R取值。

因为普通固定签名的Fn类型无法适配方法级别的泛型返回值，需要自定义一个对象安全的trait作为回调的抽象，替代固定签名的dyn Fn：

// 回调需要满足的线程安全约束trait
pub trait VirtualTunWriteCallback: Send + Sync + 'static {
    // R是方法级别的泛型，而非trait级别的泛型/关联类型，保证trait是对象安全的
    fn call<R>(&self, len: usize, f: impl FnOnce(&mut [u8]) -> smoltcp::Result<R>) -> smoltcp::Result<R>;
}

// 替换原来的类型别名
pub type OnVirtualTunWrite = Arc<dyn VirtualTunWriteCallback>;

该定义能通过编译的核心逻辑：

• 传递f闭包时，因为方法本身是泛型的，编译器会在每次调用时自动将f绑定为具体的Sized类型，不需要手动处理裸dyn的大小问题。
• 方法级别的泛型参数不会破坏trait的对象安全性，因此可以直接将该trait做成dyn类型，由Arc包裹实现跨线程共享。

结构体和consume方法的实现不需要额外的复杂适配，直接顺着调用链透传泛型即可：

struct A {
    on_virtual_tun_write: OnVirtualTunWrite,
    // 原有lower字段保留
    lower: RefCell<LowerDevice>,
}

impl S for A {
    fn consume<R, F>(self, _timestamp: Instant, len: usize, f: F) -> smoltcp::Result<R>
    where
        F: FnOnce(&mut [u8]) -> smoltcp::Result<R>,
    {
        let mut lower = self.lower.as_ref().borrow_mut();
        // 直接调用回调的call方法，R的类型会自动沿泛型链绑定
        (self.on_virtual_tun_write).call(len, f)
    }
}

你期望的缓冲区填充逻辑，只需要为自定义类型实现上述trait即可，不需要写复杂的嵌套闭包：

// 自定义虚拟tun写入回调
struct VirtualTunTestCallback;

impl VirtualTunWriteCallback for VirtualTunTestCallback {
    fn call<R>(&self, len: usize, f: impl FnOnce(&mut [u8]) -> smoltcp::Result<R>) -> smoltcp::Result<R> {
        let mut buffer = Vec::with_capacity(len);
        buffer.resize(len, 0);
        // 在此处填充buffer的业务数据
        f(buffer.as_mut_slice())
    }
}

// 初始化时直接用Arc包裹传入结构体A
let callback: OnVirtualTunWrite = Arc::new(VirtualTunTestCallback);

• 完全不需要在OnVirtualTunWrite类型层面提前预知R的具体类型。从consume方法到自定义回调的call方法，泛型R会沿着调用链完成自动绑定，所有类型检查都在编译期完成，不需要做额外的类型擦除或装箱。
• 这种写法彻底绕开了"dyn参数不满足Sized约束"的问题，因为闭包参数f始终作为泛型值传递，从未经过无定长的裸dyn类型边界。

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