8、Rust 基础类型与枚举匹配全解析

Rust 基础类型与枚举匹配全解析

1. 空元组类型

在 Rust 中，存在一种特殊的原始类型，写作 “()”，也就是一对括号，被称为空元组。这种类型只有一个值，同样写作 “()”。它类似于 C 语言中的 “void” 类型，或者 JavaScript 中的 “undefined” 类型，代表着缺乏类型信息。

以下是一些空元组类型出现的情况：

let a: () = ();
let b = { 12; 87; 283 };
let c = { 12; 87; 283; };
let d = {};
let e = if false { };
let f = while false { };
print!("{:?} {} {:?} {:?} {:?} {:?}",
    a, b, c, d, e, f);

上述代码会输出： () 283 () () () () 。下面详细解释各条语句：
- let a: () = (); ：声明一个空元组类型的变量 a ，并使用唯一可能的值对其进行初始化。
- let b = { 12; 87; 283 }; ：声明变量 b 并使用代码块的值进行初始化。这里引入了两个新概念：
- 简单数字（如 12 或 87）后面加上分号可以替代任何语句，因为任何表达式都能当作语句使用，但这样的语句不会产生机器代码。
- 代码块的值定义为其最后一个表达式的值。所以在这行代码中，