Rust 1.100 将空类型（! 或 never）引入所有类型注解，而不仅限于函数返回类型。文章解释了空类型与底类型的核心区别：Rust 的 ! 不需要子类型支持，而底类型依赖子类型系统才能被用于任何位置。
背景
Rust 多年来已支持将 never 类型（!）用作函数返回类型，但 Rust 1.100 的最新变更将其扩展到了所有类型注解上下文。这涉及与系统编程语言设计相关的底层类型理论概念。
- 来源
- Lobsters
- 发布时间
- 2026年9月9日 05:23
- 评分
- 6.0 / 10
Rust 1.100 将空类型（! 或 never）引入所有类型注解，而不仅限于函数返回类型。文章解释了空类型与底类型的核心区别：Rust 的 ! 不需要子类型支持，而底类型依赖子类型系统才能被用于任何位置。
Rust 多年来已支持将 never 类型（!）用作函数返回类型，但 Rust 1.100 的最新变更将其扩展到了所有类型注解上下文。这涉及与系统编程语言设计相关的底层类型理论概念。