为何空结构体Empty的alignment与stride均为1？

这个问题真的戳中了Swift内存模型里一个很容易被忽略的细节！我当初刚学MemoryLayout的时候也对着这个结果愣了好久，现在就来拆解清楚：

首先得修正一个小误解：你提到“alignment应为Empty属性的最大尺寸”，其实这个说法不太准确。alignment的本质是类型实例在内存中存放时必须遵循的对齐边界，而不是“属性的最大尺寸”——这个描述更像是多属性类型对齐值的推导方式（比如取所有属性对齐值的最大值），但对于空类型这种特殊情况，规则就不一样了。

为什么空类型的alignment是1？原因很简单：操作系统和底层内存模型不允许存在0字节对齐的类型。如果alignment是0，意味着这个类型的实例可以放在任意内存地址，但这会引发致命问题：当你创建空类型的数组时，所有元素的内存地址会完全重叠——因为每个实例占0字节，指针根本不需要偏移。这样一来，数组里的多个元素就没有唯一的内存标识，完全无法区分彼此，这在逻辑和内存管理上都是行不通的。所以Swift（准确说是底层依赖的LLVM）给空类型默认了最小的有效对齐值1。

再来说stride：它的核心作用是保证数组中连续的实例不会共享内存地址，计算逻辑通常是基于size和alignment的向上取整。但对于空类型，哪怕size是0，为了满足“每个实例有唯一地址”的要求，stride必须至少等于alignment的值（也就是1）。举个例子，当你创建[Empty(), Empty()]时，第一个实例的地址假设是0x1000，第二个就会在0x1001，这样两个实例就能被正确区分开，不会出现逻辑混淆。

其实这个设计不是Swift独有的，像C++里的空类也会有类似的“占位字节”逻辑，本质都是为了保证每个对象都有唯一的内存身份，避免出现“不同对象共享同一地址”的矛盾情况。

内容的提问来源于stack exchange，提问作者Ahmad F