移除ToString trait约束后出现Rust借用数据逃逸错误

我在自定义CustomData trait的泛型实现中移除了ToString trait约束，代码如下：

impl<T : Any 
    // +ToString //取消注释可消除错误
> CustomData for T { 
    fn as_any(&self) -> &dyn Any { self }    
}

在CustomInstance的borrow方法中出现编译错误：

impl CustomInstance {
    pub fn borrow<T:Any>(&self) -> Option<Ref<'_, T>>  {
        let b= self.data.borrow();

        if !b.as_any() //错误发生在此处
            .is::<T>() 
        { 
            return None;
        }
        // ...后续代码
    }
}

错误信息：

borrowed data escapes outside of method
`self` escapes the method body here

我了解到ToString会默认引入'static生命周期，但不清楚具体解决方式。以下是完整精简代码：

use std::any::Any;
use std::cell::{RefCell, Ref};
use std::rc::Rc;

pub trait CustomData : Any { fn as_any(&self) -> &dyn Any; }

impl<T : Any 
    // +ToString //取消注释可消除错误
> CustomData for T { 
    fn as_any(&self) -> &dyn Any { self }    
}

pub struct CustomInstance { data: Rc<RefCell<dyn CustomData>>, }

impl CustomInstance {
    pub fn borrow<T:Any>(&self) -> Option<Ref<'_, T>>  {
        let b= self.data.borrow();

        if !b.as_any() //错误发生在此处
            .is::<T>() 
        { 
            return None;
        }
        
        Some(Ref::map(b, |c| c.as_any().downcast_ref::<T>().unwrap()))
    }
}

fn main() { }

问题根源 #

问题出在dyn CustomData的生命周期推断上：

• 添加ToString约束时，ToString隐含要求类型满足'static生命周期（其依赖的Display trait动态分发需要稳定引用），编译器会自动将dyn CustomData推断为dyn CustomData + 'static，确保引用不会提前失效。
• 移除ToString后，dyn CustomData没有明确的生命周期约束，编译器无法保证Ref<'_, T>持有的引用不会在方法结束后逃逸，因此抛出错误。

解决方案 #

方案1：给CustomData添加'static约束

直接修改trait定义，强制所有实现类型满足'static：

pub trait CustomData : Any + 'static { 
    fn as_any(&self) -> &dyn Any; 
}

这种方式简单直接，和添加ToString约束的效果一致，确保动态类型的引用生命周期安全。

方案2：约束borrow方法中的T为'static

如果不想修改trait的全局约束，可以在borrow方法中单独限制T的生命周期：

pub fn borrow<T: Any + 'static>(&self) -> Option<Ref<'_, T>>  {
    // 原有代码逻辑不变
}

本质上和方案1一致，都是通过'static约束让编译器确认引用安全。

方案3：为CustomData添加生命周期参数（更灵活）

如果需要支持非'static的类型，可以给trait添加生命周期参数，明确控制引用的生命周期范围：

pub trait CustomData<'a>: Any + 'a {
    fn as_any(&self) -> &dyn Any + 'a;
}

impl<'a, T: Any + 'a> CustomData<'a> for T {
    fn as_any(&self) -> &dyn Any + 'a {
        self
    }
}

pub struct CustomInstance {
    data: Rc<RefCell<dyn CustomData<'static>>>,
}

这种方式适合需要处理临时引用的场景，但会增加代码复杂度，需根据实际业务需求选择。

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