< 返回版块

5angXR 发表于 2024-06-17 17:11

Tags:泛型

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>呢, 比较迷糊.

评论区

写评论
yomiko451 2024-06-17 21:18

例子里p1和p2分别是整数、浮点和字符串、字符,四个类型都不一样,方法定义里T、U、V、W就满足这种要求,如果你其中用了同一个泛型名称,那意味着类型也要一致,例子就不成立了 总结就是,泛型T和泛型U可以是同一种类型,但是泛型T和泛型T不能是两种类型

asuper 2024-06-17 17:20

用<V, W>表示他是区分self<T, U>的另外的类型,V,W这两个字母可以是任意的,无所谓,这里主要展现的是泛型的灵活性吧,用<V, W>和<T, U>混合成了一个<T, W>

1 共 2 条评论, 1 页