Rust枚举泛型函数实现：根据类型是否实现Trait返回Option

我有一个由过程宏生成的枚举，定义如下：

struct A;
struct B;
struct C;

enum SomeEnum {
    ValueA(A),
    ValueB(B),
    ValueC(C),
}

该枚举的关联类型A、B、C完全由过程宏的输入决定，无法对这些类型做任何预设。我需要为这个枚举实现一个泛型函数getValueOption，接收SomeEnum的引用和泛型参数P，满足：

• 若枚举持有的值与P类型相同，或者实现了P这个trait，就返回Some(&值)
• 否则返回None

预期的函数实现框架如下：

impl SomeEnum {
    // 此函数将由过程宏自动生成
    fn getValueOption<P: ?Sized>(&self) -> Option<&P> {
        return match self {
            SomeEnum::ValueA(a) => {
                // 如果 A 与 P 类型相同或实现了 P，返回 Some(a)
                // 否则返回 None
            },
            SomeEnum::ValueB(b) => { ... 逻辑同上 },
            SomeEnum::ValueC(c) => { ... 逻辑同上 },
        };
    }
}

由于枚举是过程宏生成的，需要一种通用的匹配逻辑，无论P是什么类型、枚举字段的类型是什么，都能正确编译并运行。

我尝试了两种方案，但都遇到了问题：

方案1：自动解引用特化（Autoderef specialization） #

我定义了Upcast trait，用于判断值是否能向上转换为P，并通过UpcastImmutType包装类型来实现该trait：

pub trait Upcast<'a, Parent: 'a + ?Sized> {
    fn upcast(&self) -> Option<&'a Parent>;
}

pub struct UpcastImmutType<'a, T: 'a>(pub &'a T);

为UpcastImmutType<T>实现全局默认的Upcast<Parent>：

// 当没有更匹配的实现时，调用此默认实现
impl<'a, T: 'a, Parent: 'a + ?Sized> Upcast<'a, Parent> for UpcastImmutType<'a, T> {
    fn upcast(&self) -> Option<&'a Parent> {
        return None;
    }
}

通过自动解引用特化，为&UpcastImmutType实现针对特定trait的Upcast：

// 示例 trait 定义
trait Trait { ... }

// ** 注意：为 &UpcastImmutType 实现 Upcast，而非 UpcastImmutType 本身 **

// 每个需要支持向上转换的 trait 都需要类似实现
// 实际可以用宏批量生成，这里为简化直接手写
impl<'a, T: 'a + Trait> crate::common::upcast::Upcast<'a, dyn Trait + 'a> for &crate::common::upcast::UpcastImmutType<'a, T> {
    fn upcast(&self) -> Option<&'a (dyn Trait + 'a)> {
        return Some(self.0);
    }
}

同时写了一个宏来确保调用逻辑正确：

// 确保正确调用 Upcast 函数的宏
macro_rules! CallUpcast {
    ($structure:expr) => {{
        use crate::Upcast;
        let upcast = crate::UpcastImmutType($structure);
        let tmp = &upcast; // tmp 类型为 "&UpcastImmutType"
        let tmp = &tmp;    // tmp 类型为 "&&UpcastImmutType"
        tmp.upcast()
    }}
}

问题：单trait场景下该方案可以正常工作，但在多trait场景（比如同时处理Trait、Trait2、Trait3）中，当值未实现某个trait时，会直接触发编译错误，而不是返回None。

方案2：min_specialization #

Rust nightly版本的min_specialization实验特性支持特化，但无法针对泛型trait进行特化，因此这个方案也无法解决我的问题。

我还尝试过使用type_id等方式进行类型判断，但都没有找到可行的路径。现在希望能得到其他解决方案，或者对现有方案的优化建议。

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