07｜类型与类型参数：给Rust小助手提供更多信息

思考题："为泛型实现了一个方法，能否再为具化类型实现一个同名方法"，取决于这个泛型能否表示相应的具化类型。比如为泛型 T 和 String 实现了相同的方法，由于 T 没有施加任何约束，它可以代表 String。那么当调用方法时，对于具化类型 String 来说，要调用哪一个呢？因此会出现歧义，编译器会报错：方法被重复定义了。 但如果给泛型 T 施加了一个 Copy 约束，要求 T 必须实现了 Copy trait，那么就不会报错了，因为此时 T 代表不了 String，所以调用方法不会出现歧义。但如果再为 i32 实现一个同名方法就会报错了，因为 i32 实现了 Copy，它可以被 T 表示。 PS：老师我在 06 讲提了一个问题，之前在学 Rust 的时候就一直困扰着我，还麻烦老师解答一下。

不能，编译器会提示duplicate definitions for XXXXX。 如果想为具化类型再实现同样的方法，则可以定义一个trait，用具化类型实现这个trait，来达到"为具化类型再实现同样的方法“的目的。

impl<T: std::ops::Add<Output = T>> Bar<T> { fn plus(self, other: Bar<T>) -> T { self.value + other.value } } impl Bar<u32> { fn plus(&self, other: &Bar<u32>) -> u32 { self.value + other.value } } //Output: error[E0592]: duplicate definitions with name `plus` --> src/main.rs:64:5 | 64 | fn plus(self, other: Bar<T>) -> T { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ duplicate definitions for `plus` ... 70 | fn plus(&self, other: &Bar<u32>) -> u32 { | --------------------------------------- other definition for `plus` 不能

思考题：核心点就在于不能为同一个类型实现 2 个相同函数签名的方法，因为这会引起方法冲突。 编译报错如下： error[E0592]: duplicate definitions with name `print` --> examples/generic.rs:7:5 | 7 | fn print(&self) { | ^^^^^^^^^^^^^^^ duplicate definitions for `print` ... 13 | fn print(&self) { | --------------- other definition for `print` 所以一般情况下，如果 impl<T> 后面的 T 没有任何的约束，那么就表示为所有类型的 T 都实现了方法，比如说 print()，这个时候是不能为具化类型再次实现 print() 的，因为这个时候就产生了方法冲突。 但是，如果 impl<T: std::fmt:Display> 后面的 T 是有约束的，那么其实只为符合这个约束的类型实现了 print()，其余类型是没有实现的，所以是可以为其余具化类型实现相同的方法的。 如： ```rust struct Point<T> { x: T, y: T, } struct NotDisplay { a: u32, } impl<T: std::fmt::Display> Point<T> { fn print(&self) { println!("Point: {}, {}", self.x, self.y); } } impl Point<NotDisplay> { fn print(&self) { println!("not display"); } } ```

思考题：通常是不能， 但是可以通过 trait 进行特化

和Java的范型类似