时间戳

首页 > 解决方案 > 如何为实现另一个特征的类型实现特征而不冲突的实现

rust - 如何为实现另一个特征的类型实现特征而不冲突的实现

问题描述

我有一个广泛的基础特征。有些类型只关心其功能的子集，所以我添加了一个子特征，要求用户实现更小的功能集。

此代码失败：

trait Base<T> {
    fn foo(arg: bool);
}

// Ext is a narrowing of Base requiring user to provide alternative, simpler interface for the same functionality
trait Ext<T>: Base<T> {
    fn bar();
}

// implement Base<T> for all types implementing Ext<T>
impl<T, E> Base<T> for E
where
    E: Ext<T>,
{
    fn foo(arg: bool) {
        Self::bar();
    }
}

struct Data<T>;

// error[E0119]: conflicting implementations of trait `Base<_>` for type `Data<_>`:
impl<T> Base<T> for Data<T> {
    fn foo(arg: bool) {}
}

出现以下错误：

error[E0119]: conflicting implementations of trait `Base<_>` for type `Data<_>`:
  --> src/lib.rs:22:1
   |
11 | / impl<T, E> Base<T> for E
12 | | where
13 | |     E: Ext<T>,
14 | | {
...  |
17 | |     }
18 | | }
   | |_- first implementation here
...
22 |   impl<T> Base<T> for Data<T> {
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `Data<_>`
   |
   = note: downstream crates may implement trait `Ext<_>` for type `Data<_>`

有趣的是，当我删除一般性时它会起作用T：

trait Base {
    fn foo(arg: bool);
}

// Ext is a narrowing of Base requiring user to provide alternative, simpler interface for the same functionality
trait Ext: Base {
    fn bar();
}

// implement Base for all types implementing Ext
impl<E> Base for E
where
    E: Ext,
{
    fn foo(arg: bool) {
        Self::bar();
    }
}

struct Data;

// works just fine
impl Base for Data {
    fn foo(arg: bool) {}
}

stackoverflow 上的其他一些帖子提到了类似的问题，但它们通常存在外来特征（来自标准库的特征）的问题。就我而言，特征和类型都是本地的，因此据我所知，孤儿规则不应该生效。

基本上，error 提到了 that downstream crates may implement trait 'Ext<_>' for type 'Data<_>'，这是不正确的，因为对于那些板条箱来说，两者都是Ext外来Data的。

总而言之，我的问题是：

  1. 为什么我的一揽子 impl 被拒绝，即使其他 crate 似乎不可能产生碰撞。
  2. 为什么没有版本没有T被拒绝，即使它几乎是相同的一揽子impl？
  3. 这个问题有什么解决方法吗？

标签： rusttraits

解决方案

您看到错误的原因是impl Base for E 和 impl Base for Data 之间可能存在冲突

这些都是泛型，所以理论上我可以创建自己的结构并实现 traitBase<T>以及 trait Ext<T>。如果我这样做，您的代码将创建重复的实现，Base<T>::foo因为这两个impl块都在实现Base<T>。

当您T从代码中删除时，它会变得更加具体。您将实施BaseforE和Basefor Data。如果添加以下内容，您可以在自己的第二个代码示例中看到相同的错误

impl Ext for Data {
    fn bar() {}
}

这是相同的基本信息。唯一的区别是你的第一个例子只提供了碰撞的可能性，而第二个（加上我的补充）实际上导致了碰撞。

至于解决方法……Rust 特征并不是真正的继承，所以我想说的生锈方法是为您想要的每个函数子集使用单独的特征，而不是尝试创建特征层次结构。

如果您的程序确实需要具有继承类型特征，请避免使用泛型或将它们绑定到具体类型。

推荐阅读