即使关联类型不同，特征实现也存在冲突

Question

我正在尝试创建一个包装

isize

或

AtomicIsize

的通用结构，但是当我尝试为结构的两种可能实现实现特征时，我遇到了错误。我创建了一个最小的示例来演示我的问题如下。

use std::sync::atomic::{AtomicIsize, Ordering};
use std::ops::Deref;
use std::marker::PhantomData;

pub trait Counted {
    fn inc(&self, value: isize);
}

pub type PlainCounter = isize;
pub type AtomicCounter = AtomicIsize;


pub struct Counter<'a, T: 'a> {
    counter: T,
    phantom: PhantomData<&'a T>,
}

impl<'a, T> Counter<'a, T>
    where T: Deref<Target = PlainCounter>
{
    pub fn new(counter: T) -> Self {
        Counter {
            counter: counter,
            phantom: PhantomData,
        }
    }
}

impl<'a, T> Counted for Counter<'a, T>
    where T: Deref<Target = PlainCounter>
{
    fn inc(&self, value: isize) {
        self.counter += 1;
    }
}

impl<'a, T> Counter<'a, T>
    where T: Deref<Target = AtomicCounter>
{
    pub fn new(counter: T) -> Self {
        Counter {
            counter: counter,
            phantom: PhantomData,
        }
    }
}

impl<'a, T> Counted for Counter<'a, T>
    where T: Deref<Target = AtomicCounter>
{
    fn inc(&self, value: isize) {
        self.counter.fetch_add(value, Ordering::SeqCst);
    }
}

（游乐场）

我得到的错误是编译器发现了

conflicting implementations of trait `Counted` for type `Counter<'_, _>`

。编译器似乎无法确定实现是针对两种不同类型

T

，即

T: Deref<Target = PlainCounter>

和

T: Deref<Target = AtomicCounter>

。也许有一种方法可以向编译器提供附加信息，以便它可以区分这两种情况，或者我完全走错了路？

Answer 1

您可以通过定义执行实际工作的第二个特征来实现此模式，并为

(Counter<'a, T>, <T as Deref>::Target)

实现，并让

Counter

特征调用该实现。

我认为这不是很清楚，但我认为一个例子可以很好地说明。为了清楚起见，使用 Shepmaster 的简短示例，我们将从以下开始：

use std::ops::Deref;

trait Foo {}

impl<T> Foo for T
    where T: Deref<Target = u8>
{}

impl<T> Foo for T
    where T: Deref<Target = bool>
{}

fn main() {}

对此：

use std::ops::Deref;

trait Foo {}
trait InnerFoo {}

impl<T> Foo for T
    where T: Deref,
          (T, <T as Deref>::Target): InnerFoo
{}

impl<T> InnerFoo for (T, u8)
{}

impl<T> InnerFoo for (T, bool)
{}

fn main() {}

Answer 2

不幸的是，这还没有在语言中实现。

存在这个跟踪问题：rust-lang/rust#20400。

还提出了 RFC rust-lang/rfcs#1672 来解决此问题，但随后被推迟，等待 Chalk 集成，这将使其更容易实现。

与此同时，您必须使用上面建议的解决方法。

Answer 3

在下一代特征解析器可以处理这种情况之前，以下板条箱可能会有所帮助：

https://crates.io/crates/disjoint_impls