Swift中String等类型与对应可选类型内存占用相同的原因探究

核心原因和Copy-on-Write无关，本质是String、Array、Dictionary、Set这类类型属于「间接存储的结构体」，而Int这类是「直接存储的原生值类型」，两者的可选类型实现逻辑完全不同。

先解释Int vs Int?的内存差异 #

Int是直接存储值的原生类型：比如64位系统下，Int占8字节，数值直接存在这8字节里。而Int?需要额外的标记位来区分「有值」和「nil」——Swift会给它加一个1字节的布尔标记（用来判断是否为nil），再加上内存对齐的要求，最终Int?的内存占用会比Int大。

再看String/String?的内存为什么一致 #

String看似是值类型，但它的结构体内部并不存储实际的字符串内容，而是存三个管理堆内存的元数据：

• 指向堆内存的指针（实际字符存在堆中）
• 字符串的长度
• 内存容量

当String?为nil时，Swift直接把结构体里的指针设为空指针（0x0），不需要额外添加标记位——通过判断指针是否为空，就能识别这个可选类型是nil还是有值。所以String?的结构体大小和String完全一致，内存占用自然相同。

Array、Dictionary、Set都是同样的逻辑：它们的结构体本身只存管理堆内存的元数据，可选nil时直接把指针置空，不需要额外标记位，因此内存占用和非可选版本完全一样。

关于Copy-on-Write的误解 #

COW是用来实现值语义的优化（多个变量共享同一个实例时，只有修改操作才会复制堆内存），和可选类型的内存占用没有直接关系。哪怕某个间接存储的类型不支持COW，只要它是用指针管理堆内存，其可选版本的内存也会和非可选版本一致。

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