difficulties/slice

[giscus[bot]]

difficulties/slice

https://course.rs/difficulties/slice.html

[SuanCaiYv]

nice，真的很有解决之前对于切片概念的疑惑！

[TaelinSu]

个人对切片、数组和字符串的理解：https://zhuanlan.zhihu.com/p/658120118

[BaldDemian]

发现一个有意思的区别，这行代码如果去掉类型的话

let s2: &str = &String::from("banana");
// 去掉类型
let s2 = &String:from("banana");

会自动将 s2 推断为 &String 类型的

[LittleRed-YXC]

这个现象可以结合下面链接的例子一起去思考：
https://course.rs/advance/smart-pointer/deref.html#%E8%BF%9E%E7%BB%AD%E7%9A%84%E9%9A%90%E5%BC%8F-deref-%E8%BD%AC%E6%8D%A2

fn main() {
let s = MyBox::new(String::from("hello, world"));
let s1: &str = &s;
let s2: String = s.to_string();
}

如果去掉s1的类型标注，那么s1会自动推倒为&MyBox，而如果加了类型标注&str，则会发生两次隐式Deref

[wangjunstf]

讲的非常清晰

[r1005410078]

为什么 size_of::<&[u8]>()) 是 16 个字节，而 size_of::<&[u8；10]>()) 是 8个字节

[llearn]

我觉得应该是这样：
&[u8] 是切片，有8个字节的指针和8个字节的长度
&[u8；10]这个是数组的引用，就只是个指针占8个字节

[dust-zed]

&[u8]是切片的引用，是宽指针，包含切片的指针和切片的长度
&[u8;10]是数组的引用，只有指针

[wolfboyyang]

这里有篇博客详细探讨了rust的slice到底是怎么回事Understanding Rust slices，以及reddit的讨论贴Rust slices and memory layout.
rust官方文档对slice的描述也完全不一致，有点地方写slice是一个引用：A slice is a kind of reference, so it does not have ownership，有的地方又写A slice is a dynamically sized type representing a 'view' into a sequence of elements of type T. The slice type is written as [T].

我目前的理解是slice就是访问某段连续数据的引用，带有边界检查的数据窗口，以避免复制这段内存，方便高效。至于[T]就表示内存中一段连续数据，不定长数组，不可直接定义，只能通过引用来访问。

[TaelinSu]

reference 里切片就是 [T]，不是引用。但切片的引用常被简称为切片，虽然二者不是一回事。

https://zhuanlan.zhihu.com/p/658120118

[bluecode2017]

请教一下
let part = &arr[0..3];
println!("{:?}", part);
打印出来还是[1, 3, 5]

我没有用 *part 解引用，这个打印出来的为啥不是part所在的内存地址呢？ 就是arr的起始地址

[bluecode2017]

如果我想打印出内存地址，该怎么写？

[bluecode2017]

已经知道了，因为println会自动做 *part （dereference）。 要用 println!("{:p}", part);

fn main() {
   let arr = [1,2,3,4,5];
   let part = &arr[0..3];
   println!("{:?}, {:p}", part, part); 
}

[Reid00]

请教下：
我认为arr 的地址和 part 的地址()应该是不同的，想打印下arr 的地址报错了，该怎么打印呢？

fn main() {
    let arr = [1,2,3,4,5];
    let part = &arr[0..3];
    println!("{:?}, {:p}, {:p}", part, part, arr); 
 }

BTW: size_of::<&[u8]>()) 这种函数的调用后面加了:: 什么意思呀

[chaseSpace]

@Reid00

• arr不是指针类型，改为&arr即可。
• size_of()获取某个类型的大小，双冒号后面的指定了具体类型，&[u8]是一个指针类型，指针类型固定大小为8byte

[yurnery]

切片是把原始字符串中对应部分的内容复制了一份放在堆中吗? 要不怎么会大小不确定呢? 如果只是持有了切片的信息, 如起始位置和长度以及原字符串的地址, 那就变成是切片引用了. 切片到底是个什么?
如 let str = String::from("abcd"); let s = str[..2]; 这两行代码在堆中会有两个字符串吗, 一个是 abcd, 另一个是 ab?, 还是说只有一个abcd, s中只有指向这个字符串的信息, 但是如果这么理解, s 就是切片引用了.

[yurnery]

希望有大佬解答

[yurnery]

slice 类型在内存中是真实存在的吗?还是只是一种概念

[MarshallEriksen-shaomingyang]

不是 没有复制 数据本来就在堆上 切片可以说是存储栈上的指针 他记录了指向堆上数据的长度 和类型

[TaelinSu]

切片就是数据本身，可以在堆、栈、静态存储区，写作 [T]。切片必须通过引用来访问切片，比如 string 和 &str 都是引用。

https://zhuanlan.zhihu.com/p/658120118

[xgfone]

数组、切片 和 切片引用 等之间的区别，完全是 Rust 的命名与实现造成的。对比一下 Go 的数组和切片，就一目了然了。

可以这样简单地这么理解Rust中的概念（个人理解）：
（1）数组和切片在底层是一个东西（即一块连续的内存地址——其大小正好是元素类型大小的倍数），只是在类型系统的信息中，数组有长度，而切片没有长度。
（2）切片引用有点类似于 Go 中的 切片（都包含 长度 和 指向底层数据的指针）。

由于所有权问题，Rust又引入了引用，所以才导致上述理解问题，比如：&[u8] 和 &[u8, 10] 的大小居然是不一样的！

我觉得，其实吧，完全可以把 切片 这个概念去掉，然后把 切片引用 简化为 切片，最终就像 Go 中的概念一样。

[zyimm]

切片应该是有长度的，只是切片设计从设计上长度是可变的

[madjxatw]

切片引用就是切片引用，没必要简化成切片，徒增困扰。“切片”是一个运行时动态概念，它是一段连续的数据，但长度在运行时动态变化的。“切片引用”是在分配在栈上指向切片的数据结构，是间接访问切片数据的“入口”，该结构包含两个整型数据，一个是切片数据的内存起始地址（相当于指针），一个是切片数据当前的长度，所以切片引用是定长的。

[lifam]

我的理解是：切片就是定长的，包含指向数据起始位置的指针和数据的长度。
但是如果创建一个切片，那它拥有原始数据的所有权吗？显然不能，它只是引用了原始数据。
所以设计成&str和&[u8]的方式使用切片完全是人为设计的！时时刻刻提醒我们这只是一个引用！