解决特征实现冲突

Question

我试图在生锈中编写一些通用的数学函数，我一直遇到以下错误消息：

error: conflicting implementations for trait SoAndSo

有可能解决这个问题吗？如果是，怎么做？

例如，我正在尝试编写一个通用的点积，它使用两个迭代器，对它们进行压缩，并对这些迭代器对进行迭代，以累积积。我希望这个函数也能计算复数点积。复数上的点积包括共轭一面。我的第一个想法是为一个二进制函数编写一个traitDot1，以替换Mul，因为它还与左侧参数共轭。以下是完整的代码：

extern crate num;

use num::complex::Complex;
use num::{Float, Num};

trait Dot1<Rhs, Result> {
    fn dot1(&self, rhs: Rhs) -> Result;
}

impl<T: Float> Dot1<T, T> for T {
    // conjugation for reals is a no-op
    fn dot1(&self, rhs: T) -> T {
        *self * rhs
    }
}

impl<T: Num + Clone> Dot1<Complex<T>, Complex<T>> for Complex<T> {
    fn dot1(&self, rhs: Complex<T>) -> Complex<T> {
        self.conj() * rhs
    }
}

fn main() {
    println!("Hello, world!")
}

因为一个复杂

error[E0119]: conflicting implementations of trait `Dot1<num::Complex<_>, num::Complex<_>>` for type `num::Complex<_>`:
  --> src/main.rs:17:1
   |
10 | impl<T: Float> Dot1<T, T> for T {
   | ------------------------------- first implementation here
...
17 | impl<T: Num + Clone> Dot1<Complex<T>, Complex<T>> for Complex<T> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `num::Complex<_>`
   |
   = note: upstream crates may add new impl of trait `num::Float` for type `num::Complex<_>` in future versions

如何编写一个通用的、基于迭代器的点积，它既适用于实数，也适用于复数？使用迭代器、压缩迭代器等都不是问题，我甚至能够找出使用哪些边界的类型参数。我似乎无法使用上面提到的特性来“统一”某些数据类型。




Answer 1

这里的问题是（当前）编译器没有注册复杂的

最后一点是关键：与Haskell不同，Rust的设计允许此代码完全正常，没有任何风险，这一切都是因为Rust处理最后一点的方式不同。如果你在一个能看到一种类型类型和一种特质特质的板条箱里，那么你100%肯定类型是否实现了特质：Rust没有Haskell的开放世界假设，因为只有当Trait或Type位于当前板条箱（编译单元）中时，才能为Type编写impl Trait，也就是说，不能有孤立实例，其中有人为Complex实现了Float

RFC 24（Chris链接到的）认识到了这一点，允许这些通用实现与更具体的实现共存，只要实现保证不重叠。