struct Point<T, U> {
x: T,
y: U,
}
impl<T, U> Point<T, U> {
fn mixup<V, W>(self, other: Point<V, W>) -> Point<T, W> {
Point {
x: self.x,
y: other.y,
}
}
}
fn main() {
let p1 = Point { x: 5, y: 10.4 };
let p2 = Point { x: "Hello", y: 'c'};
let p3 = p1.mixup(p2);
println!("p3.x = {}, p3.y = {}", p3.x, p3.y);
}
学泛型的时候有点疑惑,
为什么mixup
定义的时候必须要后接<V, W>
, 这表示mixup
是个Point
的<V, W>
类型的泛型方法吗?
但是我不明白这个类型有什么用, 让编译器知道这是个泛型方法? 那为什么是<V, W>
呢, 比较迷糊.
1
共 2 条评论, 1 页
评论区
写评论例子里p1和p2分别是整数、浮点和字符串、字符,四个类型都不一样,方法定义里T、U、V、W就满足这种要求,如果你其中用了同一个泛型名称,那意味着类型也要一致,例子就不成立了 总结就是,泛型T和泛型U可以是同一种类型,但是泛型T和泛型T不能是两种类型
用<V, W>表示他是区分self<T, U>的另外的类型,V,W这两个字母可以是任意的,无所谓,这里主要展现的是泛型的灵活性吧,用<V, W>和<T, U>混合成了一个<T, W>