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

Generics

Rust supports generics and even allows us to enforce the implementation of certain traits. These constraints can either come as a where clause attached to the function definition or with a colon in the generic type declaration:

fn my_generic_func<T: MyTrait>(t: T) {
// code
}

// ... is the same as

fn my_generic_func <T>(t: T) where T: MyTrait {
// code
}

// but better use in 2018 and beyond

fn my_generic_func(t: impl MyTrait) {
// code
}

Additionally, the 2018 impl Trait syntax simplifies single-trait requirements (to do static instead of dynamic dispatch) for input and return parameters, thereby eliminating the need for a Box or lengthy type constraints (such as MyTrait in the preceding snippet). Unless multiple trait implementations are required (for example, fn f(x: T) where T: Clone + Debug + MyTrait {}), the impl Trait syntax allows us to put them where they matter, which is into the parameter list:

fn my_generic_func<T>(t: T) {
// code
}

// ... is the same as

fn my_generic_func <T: Sized>(t: T) {
// code
}

When working with generics, the situation is a bit more complex. Type parameters are Sized by default (see the preceding snippet), which means that they will not match unsized types. To match those as well, the special ?Sized type constraint can be used. This snippet also shows the required change to passing in a reference:

fn my_generic_func <T: ?Sized>(t: &T) {
// code
}

However, any type of heap-allocated reference will incur an extra step to access the contained value.

主站蜘蛛池模板: 巴塘县| 九龙坡区| 渝北区| 松潘县| 周口市| 灵宝市| 青田县| 延津县| 拜泉县| 麻江县| 盐城市| 综艺| 云阳县| 永清县| 漳州市| 公安县| 拉孜县| 咸阳市| 巫山县| 大荔县| 宽城| 兴城市| 鄢陵县| 清丰县| 丰都县| 长武县| 康乐县| 凤翔县| 同仁县| 贵定县| 陆丰市| 阜宁县| 隆德县| 林口县| 综艺| 天峻县| 蓝山县| 大姚县| 同德县| 益阳市| 莱阳市|