有没有办法使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

这很可能是一个错误（我不确定是这个错误还是那个错误）。在修复之前，我只能想到做一些自定义的不安全欺骗。这是一个Transmute函数，可在运行时进行大小相等性检查。

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>) }