Rust generic type parameter and `impl Trait` parameter

最新推荐文章于 2024-10-31 13:59:14 发布

金庆

最新推荐文章于 2024-10-31 13:59:14 发布

阅读量1.1k

点赞数

分类专栏： Rust 文章标签： rust 开发语言后端

本文链接：https://blog.csdn.net/jq0123/article/details/131314484

版权

Rust 专栏收录该内容

28 篇文章 1 订阅

订阅专栏

文章探讨了Rust编程语言中泛型类型参数和implTrait参数的相似性和不同之处。尽管两者在很多情况下可互换使用，但implTrait作为泛型类型的语法糖，简化了代码，不再需要显式声明类型参数。然而，调用者无法对implTrait参数指定类型，如foo::<usize>(1)。这种差异意味着在函数签名间切换可能造成向后兼容性问题，即可能构成破坏性改变。

摘要由CSDN通过智能技术生成

Rust generic type parameter and `impl Trait` parameter

(Jin Qing’s Column, Jun., 2023)

See: https://doc.rust-lang.org/reference/types/impl-trait.html

Generic type parameter and impl Trait parameter are almost equivalent:

trait Trait {}

// generic type parameter
fn foo<T: Trait>(arg: T) {
}

// impl Trait parameter
fn foo(arg: impl Trait) {
}

impl Trait is just a syntactic sugar for generic type parameter.
It is a little simpler by omitting the generic parameters <...>.

But they are not exactly equivalent.

The caller can use a generic argument to specify the type of the generic parameter T,
for example, foo::<usize>(1), but not for the impl Trait parameter.

Therefore, changing the function signature from either one to the other
can constitute a breaking change.