Rust 1.50.0稳定版发布，改进数组索引

喜欢就关注我们吧！

Rust 1.50.0 稳定版已发布，此版本改进了数组索引、扩展了对联合字段 (union field) 的安全访问，并将其添加到标准库。

具备 const-generic 特性的数组索引

此版本为任意长度const N的数组[T; N]增加了ops::Index和IndexMut实现，索引操作符[]可通过内置的 compiler magic 在数组中运行。

fn second<C>(container: &C) -> &C::Output

where
    C: std::ops::Index<usize> + ?Sized,
{
    &container[1]
}

fn main() {    let array: [i32; 3] = [1, 2, 3];

    assert_eq!(second(&array[..]), &2); // slices worked before
    assert_eq!(second(&array), &2); // now it also works directly

}

数组中定义为const类型的值支持重复

Rust 的数组可以写为列表[a, b, c]或重复形式[x; N]。

fn main() {

    // This is not allowed, because `Option<Vec<i32>>` does not implement `Copy`.
    let array: [Option<Vec<i32>>; 10] = [None; 10];

   const NONE: Option<Vec<i32>> = None;    const EMPTY: Option<Vec<i32>> = Some(Vec::new());

    // However, repeating a `const` value is allowed!
    let nones = [NONE; 10];

   let empties = [EMPTY; 10];}

针对ManuallyDrop<T>联合字段的安全分配

Rust 1.49 支持将ManuallyDrop<T>字段添加到union，从而允许合并Drop。不过，当一个字段被赋值时，union不会丢弃旧的值，因为它们不知道哪个变体此前是有效的，所以安全的 Rust 以前只限制为仅限于Copy类型，而Copy类型从来不会Drop。当然，ManuallyDrop<T>也不需要Drop，因此 Rust 1.50 现在允许对这些字段进行安全分配。

Rust 1.50.0 还新增了 9 个稳定的函数：

• bool::then

• btree_map::Entry::or_insert_with_key

• f32::clamp

• f64::clamp

• hash_map::Entry::or_insert_with_key

• Ord::clamp

• RefCell::take

• slice::fill

• UnsafeCell::get_mut

详细更新说明查看：https://github.com/rust-lang/rust/blob/master/RELEASES.md#version-1500-2021-02-11

觉得不错，请点个在看呀