3 类型与值 on 编程那些事儿

3.1 你好，世界

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/types-and-values/hello-world.html

3.1 你好，世界

让我们从最简单的 Rust 程序开始——经典的 Hello World：

1
2
3
4
5


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 println!("Hello 🌍!");
}

你可以看到：

3.2 变量

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/types-and-values/variables.html

3.2 变量

Rust 通过静态类型提供类型安全。变量绑定使用 let：

1
2
3
4
5
6
7
8


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let x: i32 = 10;
 println!("x: {x}");
 // x = 20;
 // println!("x: {x}");
}

取消注释 x = 20 以演示变量默认不可变。加上 mut 关键字才允许修改。

3.3 值

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/types-and-values/values.html

3.3 值

以下是一些基本内置类型，以及各类型字面量的语法。

	类型	字面量
有符号整数	`i8`, `i16`, `i32`, `i64`, `i128`, `isize`	`-10`, `0`, `1_000`, `123_i64`
无符号整数	`u8`, `u16`, `u32`, `u64`, `u128`, `usize`	`0`, `123`, `10_u16`
浮点数	`f32`, `f64`	`3.14`, `-10.0e20`, `2_f32`
Unicode 标量值	`char`	`'a'`, `'α'`, `'∞'`
布尔值	`bool`	`true`, `false`

各类型宽度如下：

3.4 算术运算

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/types-and-values/arithmetic.html

3.4 算术运算

1
2
3
4
5
6
7
8
9


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn interproduct(a: i32, b: i32, c: i32) -> i32 {
 return a * b + b * c + c * a;
}

fn main() {
 println!("result: {}", interproduct(120, 100, 248));
}

这是我们第一次看到除 main 以外的函数，但含义应当清楚：它接收三个整数，返回一个整数。函数稍后会更详细讲解。

3.5 类型推断

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/types-and-values/inference.html

3.5 类型推断

Rust 会根据变量的用法来确定类型：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn takes_u32(x: u32) {
 println!("u32: {x}");
}

fn takes_i8(y: i8) {
 println!("i8: {y}");
}

fn main() {
 let x = 10;
 let y = 20;

 takes_u32(x);
 takes_i8(y);
 // takes_u32(y);
}

本页演示 Rust 编译器如何根据变量声明与用法给出的约束来推断类型。