Rust中trait object强制HRTB导致嵌套闭包失效问题求助

在Rust开发中，当泛型类型作为trait object的参数时，编译器会要求添加高阶 trait 边界（HRTB）约束，但该约束会导致嵌套闭包无法正常工作。

相关代码定义 #

Trait与基础结构体 #

用于创建trait object的核心定义：

trait OpTrait {}

struct Op<T>(T);

impl<T> OpTrait for Op<T> {}

包含trait object的结构体 #

Succ结构体持有一个trait object的引用，其实现必须添加HRTB约束才能通过编译：

use std::cell::RefCell;

#[derive(Clone)]
struct Succ<'a, T>(T, &'a RefCell<Option<Box<dyn OpTrait>>>);

impl<'a, T: Clone> Succ<'a, T>
where
    for<'c> T: 'c, 
{
    fn trace(&self) -> Self {
        let b = Box::new(Op(self.0.clone()));
        self.1.borrow_mut().insert(b);
        Succ(self.0.clone(), self.1)
    }
}

#[derive(Debug, Clone)]
struct Zero;

整合逻辑的nest函数 #

该函数接收闭包操作Succ实例，并返回最终处理结果：

fn nest<T: Clone, F>(f: F, t: &T) -> T
where
    for<'a> F: Fn(&Succ<'a, T>) -> Succ<'a, T>,
{
    let trace = RefCell::new(None);
    let nested = Succ(t.clone(), &trace);
    let result = f(&nested);
    result.0
}

调用情况 #

正常调用（可运行） #

直接调用nest并传入单层闭包时，代码可正常编译运行：

let input = Zero;
let result0 = nest(|n| n.trace(), &input);

嵌套调用（编译报错） #

嵌套调用nest时，编译器抛出生命周期错误：

let result = nest(|n| nest(|nn| nn.trace(), n), &input);

报错信息

--> src/main.rs:46:37
   |
46 |     let result = nest(|n| nest(|nn| nn.trace(), n), &input);
   |                        -            ^^^^^^^^^^
   |                        |            |
   |                        |            `n` escapes the closure body here
   |                        |            argument requires that `'1` must outlive `'static`
   |                        `n` is a reference that is only valid in the closure body
   |                        has type `&Succ<'1, Zero>`

问题分析 #

• 编译器要求Succ的实现中添加for<'c> T: 'c，是因为trait object（Box<dyn OpTrait>）默认拥有'static生命周期，这要求泛型T必须能在任意生命周期下存活（等价于T: 'static）。
• 嵌套调用时，外层闭包传递的&Succ<'1, Zero>包含了非'static的生命周期引用，而内层nest的闭包调用nn.trace()时，需要Succ<'1, Zero>满足for<'c> Succ<'1, Zero>: 'c（即'static），但实际无法满足，因此触发生命周期错误。
• 若移除for<'c> T: 'c约束，嵌套调用仅执行clone操作时可正常运行，因为此时不需要满足trait object的生命周期要求：

// 可正常运行
let result2 = nest(|n| nest(|nn| nn.clone(), n), &input);

解决方案验证 #

将Succ中的引用替换为Rc以移除生命周期参数，此时即便添加HRTB约束，嵌套调用也能正常工作：

use std::rc::Rc;

#[derive(Clone)]
struct Succ<T>(T, Rc<RefCell<Option<Box<dyn OpTrait>>>>);

// 对应的impl和nest函数调整后，嵌套调用无报错

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