rust - 如何给 impl trait 起别名?
问题描述
我有以下类型签名的许多功能:
fn f() -> impl Fn(u32) -> u32 {
|x: u32| x
}
我怎样才能给一个名字,Fn(u32) -> u32
这样我就不必重复了?尽管我可以做到type X = Fn(u32) -> u32;
,但 Rust 不会让我使用它,因为它是一种类型而不是 trait。我必须等待trait_alias
还是可以做其他事情?
解决方案
你完全正确。impl X
需要成为一个特征,并且在特征别名落地X
之前不可能有适当的特征别名。发生这种情况时,您将能够执行此操作:
#![feature(trait_alias)]
trait X = Fn(u32) -> u32;
fn f() -> impl X {
|x: u32| x
}
或者,当Permit impl Trait in type aliases登陆时,您将能够创建impl trait
类型别名。不过,这略有不同。当我们使用 别名时type X = impl Trait
,编译器将确保 的每次使用X
实际上都是相同的具体类型。这意味着,在您的情况下,您将无法将它与多个不同的闭包一起使用,因为每个闭包都有自己独特的类型。
#![feature(type_alias_impl_trait)]
type X = impl Fn(u32) -> u32;
fn f() -> X {
|x: u32| x
}
但是,这不会编译。
#![feature(type_alias_impl_trait)]
type X = impl Fn(u32) -> u32;
fn f() -> X {
|x: u32| x
}
// Even a closure with exactly the same form has a different type.
fn g() -> X {
|x: u32| x
}
错误是
error: concrete type differs from previous defining opaque type use
--> src/lib.rs:10:1
|
10 | / fn g() -> X {
11 | | |x: u32| x
12 | | }
| |_^ expected `[closure@src/lib.rs:7:5: 7:15]`, got `[closure@src/lib.rs:11:5: 11:15]`
|
note: previous use here
--> src/lib.rs:6:1
|
6 | / fn f() -> X {
7 | | |x: u32| x
8 | | }
| |_^
这与特征别名形成对比,特征别名将允许每个返回的函数使用不同的具体类型impl TraitAlias
。有关更多信息,请参阅一般介绍此语法和存在类型的 RFC 。
在这两个功能之一出现之前,您可以通过本质上是 hack 获得与 trait 别名类似的行为。这个想法是创建一个新的特征,它基本上等同于原始特征,但名称更短。
// This trait is local to this crate,
// so we can implement it on any type we want.
trait ShortName: Fn(u32) -> u32 {}
// So let's go ahead and implement `ShortName`
// on any type that implements `Fn(u32) -> u32`.
impl<T: Fn(u32) -> u32> ShortName for T {}
// We can use `ShortName` to alias `Fn(u32) -> u32`.
fn f() -> impl ShortName {
|x: u32| x
}
// Moreover, the result of that can be used in places
// that expect `Fn(u32) -> u32`.
fn g<T: Fn(u32) -> u32>(x: &T) -> u32 {
x(6_u32)
}
fn main() {
// We only know that `x` implements `ShortName`,
let x = f();
// But we can still use `x` in `g`,
// which expects an `Fn(u32) -> u32` argument
let _ = g(&x);
}
推荐阅读
- excel - DataGrip 将表值复制到 Excel 错误
- mongodb - 将带有 eval 的字符串插入 mongodb 时出现参考错误
- angular - 在定义的元素上遇到切片问题
- sql - 根据特定标准提取员工记录
- json - json.Decode 不解码数字
- python - Python 命名参数范围令人困惑,当它具有默认列表值时
- sql - 在 Oracle SQL 中查找重复项
- javascript - 如何使用 React Native(GeoFirestore)从 Firestore 获取附近的查询/餐厅
- python - 如何将熊猫数据框导出到 Teradata 表中
- c# - .Net Core 3.1 Worker Service with Entity Framework Core SqlServer 在 SaveChanges() 上出错