1-15.【OC】【基础】为什么 Swift 的 struct / enum 很难完整桥接到 Objective-C？

Swift 的 struct（结构体）和 enum（枚举）无法完整桥接到 Objective-C，本质上是因为 Swift 迈向了“现代静态语言”，而 Objective-C 仍被锁死在“80 年代 C 语言的物理内存模型”中。

它们之间存在三道无法逾越的鸿沟：

这是最根本的矛盾。

Objective-C 的模型：OC 是基于 Smalltalk 的消息机制，这意味着所有的对象必须是通过指针访问的堆内存（即 objc_object）。在 OC 中，如果你想要一个“对象”，它必须有 isa 指针。
Swift 的模型：Swift 的 struct 和 enum 是值类型（Value Types） 。它们通常分配在栈上，或者作为其他对象的内存内联块。它们没有 isa 指针，不通过引用计数管理，也不支持 objc_msgSend。

为什么桥接不了？

如果要将 Swift 的 struct 传给 OC，OC 要求这个东西必须能响应消息（即有 isa），但 struct 只是纯粹的数据块。如果你强行转换（装箱），它就失去了值类型的性能优势，变成了另一个 NSObject。

Swift 的 enum 是所谓的“代数数据类型（ADT）”，其功能远超 OC。

Swift 枚举可以有关联值（Associated Values） ：

Swift
```
enum Shape {
    case circle(radius: Double)
    case rectangle(width: Double, height: Double)
}
```
这种枚举在内存中是不定长的，且包含复杂的元数据。
Objective-C 的枚举：本质上就是 C 语言的整数（int） 。OC 的枚举无法携带数据，只能代表一个固定的数字。

为什么桥接不了？

OC 的运行时系统根本无法理解一个“既是数字又带着两个 Double 值的变量”。由于 C 语言内存布局的局限性，OC 无法表示 Swift 枚举这种复杂的判别联合（Discriminated Union）。

Swift 的 struct 经常配合泛型使用，而 Swift 的泛型是真泛型（在编译期生成具体的代码或通过 Witness Table 处理）。

Swift: struct Box<T> { let value: T }。
Objective-C: OC 的泛型（如 NSArray<NSString *> *）其实是轻量级泛型，本质上是“类型擦除”。在运行时，OC 只知道那是 id 类型。

为什么桥接不了？

Swift 允许 struct 拥有复杂的泛型约束，而 OC 连基本的非指针泛型（如 Box<Int>）都无法表示。因为 OC 的泛型只能用于 id（指针类型），而 Swift 的 struct 泛型可以针对任何类型。

Swift 的 struct 遵守协议：是依靠 Protocol Witness Table (PWT) 实现的。这是一套独立的、极其高效的静态/动态分发机制。
Objective-C 遵守协议：完全依靠 Runtime 的消息查找。

由于 Swift 的 struct 没有 isa 指针，它无法进入 OC 的 objc_msgSend 查找流程。如果要让 struct 兼容 OC，Swift 就必须为它动态创建一个特殊的“代理类”，这在性能和逻辑上都是巨大的开销。

特性	Swift struct/enum	Objective-C 对应物	桥接瓶颈
内存分配	栈/内联 (高性能)	堆 (指针开销)	物理布局不兼容
运行时	静态分发/Witness Table	动态消息 (`isa`)	`struct` 没有 `isa` 指针
枚举功能	可携带复杂关联值	仅限整数 (int)	C 语言模型太简陋
协议支持	泛型/静态检查	动态响应检查	机制互不匹配

工程上的妥协：

所以，你在开发中会发现，如果你想让 Swift 的 struct 或 enum 在 OC 中可用，你必须：

这证明了 Objective-C 的 C 语言底层模型虽然在 80 年代很先进，但在处理现代编程语言的“值类型”和“泛型”时，已经显露出了疲态。