官术网_书友最值得收藏!

  • Mastering Rust
  • Rahul Sharma Vesa Kaihlavirta
  • 296字
  • 2021-07-02 13:35:29

Generic implementations

We can also write impl blocks for our generic types too, but it gets verbose here because of the extra generic type parameters, as we'll see. Let's implement a new() method on our Container<T> struct:

// generic_struct_impl.rs

struct Container<T> {
item: T
}

impl Container<T> {
fn new(item: T) -> Self {
Container { item }
}
}

fn main() {
// stuff
}

Let's compile this:

The error message cannot find our generic type T. When writing an impl block for any generic type, we need to declare the generic type parameter before using it within our type. T is just like a variable—a type variable—and we need to declare it. Therefore, we need to modify the implementation block a bit by adding <T> after impl, like so:

impl<T> Container<T> {
fn new(item: T) -> Self {
Container { item }
}
}

With that change, the preceding code compiles. The previous impl block  basically means that we are implementing these methods for all types T, which appear in Container<T>. This impl block is a generic implementation. Therefore, every concrete Container that ever gets generated will have these methods. Now, we could have also written a more specific impl block for Container<T> by putting any concrete type in place of T. This is what it would look like:

impl Container<u32> {
fn sum(item: u32) -> Self {
Container { item }
}
}

In the preceding code, we implemented a method called sum, which is only present on Container<u32> types. Here, we don't need the <T> after impl because of the presence of u32 as a concrete type. This is another nice property of impl blocks, which allows you to specialize generic types by implementing methods independently.

主站蜘蛛池模板: 京山县| 民和| 磐石市| 衡阳县| 静乐县| 甘孜县| 宣武区| 洪江市| 遂宁市| 文化| 湘潭市| 靖远县| 仙居县| 红原县| 岢岚县| 西乌珠穆沁旗| 县级市| 澎湖县| 鹰潭市| 始兴县| 元谋县| 白河县| 共和县| 沂水县| 米易县| 察雅县| 安龙县| 黄龙县| 卓尼县| 札达县| 璧山县| 天柱县| 宜春市| 横峰县| 耿马| 会宁县| 南澳县| 双鸭山市| 漳浦县| 夏津县| 三河市|