第2章数据布局 on 编程那些事儿

2.1 repr(Rust)

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

repr(Rust)

原文链接: https://doc.rust-lang.org/nomicon/repr-rust.html

　　首先，所有类型都有以字节为单位的对齐（alignment）。对齐指定哪些地址可合法存储该值。对齐为 n 的值只能存放在 n 的倍数地址上。对齐 2 表示必须存在偶地址；对齐 1 表示可存任意处。对齐至少为 1，且恒为 2 的幂。

2.2 奇异大小的类型

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

奇异大小的类型

原文链接: https://doc.rust-lang.org/nomicon/exotic-sizes.html

　　多数时候，我们期望类型有静态已知且为正的大小。在 Rust 中并非总是如此。

动态大小类型（DST）

　　Rust 支持动态大小类型（Dynamically Sized Types，DST）：无静态已知大小或对齐的类型。表面上有悖常理：Rust 必须知道某物的大小与对齐才能正确操作！就此而言，DST 不是普通类型。因缺乏静态已知大小，这些类型只能存在于指针之后。指向 DST 的任意指针因而成为宽指针，由指针与「补全」它的信息组成（下文详述）。

2.3 其他 repr

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

其他 repr

原文链接: https://doc.rust-lang.org/nomicon/other-reprs.html

　　Rust 允许指定与默认不同的数据布局策略。

repr(C)

　　这是最重要的 repr。意图 fairly 简单：按 C 的方式做。字段顺序、大小与对齐与 C 或 C++ 中预期完全一致。类型跨 extern "C" 函数调用边界传递的方式也与 C 传递对应类型相同。任何期望通过 FFI 边界的类型都应有 repr(C)，因为 C 是编程世界的 lingua franca。要对数据布局做更 elaborate 的双关（如把值重新解释为不同类型），这也是 soundly 做的必要条件。

第2章 数据布局 on 编程那些事儿

2.1 repr(Rust)

repr(Rust)

2.2 奇异大小的类型

奇异大小的类型

动态大小类型（DST）

2.3 其他 repr

其他 repr

repr(C)

第2章数据布局 on 编程那些事儿