具备 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

详细更新说明点此查看。

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

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

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

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

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