Rust 类型关键字是什么

发布于04月04日

我在一些Rust 的例子中看到了关键词type，但我从来没有看到过它的解释.以下是我看到的几个例子:

impl Add<Foo> for Bar {
    type Output = BarFoo;
    // omitted
}

type T = HashMap<i32,String>; // Type arguments used in a type expression
let  x = id::<i32>(10);       // Type arguments used in a call expression

谁能解释一下这个关键词的作用吗？我在《铁 rust 举例》或《铁 rust 书》中找不到它.

推荐答案

impl之外的简单type Foo = Bar;定义了type alias，是documented in The Book.有一个泛型版本type Foo<T> = ...，但如果你一般理解泛型，那么这是一个明显的扩展.

impl中的type定义了associated type.他们是documented in The Book人，但我已经写了一个简短的总结，所以你也得到了:

当你有一个像Add这样的trait 时，你不仅要抽象出什么类型的事物可以被添加，还要抽象出它们总和的类型.添加整数会生成整数，添加浮点会生成浮点.但是你不希望结果类型像Add<ThingToAdd, ResultType>中那样是一个Add的参数，原因我在这里略过.

因此，这一特征与impl相关.给定Add的任何实现，例如impl Add<Foo> for Bar，加法结果的类型已经确定.这是在特征中声明的，如下所示:

trait Add<Rhs> {
    type Result;
    // ...
}

然后所有的实现都定义了它们的结果的类型:

impl Add<Foo> for Bar {
    type Result = BarPlusFoo;
    // ...
}