trait在Rust中的冲突实现

Question

我想为

use std::convert::Into;

pub trait UiId {
    fn push(&self);
}

impl<'a> UiId for &'a str {
    fn push(&self) {}
}

impl<T: Into<i32>> UiId for T {
    fn push(&self) {}
}

fn main() {}

编译失败，出现以下错误：

error[E0119]: conflicting implementations of trait `UiId` for type `&str`:
  --> src/main.rs:11:1
   |
7  | impl<'a> UiId for &'a str {
   | ------------------------- first implementation here
...
11 | impl<T: Into<i32>> UiId for T {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `&str`
   |
   = note: upstream crates may add new impl of trait `std::convert::From<&str>` for type `i32` in future versions




Answer 1

我发现了一个使用标记特征的变通方法。不需要夜间或实验功能。诀窍是，我在我的板条箱中定义了标记特征，但不导出它，所以上游板条箱不可能在除了我实现它的类之外的类上定义标记。

标记特征下方是数字。

我使用它是为了可以将任何可以转换为f64的对象实现为，但也可以将其实现为单独impl中的字符串以及其他类型。

Numerictrait必须是pub，因为它们警告将来的版本将禁止在公共接口中使用私有trait。

use std::convert::Into;

pub trait Numeric {}
impl Numeric for f64 {}
impl Numeric for f32 {}
impl Numeric for i64 {}
impl Numeric for i32 {}
impl Numeric for i16 {}
impl Numeric for i8 {}
impl Numeric for isize {}
impl Numeric for u64 {}
impl Numeric for u32 {}
impl Numeric for u16 {}
impl Numeric for u8 {}
impl Numeric for usize {}


pub trait UiId {
    fn push(&self);
}

impl<'a> UiId for &'a str {
    fn push(&self) {}
}

impl<T: Into<i32> + Numeric> UiId for T {
    fn push(&self) {}
}

Answer 2

因此，如果允许这样做，可能的破坏将使向库特性添加实现变得更加困难。

不幸的是，我找不到留档，无论是在生锈编程语言书还是在参考手册。

我能找到的最好的是RFC 1023，它说一个板条箱[...]不能依赖那个Type：！Trait保持不变，除非Type或Trait是本地的。