复合类型的本质：栈上的紧凑布局

Rust 的元组和数组作为最基础的复合类型，体现了语言对内存布局的精确控制。与动态语言中的列表或元组不同，Rust 的这些类型在编译期就确定了大小和内存布局，全部分配在栈上（除非显式装箱）。这种设计选择源于系统编程对性能的极致追求：栈分配的成本接近零，且天然具有良好的缓存局部性。

元组 (T1, T2, T3) 在内存中是连续存储的，但编译器会根据对齐要求插入填充字节。例如 (u8, u32, u8) 的实际大小可能是 12 字节而非 6 字节，因为 u32 需要 4 字节对齐。这种看似"浪费"的空间实际上换来了更高效的内存访问——未对齐的访问在某些架构上会导致性能惩罚甚至程序崩溃。Rust 编译器会自动重排元组字段以最小化填充，这是编译器优化的一个典型例子。

数组 [T; N] 则更加严格：所有元素类型相同，长度固定且编码在类型中。这意味着 [i32; 5] 和 [i32; 10] 是完全不同的类型，无法互相赋值或传递。这种类型级别的长度信息使得编译器可以进行边界检查优化——在某些情况下完全消除运行时检查，或将其转化为静态断言。

所有权语义与复合类型的交互

复合类型的所有权行为取决于其元素类型。如果元组或数组的所有元素都实现了 Copy trait（如原始类型），则整个复合类型也是 Copy 的，可以按值传递而无需移动语义。这在函数调用和赋值中带来显著便利，且性能优异——小型复合类型的复制通常可以通过寄存器完成，甚至比传递引用更快。

但当元素不是 Copy 时，情况变得有趣。例如 (String, Vec<i32>) 在赋值或传递时会发生所有权转移，原变量失效。这种行为与 C++ 的移动语义类似，但 Rust 的借用检查器确保不会出现 use-after-move 的错误。更深层次的考虑是，Rust 的移动操作实际上是"按位复制"——无需调用析构函数或特殊的移动构造函数，只是简单地将内存块复制到新位置。这个设计使得移动成本极低，常量时间完成。

数组的初始化陷阱与最佳实践

数组初始化是一个看似简单却容易踩坑的领域。[0; 1000] 这种重复语法要求元素类型实现 Copy，这对于原始类型没问题，但对于复杂类型（如 Vec 或自定义结构体）则行不通。很多初学者会尝试 [Vec::new(); 100]，却发现无法编译，因为 Vec 不是 Copy。

正确的做法是使用 std::array::from_fn（Rust 1.63+）或迭代器的 collect 方法。前者在编译期生成初始化代码，后者则更灵活但可能涉及堆分配。这个设计强制开发者思考初始化语义：是否真的需要 100 个独立的 Vec，还是可以用其他方式（如一个 Vec<Vec<T>>）表达意图？这种"强制思考"正是 Rust 安全性的来源。

模式匹配与解构：类型驱动的控制流

元组和数组的解构是 Rust 模式匹配系统的重要组成部分。通过 let (a, b, c) = tuple 可以一次性提取所有元素，且编译器会检查模式的完整性。对于数组，切片模式（如 [first, rest @ ..]）提供了灵活的解构方式，这在处理固定头部加可变尾部的数据格式时特别有用。

更重要的是，模式匹配在编译期就确定了所有分支的类型和可达性，消除了运行时的类型检查开销。例如，在匹配元组的不同变体时，编译器可以生成跳转表或优化的条件分支，而不是一系列的运行时类型判断。这种编译期优化是 Rust 与解释型语言的根本差异。

性能考量：栈溢出与大型数组

虽然栈分配带来性能优势，但大型数组可能引发栈溢出。Rust 的默认栈大小通常为几 MB，创建一个 [u8; 1024 * 1024 * 10]（10MB）的数组会导致栈溢出。在这种情况下，应该使用 Box<[T; N]> 将数组装箱到堆上，或者直接使用 Vec。

这引出一个权衡：小数组（几 KB 以内）在栈上效率最高，大数组则应该在堆上。这个决策不仅影响性能，还影响所有权语义——堆分配的数组可以在函数间高效传递（只传递指针），而栈数组则需要完整复制或借用。理解这些权衡是写出高性能 Rust 代码的关键。

泛型与常量泛型：类型系统的威力

Rust 1.51 引入的常量泛型使得数组可以作为泛型参数，例如 fn process<T, const N: usize>(arr: [T; N])。这极大增强了类型系统的表达力——现在可以编写对任意长度数组通用的代码，而无需放弃类型安全。编译器会为每个具体的 N 值生成专门化的代码，保持零开销抽象。

这个特性在实践中的一个典型应用是静态向量和矩阵库。通过将维度编码在类型中（如 Matrix<f32, 3, 3>），可以在编译期检查矩阵运算的维度匹配，消除运行时错误。这种"让不可能的状态变得不可表示"的设计哲学，是 Rust 类型系统的核心价值。

总结

Rust 的元组和数组虽然是基础类型，却蕴含着深刻的系统编程智慧。通过栈分配、精确的内存布局控制、与所有权系统的深度集成，以及强大的类型系统支持，这些复合类型在提供高性能的同时保证了安全性。理解其内存语义和编译期行为，不仅有助于写出高效的代码，更能让我们深入领悟 Rust 的设计哲学。