实现特性

当一个类型是在另一个crate中定义的（例如，来自Rust标准库的u32），你不能直接为它定义新的方法。如果你尝试这样做：

#![allow(unused)]
fn main() {
impl u32 {
    fn is_even(&self) -> bool {
        self % 2 == 0
    }
}
}

编译器会报错：

error[E0390]: cannot define inherent `impl` for primitive types
  |
1 | impl u32 {
  | ^^^^^^^^
  |
  = help: consider using an extension trait instead

扩展特性

扩展特性是一种主要目的是向外部类型（如u32）附加新方法的特性。这正是你在上一个练习中采用的模式，通过定义IsEven特性然后为i32和u32实现它。只要IsEven在作用域内，你就可以自由地在这些类型上调用is_even方法。

// 引入特性
use my_library::IsEven;

fn main() {
    // 在实现了它的类型上调用其方法
    if 4.is_even() {
        // [...]
    }
}

单一实现

在你能编写的特性实现中存在一些限制。最简单且最直接的一个是：你不能在一个crate中，为同一个类型两次实现同一个特性。

例如：

#![allow(unused)]
fn main() {
trait IsEven {
    fn is_even(&self) -> bool;
}

impl IsEven for u32 {
    fn is_even(&self) -> bool {
        true
    }
}

impl IsEven for u32 {
    fn is_even(&self) -> bool {
        false
    }
}
}

编译器会拒绝它：

error[E0119]: conflicting implementations of trait `IsEven` for type `u32`
   |
5  | impl IsEven for u32 {
   | ------------------- first implementation here
...
11 | impl IsEven for u32 {
   | ^^^^^^^^^^^^^^^^^^^ conflicting implementation for `u32`

当在u32值上调用IsEven::is_even时，不能存在任何关于应该使用哪个特性实现的歧义，因此只能有一个。