在使用关联类型的情况下，如何实现泛型容器的借用？

Question

我想为用户友好数据结构实现借用，以提供对函数中的内部_数据字段的访问，该字段对于数据提供程序来说应该是不可知的。internal_data字段的类型由traitTraitA关联的类型确定。请注意，密封的特性确保这里的这些特性都不能被其他板条箱实现；这是我严格提供的功能。此外，类型TraitA:：Data受到空traitDataTrait的限制，以防止UserFriendlyDataStructure用作该类型。

以下示例最能说明问题：

use std::borrow::Borrow;
use std::marker::PhantomData;

mod private {
    pub trait Sealed {}
}

pub trait DataTrait: private::Sealed {}

pub trait TraitA: private::Sealed {
    type Data: DataTrait;
}

pub struct UserFriendlyDataStructure<A: TraitA> {
    internal_data: A::Data,
    _a: PhantomData<A>,
}

impl<A: TraitA> Borrow<A::Data> for UserFriendlyDataStructure<A> {
    fn borrow(&self) -> &A::Data {
        &self.internal_data
    }
}

pub fn important_function<A: TraitA, T: Borrow<A::Data>>(data: &T) {
    let _internal_data = data.borrow();
    // Do lots of work.
}

#[cfg(test)]
mod tests {
    use super::*;

    pub struct TestData(u32);

    impl super::private::Sealed for TestData {}

    impl DataTrait for TestData {}

    pub struct TestProvider;

    impl super::private::Sealed for TestProvider {}

    impl TraitA for TestProvider {
        type Data = TestData;
    }

    #[test]
    fn basic_test() {
        let ufds: UserFriendlyDataStructure<TestProvider> = UserFriendlyDataStructure {
            internal_data: TestData(100),
            _a: PhantomData::default(),
        };

        important_function::<TestProvider, _>(&ufds);
    }
}

不幸的是，编译器抱怨道：

error[E0119]: conflicting implementations of trait `std::borrow::Borrow<UserFriendlyDataStructure<_>>` for type `UserFriendlyDataStructure<_>`:
  --> src/lib.rs:19:1
   |
19 | impl<A: TraitA> Borrow<A::Data> for UserFriendlyDataStructure<A> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: conflicting implementation in crate `core`:
           - impl<T> std::borrow::Borrow<T> for T
             where T: ?Sized;

有没有办法实现我的目标？

Answer 1

通过引入冗余的第二个类型参数，可以诱使编译器接受代码，该参数被约束为与a:：Data相同：

impl<A, D> Borrow<D> for UserFriendlyDataStructure<A>
where
    A: TraitA<Data = D>,
    D: DataTrait,
{
    fn borrow(&self) -> &A::Data {
        &self.internal_data
    }
}

我不知道为什么会这样，而简单地约束A:：Data:DataTrait就不行了。我认为编译器应该接受这两个版本。

（操场上的完整代码）

编辑：我们需要上面代码中的冗余类型D，这似乎是当前编译器实现的一个缺点，希望在编译器中集成实验类型推理引擎粉笔后得到解决。