从数组中取消大小调整时，Rust如何确定切片的长度？

Question

我知道切片就像fatptr:（data\ptr，len）。将数组切片为切片时：

let arr = [0; 10];
let slice_arr = &arr[..];

数组没有像Vec这样的长度字段

我知道slice\u arr.len（）可以获取slice的长度，因为slice\u arr有一个长度字段。当数组转换为切片时，Rust如何知道长度字段？

Answer 1

使用. len方法。

use std::io::stdin;

fn main() {
    let arr = [0; 10];
    let slice_arr = &arr[..];
    println!("first element of the slice: {}", slice_arr[0]);
    println!("the slice has {} elements", slice_arr.len());
}

https://doc.rust-lang.org/stable/rust-by-example/primitives/array.html

Answer 2

数组确实有一个排序的长度“参数”。这不是一个领域，它是类型的一部分：

let x: [u8; 2] = [1, 2];
let y: [u8; 3] = x; // Error here

x的类型为[u8；2]。元素数量始终为2，元素类型始终为u8。

因为[u8；2]和[u8；3]是不同的类型，一个总是正好2u8s长，另一个总是正好3u8s长，所以从x到y的赋值失败。

当对数组执行某些操作时，编译器对数组具有特殊的内置语义。这些内置语义可以利用长度“参数”（[T；N]中的N）。您可以使用const泛型在类型级别操纵和访问此值，但这是目前每晚唯一的功能。