rust - 有没有办法让 Rust 相信特定的关联类型与具体类型相同？

Question

鉴于以下特征和实现:

trait Wrapper<Type> {
    type Inner : Wrapped<Type>;
    fn bind<B, F>(self, f: F) -> <B as Wrapped<Type>>::Outer
        where B: Wrapped<Type>, F: Fn(Self::Inner) -> <B as Wrapped<Type>>::Outer;
}

trait Wrapped<Type> {
    type Outer : Wrapper<Type>;
}

struct Opt;

impl<T> Wrapped<Opt> for T {
    type Outer = Option<T>;
}

impl<T> Wrapper<Opt> for Option<T> {
    type Inner = T;
    fn bind<B, F>(self, f: F) -> <B as Wrapped<Opt>>::Outer
        where B: Wrapped<Opt>, F: Fn(Self::Inner) -> <B as Wrapped<Opt>>::Outer {
        match self {
            Some(a) => f(a),
            None => None,  // *** fails to compile
        }
    }
}

对于人类来说很明显类型 <B as Wrapped<Opt>>::Outer必须始终为 Option<B> ，但是rustc似乎无法弄清楚:

src/main.rs:47:21: 47:25 error: mismatched types:
 expected `<B as Wrapped<Opt>>::Outer`,
    found `core::option::Option<_>`
(expected associated type,
    found enum `core::option::Option`) [E0308]
src/main.rs:47             None => None,
                                   ^~~~

有什么办法可以说服它这是安全的吗？我什至会满足于 unsafe解决方案，但是 mem::transmute也是不允许的，因为它不能证明类型是相同的大小和对齐的(即使只涉及一个真实的类型，甚至没有任何可能弄乱对齐的新类型包装器)。

Answer 1

这很可能是一个错误(this one 或 that one，我不确定)。在修复之前，我只能考虑做一些自定义的不安全技巧。这是一个在运行时执行大小相等性检查的转换函数。

unsafe fn runtime_transmute<T, U>(t: T) -> U {
    assert_eq!(std::mem::size_of::<T>(), std::mem::size_of::<U>());
    std::ptr::read(&t as *const _ as *const _)
}

现在您可以将 None 值替换为

unsafe { runtime_transmute(None::<T>) }