rust-quiz:013-mutable-zst.rs

godme 的个人博客 / 4 / 0 / 创建于 1年前

题目

struct S;

fn main() {
    let [x, y] = &mut [S, S];
    let eq = x as *mut S == y as *mut S;
    print!("{}", eq as u8);
}

关键

标记类型
```
struct S
```
标记类型没有结构体，并且值唯一，全局唯一。
尤其，它是zst
zst
zst不仅是零大小，特殊的一点是：[zst, N]类型也是zst。
其中N都是虚妄，实际取出的结果，都是zst。
```
struct S;
fn main() {
  let a = [S, S];
  println!("{}", std::mem::size_of_val(&a)); // 0
}
```
mut
对于任意类型，mut始终只能有一个，就是拥有所有权的那一个。
因此，如果存在多个mut，那么它们一定不是同一个数值，如果不算zst的话。
zst类型的数据，因为不存在所谓的修改，仅作为标识。
因此，它们的mut只是一种空操作。

题解

因为S是zst，对于[S, S]取出来的其实都是同一个。
虽然mut修饰了，但是对于zst而言，也是空操作。
因此，两者是相等的。

答案

1

rust rust-quiz quiz

本作品采用《CC 协议》，转载必须注明作者和本文链接

155 声望

暂无个人描述~

推荐文章：

更多推荐...

Rust 编程视频录制结束的一点体会 16 / 3 |

从一个 PHP 开发者的角度来看 Rust 14 / 5 |

Hello Rust！你们要的 Rust 论坛来啦~ 23 / 52 |

讨论数量: 0

(=￣ω￣=)··· 暂无内容！

讨论应以学习和精进为目的。请勿发布不友善或者负能量的内容，与人为善，比聪明更重要！

帮助

未填写

私信

文章归档

78 篇 2022 年 7 月 7 篇 2022 年 6 月

1年前 rust-algorithms:17-BWT 1年前 rust-algorithms:16-字符逆序 1年前 rust-algorithms:15-臭皮匠排序 1年前 rust-algorithms:14-希尔排序 1年前 rust-algorithms:13-选择排序

1 rust-quiz:001-macro-count-statements.rs 1 rust-quiz:002-bitand-or-reference.rs 0 rust-algorithms:17-BWT 0 proc-macro-workshop：builder-2 0 rust-algorithms:14-希尔排序

博客标签

proc-macro-workshop

成为赞助商