协议对保留计数有影响吗？

Question

我有一个非常简单的代码。我有意与委托人创建一个内存循环。尝试观察和学习如何使用 Xcode 的 Memory Graph。

我不明白为什么在连接部分，Xcode 说有 3 个连接。应该只有 2 个。

如果我创建一个带有闭包的内存循环，那么它将显示 2 个连接。

我的委托泄露代码：

protocol SomeDelegate {
    func didFinishSomething()
}

class Something {
    var delegate: SomeDelegate?
}

class ViewController: UIViewController, SomeDelegate {

    var x = Something()

    override func viewDidLoad() {
        super.viewDidLoad()
        print("view did load")
        x.delegate = self
    }

    func didFinishSomething() {
        print("something was finished")
    }

    deinit {
        print("dellocated!!!")
    }
}

我将该视图推送到导航控制器中，然后返回。

这 2 个委托对象的内存地址略有不同，仅相差 +16

---

这似乎与委托对象作为协议有关。因为当我删除协议时，它减少到 2：

class Something2 {
    var delegate: ViewController?
}

class ViewController: UIViewController {

    var x = Something2()

    override func viewDidLoad() {
        super.viewDidLoad()
        print("view did load")
        x.delegate = self
    }

    deinit {
        print("dellocated!!!")
    }
}

Answer 1

我很确定这只是 Xcode 弄糊涂了。协议值不应导致任何额外的保留超过正常的强引用，因为内存管理操作通过存储在存在容器中的类型元数据转发到底层值。

这是一个在 Xcode 的内存图调试器中重现相同结果的最小示例：

protocol P {}

class C : P {
  var d: D?
}

class D {
  var p: P?
}

func foo() {
  let c = C()
  let d = D()
  c.d = d
  d.p = c
}

foo()

print("insert breakpoint V")

print("insert breakpoint ^")

如果您在打印语句之间插入断点并查看内存图，您将看到 3 个连接。有趣的是，如果在分配d.p 之后分配c.d，您将看到2 个连接的正确结果。

但是，如果我们在 swift_retain 和 swift_release 上设置符号断点以查看强大的保留/释放 Swift ARC 流量（同时打印出存储在 %rdi 寄存器中的值，这似乎是使用的寄存器在 x86 上传递参数）：

然后在调用foo()之后立即插入一个断点，我们可以看到在这两种情况下，每个实例都获得+2保留和-2释放（记住它们以+1保留的形式进入世界，因此保持他们分配）：

swift_retain 1
     rdi = 0x000000010070fcd0
swift_retain 2
     rdi = 0x000000010070fcd0
swift_release 1
     rdi = 0x0000000000000000
swift_release 2
     rdi = 0x000000010070fcd0
swift_retain 3
     rdi = 0x00000001007084e0
swift_retain 4
     rdi = 0x00000001007084e0
swift_release 3
     rdi = 0x00000001007084e0
swift_release 4
     rdi = 0x000000010070fcd0
swift_release 5
     rdi = 0x00000001007084e0

所以看起来 Xcode 出了问题，而不是 Swift。

Answer 2

是的，用于实现协议类型变量的存在容器可以生成额外的保留。有关各种实现细节，请参阅Understanding Swift Performance。 16 字节（2 个机器字）是存在容器的标头。