Swift中复制Struct的底层机制：为何未触发init方法？

核心结论 #

Swift中通过赋值复制Struct实例时，底层采用**内存逐位拷贝（bitwise copy）**的方式创建新实例，完全绕过了构造器（init）方法的调用流程，这是值类型底层实现的性能优化，同时严格保证值类型的语义一致性。

详细解释 #

1. 值类型的底层实现逻辑
   Struct作为值类型，语义上要求每个变量持有独立的实例数据，但Swift编译器不会为每次赋值都调用init方法——因为init的职责是从无到有初始化实例（处理参数、设置默认值等），而赋值复制是基于已有实例的完整内存状态进行拷贝，不需要执行初始化逻辑。

   底层操作上，系统会直接将原Struct实例占用的内存块完整复制到新变量的内存地址中，整个过程是低开销的内存操作，远快于调用构造器的流程。

2. 构造器的触发场景
   只有当你显式调用构造器（包括自动合成的构造器）时，比如let copy = MyStruct(original)，才会触发init方法。这种场景下是从无到有创建新实例，需要执行初始化逻辑，因此会被计入allInstances数组的长度统计。

结合实验现象验证 #

• 赋值复制时：var copyStruct = originalStruct，内存逐位拷贝直接完成实例复制，init未被调用，所以静态数组allInstances长度不变；但由于是独立内存块，修改copyStruct的属性不会影响originalStruct，完全符合值类型的语义。
• 显式构造器拷贝时：调用init方法初始化新实例，allInstances长度增加，同时也能得到独立的实例。

补充说明 #

如果Struct包含引用类型属性（比如Class实例），赋值时Struct本身依然是逐位拷贝，但引用类型属性存储的是指针，因此会共享同一引用实例——不过这并不改变Struct作为值类型的本质：Struct自身的内存是独立的，只是其内部的引用类型属性遵循引用语义。

另外，Swift还会对部分值类型（比如Array、String）采用**写时复制（Copy-On-Write, COW）**优化：在赋值时暂时不做实际拷贝，直到其中一个实例被修改时才执行内存拷贝，进一步提升性能，但语义上依然保证值类型的独立性。

内容的提问来源于stack exchange，提问作者Quack E. Duck