GHC严格字段打包与显式使用未装箱类型是否效果一致？

是的，开启优化（尤其是-O2级别）后，这两种MyThing的定义会产生完全相同的内存打包效果——GHC都会把四个8位值合并到单个机器字中，不会让每个值单独占用8字节。

具体原因： #

• 第一种定义直接使用原始未装箱类型Word8#，这类类型本身就是无包装的8位原始数据。GHC的优化器在开启优化时，会自动对多个小尺寸的未装箱原始字段进行打包，把它们紧凑地塞进一个机器字（比如64位系统下是8字节），避免内存浪费。
• 第二种定义里的Word8是基于Word8#的装箱新类型，加上{-# UNPACK #-}编译指示和严格性标记!后，GHC会直接将每个Word8字段展开为底层的Word8#原始类型，最终和第一种定义的结构完全等价。优化器同样会对这四个未装箱的8位值执行打包操作。

验证方法： #

你可以通过以下方式确认两种定义的一致性：

• 使用GHC的-ddump-simpl参数查看优化后的Core代码，会发现两种定义生成的代码几乎完全一致；
• 给MyThing实现Storable类型类，通过Foreign.Storable.sizeOf函数查看实例的内存大小，在64位系统下结果会是8字节（单个机器字的大小），证明四个8位值被打包到了一起。

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