保持Extendable trait对象安全的同时泛化app方法是否可行？

你希望将以下代码中Extendable trait的app方法从固定使用i32改为泛型，同时保持该trait的对象安全：

trait Isoextender {
    type Input;
    type Output;
    fn forward(&self, v: Self::Input) -> Self::Output;
    fn backward(&self, v: Self::Output) -> Self::Input;
}

trait Extendable {
    type Item;
    fn app(
        &self,
        v: &dyn Isoextender<Input = Self::Item, Output = i32>,
    ) -> Box<dyn Extendable<Item = i32>>;
}

你尝试过用std::Any做类型擦除，但会丢失类型信息，现在想确认以下哪种情况属实：

对三个选项的分析 #

1. 是否存在可行的实现方式？
   目前没有完美方案直接实现「带泛型参数的对象安全trait方法」。Rust的对象安全规则明确要求：trait方法不能有泛型参数（因为泛型会触发单态化，每个具体类型对应不同的函数实例，无法放入固定结构的虚表）。如果接受 trade-off，可以通过一些间接手段模拟：

   • 用dyn Any配合类型检查实现动态类型转换，但会丢失静态类型安全；
   • 引入额外的关联类型或trait约束，将泛型参数转为关联类型，但会限制灵活性，无法做到真正的任意泛型。
     严格来说，你想要的「保留类型信息+对象安全+泛型app方法」当前无法直接实现。

2. 当前无法实现，但未来可能可行？
   是的。Rust社区一直在探索泛型trait对象的特性，比如允许trait方法携带泛型参数同时支持动态分发。这需要编译器改进虚表生成机制，或者引入新的类型系统特性（如更高阶的trait对象）来支持泛型函数的动态分发。目前已有相关RFC讨论，未来版本有可能实现该功能。

3. 可能永远无法实现？
   不可能。从理论层面，编译器可以通过优化单态化逻辑（如识别逻辑完全一致的泛型函数并复用实例）、设计更灵活的虚表结构，或者引入延迟实例化机制来支持泛型trait对象。只是当前Rust的对象模型和类型系统尚未覆盖该场景，并非技术上不可行。

关于泛型函数放入虚表的补充说明 #

你提到的pointer_identity这类泛型函数，虽然逻辑上对所有类型都一致，但Rust当前的单态化机制会为每个具体类型生成独立的函数实例，即使代码完全相同。要将这类泛型函数放入虚表，需要编译器能够识别并复用无差别的泛型实例，或者引入一种新的动态分发机制，允许在运行时传递类型信息并复用通用逻辑。这属于未来可能的优化方向，但当前Rust还不支持这种操作。

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