有没有办法在 Rust 中实现具有不同通用约束的相同结构的特征？

Question

假设我有一个 struct S<T>并且我想用不同的泛型T约束来实现它来表征Default ：

struct S<T> { ... }


impl<T> Default for S<T> 
where
    T: Ord
{
    fn default() -> Self {
        Self::new()
    }
}

impl<T> Default for S<T>
where
    T: Ord + Default
{
    fn default() -> Self {
        Self::build(T::default())
    }
}

但是，编译器抱怨：

error[E0119]: conflicting implementations of trait std::default::Default for type S<_>

有没有办法编译这样的代码？

Answer 1

在稳定的 Rust 中没有办法做到这一点。

您可以在夜间 Rust 上使用（不稳定和不健全！） specialization功能：

#![feature(specialization)]

struct S<T> {
    x: Option<T>
}

impl<T> S<T> {
    fn new() -> Self { Self { x: None } }
    fn build(x: T) -> Self { Self { x: Some(x) } }
}


impl<T> Default for S<T> 
where
    T: Ord
{
    default fn default() -> Self {
        Self::new()
    }
}

impl<T> Default for S<T>
where
    T: Ord + Default
{
    fn default() -> Self {
        Self::build(T::default())
    }
}

https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=ee24c383878f7a32c53d12211b69ab4f