From 2569e06610af4fd0e3634fa25f9fa149d2f58a44 Mon Sep 17 00:00:00 2001 From: lilin Date: Sat, 19 Feb 2022 23:36:29 +0800 Subject: [PATCH] =?UTF-8?q?=E5=AE=8C=E5=96=84=E5=88=87=E7=89=87=E5=BC=95?= =?UTF-8?q?=E7=94=A8=E7=9A=84=E6=8F=8F=E8=BF=B0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- contents/confonding/slice.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/contents/confonding/slice.md b/contents/confonding/slice.md index c6c464a1..322fa043 100644 --- a/contents/confonding/slice.md +++ b/contents/confonding/slice.md @@ -26,6 +26,12 @@ error[E0277]: the size for values of type `str` cannot be known at compilation t 总之，我们可以总结出一个结论：**在 Rust 中，所有的切片都是动态类型，它们都无法直接被使用**。 +### 为什么切片是动态类型 +很简单，切片就是一个未知长度的数组，前面已经讲过， 未知长度的类型是不能分配在栈上的， 所以你不能用 `let s: [T] = ...` 的形式来声明一个栈上的变量。 那么有什么办法来使用数组呢？ +1. 固定长度数组， 声明时带上长度： `let a: [i8;4] = [1,2,3,4];` +2. 对于不固定长度的， 使用切片引用，切片引用类似于`trait object`，也是一个胖指针， 包含了切片的起始位置和长度，这样一来因为切片引用的大小是固定的（一个起始位置，一个长度，当然大小固定啦），也就能在栈上分配了。 + + 那么问题来了，该如何使用切片呢？ ## 切片引用 @@ -46,7 +52,7 @@ let s3: &[i32] = &arr[1..3]; ## 总结 我们常常说使用切片，实际上我们在用的是切片的引用，我们也在频繁说使用字符串，实际上我们在使用的也是字符串切片的引用。 -总之，切片在 Rust 中是动态类型 DST，是无法被我们直接使用的，而我们在使用的都是且切片的引用。 +总之，切片在 Rust 中是动态类型 DST，是无法被我们直接使用的，而我们在使用的都是切片的引用。 | 切片 | 切片引用| | --- | --- |