【Rust每周一库】generic-array - 长度为范型的静态数组
【Rust每周一库】generic-array - 长度为范型的静态数组
MikeLoveRust
发布于 2021-01-05 23:33:17
发布于 2021-01-05 23:33:17
今天是2021年的第一天，大家新的一年也要好好学习Rust呀～
在很多其他语言中，静态数组虽然是静态的，但是我们却可以“给它在运行时中指定一个动态的长度”。但在Rust中由于数组[T; N]中的N并不是范型，所以我们无法写出如下的代码：
struct Foo<N> {
data: [i32; N]
}今天我们介绍的generic-array库定义了trait ArrayLength<T>和结构体GenericArray<T, N: ArrayLength<T>>，这样我们就可以写出刚才我们想要的等价结构体了：
struct Foo<N: ArrayLength<i32>> {
data: GenericArray<i32, N>
}其中对于typenum库(一个范型的数值系统)中的无符号数，ArrayLength<T>有默认的实现，因此如果我们可以这样定义一个长度为5的数组
use generic_array::typenum::U5;
struct Foo<N: ArrayLength<i32>> {
data: GenericArray<i32, N>
}
fn main() {
let foo = Foo::<U5>{data: GenericArray::default()};
}而GenericArray<T, U5>基本上就和[T; 5]差不多
use generic_array::typenum::U5;
struct Foo<T, N: ArrayLength<T>> {
data: GenericArray<T, N>
}
fn main() {
let foo = Foo::<i32, U5>{data: GenericArray::default()};
}如此一来我们就可以绕开Rust本身的限制，对静态数组的长度使用范型，让它动起来～不过其实Rust 2021发行版本据说就要原生支持这一功能了，大家也可以多多关注。结合本次介绍的generic-array的源代码跟一下这个事情～祝大家元旦快乐～
本文参与?腾讯云自媒体分享计划，分享自微信公众号。
原始发表：2021-01-01，如有侵权请联系?cloudcommunity@tencent.com 删除
评论
登录后参与评论
推荐阅读