Swift ARC内存问题：设备与端口循环引用的解决困惑

首先明确你的核心矛盾：Device强持有Port数组，Port强持有Device，形成循环引用导致内存泄漏；但需求要求Port存在时Device必须存活、Port的Device非nil，且Port可仅存于Device的数组中。

你的两个尝试的问题所在：

• 方案1用weak let device: Device?：弱引用会让Device失去强引用支撑，当外部仅持有Port时，Device会被立即释放，直接违反“Port存在则Device必须留存”的需求；同时可选类型也不符合“Device永不为nil”的要求。
• 方案2用弱数组：Device对Port变为弱引用，当Port仅存在于该数组中时，没有其他强引用的Port会被系统释放，不符合你需要Port常驻数组的场景。

正确的解决思路是使用无主引用（unowned），完全匹配你的需求场景：

1. 将Port类中的device属性改为unowned let device: Device
   • 无主引用是非可选类型，满足“Device永不为nil”的要求；
   • 无主引用不会增加Device的引用计数，打破了原有的强循环；
   • 因为你的需求明确“只要Port存在，Device就必须留存”，说明Port的生命周期绝不会超过Device，无主引用在这种场景下是绝对安全的，不会出现野指针问题。
2. Device类依然用强引用持有Port数组，确保Port仅存于数组中时不会被释放。

这样调整后：

• 当Device存在时，强引用的Port数组会保留所有Port实例；
• 当外部持有Port时，由于Port的device是无主引用，不会额外增加Device的引用计数，但因为需求约束Device必须和Port共存，此时Device必然有其他强引用支撑（比如持有Port的视图同时也间接持有Device，或者Device本身在其他地方被留存）；
• 循环引用被彻底打破，当Device不再被任何外部强引用持有后，Port数组会被释放，所有Port实例也会随之被回收，不会出现内存泄漏。

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