将类型排除在特征边界之外

Question

在玩Rust及其泛型时，我遇到了一些问题，我找不到任何文档。

我已经实现了一个类型Wrapper，它封装了另一个类型。在某种程度上，我想实现From特性。

impl<TSrc, TDst> From<Wrapper<TSrc>> for Wrapper<TDst> 
where
   TSrc: From<TDst> 
{
    fn from(other: Wrapper<TSrc>) -> Self {
        todo!()
    }
}

rustc抱怨有以下错误

58 | impl<TSrc, TDst> From<Wrapper<TSrc>> for Wrapper<TDst>
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: conflicting implementation in crate `core`:
           - impl<T> From<T> for T;

如果TSrc和TDst是相同的，这是有意义的。是否可以显式地将TSrc从TDst中排除？

Answer 1

不，不可能排除泛型实现中的特定类型。

除了“做其他事情”(通常看起来像是一种固有的转换方法，使用不同的(自定义)特性，或者允许用户访问内部值并自己进行转换)之外，没有一个通用的解决方案。

将来可能会有像专业化或负内爆这样的机制，允许这样的实现(或类似的)，但什么都不会出现。

另请参阅：

• 当使用泛型类型时？
• 为什么两种不同特性的全面实现会发生冲突？
• 是否有可能从泛型特性实现中排除某一类型？