反射需类型注解，能否隐藏Foo实现的类型信息并留存复用？

嘿，你的这个想法完全可行！不过得先绕开Rust类型系统里的几个小限制，尤其是和 trait 对象安全、类型擦除相关的细节。咱们结合你的代码一步步说：

首先，你想隐藏Bar<T>的具体类型，同时把它存起来后续用反射恢复——核心思路就是用std::any::Any这个trait来做类型擦除和恢复，但这里有个小问题：你定义的Foo trait因为带有关联类型Item，默认是不具备对象安全性的，所以没法直接写成Box<dyn Foo>这种 trait 对象来存储。

那怎么解决呢？我们可以加一个对象安全的辅助trait，把Foo的功能封装起来，同时提供和Any交互的接口。比如这样修改你的代码：

#![feature(universal_impl_trait)]
use std::any::Any;

trait Foo {
    type Item;
    fn get(&self) -> Self::Item;
}

// 新增一个对象安全的辅助trait，用来做类型擦除
trait ErasedFoo {
    // 把get的返回值包装成Box<dyn Any>
    fn get_any(&self) -> Box<dyn Any>;
    // 把自身转换成&dyn Any，方便后续恢复类型
    fn as_any(&self) -> &dyn Any;
}

// 给所有实现了Foo的'static类型自动实现ErasedFoo
impl<T: Foo + 'static> ErasedFoo for T {
    fn get_any(&self) -> Box<dyn Any> {
        Box::new(self.get())
    }

    fn as_any(&self) -> &dyn Any {
        self
    }
}

#[derive(Clone, Debug)]
struct Bar<T: Clone>(T);

impl<T: Clone> Bar<T> {
    fn new(t: T) -> Self { Bar(t) }
}

impl<T: 'static + Clone> Foo for Bar<T> {
    type Item = T;
    fn get(&self) -> Self::Item {
        self.0.clone()
    }
}

fn main() {
    // 把Bar<i32>包装成Box<dyn ErasedFoo>，隐藏具体类型
    let erased_foo: Box<dyn ErasedFoo> = Box::new(Bar::new(42));

    // 调用get并恢复具体类型
    let value = erased_foo.get_any();
    if let Some(num) = value.downcast_ref::<i32>() {
        println!("拿到的值: {}", num); // 输出 42
    }

    // 甚至可以恢复原始的Bar<T>类型
    if let Some(bar_instance) = erased_foo.as_any().downcast_ref::<Bar<i32>>() {
        println!("恢复的Bar实例: {:?}", bar_instance); // 输出 Bar(42)
    }
}

这里的关键点：

• 辅助trait ErasedFoo是对象安全的，因为它的方法返回值都是固定的（Box<dyn Any>和&dyn Any），没有依赖关联类型。
• 利用Any的downcast_ref方法，我们可以在运行时把擦除后的类型恢复成具体的Bar<T>或者Item类型——这就是你要的“存储类型信息供后续使用”的实现方式。
• 你用到的universal_impl_trait特性其实在这里不是必须的，除非你想用impl Foo作为函数返回值来在编译期隐藏类型，但如果要运行时存储和反射，还是得靠Any和对象安全的trait。

另外补充一下：如果只是想在编译期隐藏Bar<T>的类型（不需要运行时反射），那直接用impl Foo返回值就可以，比如：

fn create_foo() -> impl Foo<Item = i32> {
    Bar::new(42)
}

这种方式下，调用方只知道返回值实现了Foo<Item = i32>，但不知道具体是Bar<i32>，但没法在运行时恢复原始类型，只能调用Foo的方法。

总的来说，你的需求完全可以实现，核心就是用Any做类型擦除+恢复，再配合对象安全的trait来封装原有的Foo功能。

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