< 返回版块

黑豆腐 发表于 2021-01-01 11:59

Tags:rust

今天是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的源代码跟一下这个事情~祝大家元旦快乐~

评论区

写评论
eweca 2021-01-01 17:43

真是及时雨啊,这个库正好提供了我想要的功能。不过我确实更期待2021版本的原生支持,这个功能对于科学计算还是挺重要的。对2021版的RUST越来越期待了。

1 共 1 条评论, 1 页