From e80aa2c21f2ef911699e5a0e1d0acc5900269e6a Mon Sep 17 00:00:00 2001 From: Xidorn Quan Date: Sat, 20 Nov 2021 22:48:25 +1100 Subject: [PATCH] =?UTF-8?q?=E6=B7=BB=E5=8A=A0=20impl=20trait=20=E8=AE=A1?= =?UTF-8?q?=E5=88=92=E7=9A=84=E9=93=BE=E6=8E=A5?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- content/async-fn-in-trait.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/content/async-fn-in-trait.md b/content/async-fn-in-trait.md index d4bae36..ade9c2f 100644 --- a/content/async-fn-in-trait.md +++ b/content/async-fn-in-trait.md @@ -2,10 +2,11 @@ 目前 Rust 不支持在[特质]里直接添加[异步函数]，但可以使用 [async-trait] 这个库来实现。这个库会将异步函数改写为返回 `Pin>` 的普通函数以绕过目前语言层面的限制，但也因此有堆分配以及[动态分发]这两个额外的代价，所以不会被直接添加到 Rust 语言中。 -在特质里不支持使用异步函数是由于异步函数本质上是一个返回 `impl Future` 的函数，而目前 Rust 的类型系统还无法表达在特质的方法的返回类型上使用 `impl Trait`。有两个已经通过的 RFC 旨在解决这一问题：[RFC 1598][rfc1598] 泛型关联类型和 [RFC 2071][rfc2071] `impl Trait` [存在类型]，但它们的编译器支持还在实现中。 +在特质里不支持使用异步函数是由于异步函数本质上是一个返回 `impl Future` 的函数，而目前 Rust 的类型系统还无法表达在特质的方法的返回类型上使用 `impl Trait`。有两个已经通过的 RFC 旨在解决这一问题：[RFC 1598][rfc1598] 泛型关联类型和 [RFC 2071][rfc2071] `impl Trait` [存在类型]，但它们的编译器支持还在实现中，实现进度可以参考 [impl Trait 计划][impl-trait-initiative]的页面。 [async-trait]: https://crates.io/crates/async-trait [rfc1598]: https://rust-lang.github.io/rfcs/1598-generic_associated_types.html [rfc2071]: https://rust-lang.github.io/rfcs/2071-impl-trait-existential-types.html +[impl-trait-initiative]: https://rust-lang.github.io/impl-trait-initiative/