ios - 为什么改变成员不会在 Xcode 中触发断点？

Question

我遇到了一些我似乎无法通过阅读 Xcode 或 LLDB 的文档来弄清楚的事情。当应用程序到达具有断点的行时，在我看来，如果存在断点，LLDB 应该在该行上中断。如果在执行变异函数时访问该行的代码不会触发断点。

考虑以下示例:

class DataSource {

    private init(){

        data = []

        for i in 0..<10 {

            data.append(i) // mutating func
        }
    }

    static let sharedInstance = DataSource()

    var data: [Int]! // Set a breakpoint on this line
}

class Worker {

    func work(){

        print("Append item")

        DataSource.sharedInstance.data.append(23) // mutating func

        print("Get first item")

        print(DataSource.sharedInstance.data[0]) // subscript - TRIGGERS BREAKPOINT

        print("Drop first")

        print(DataSource.sharedInstance.data.dropFirst()) // func - TRIGGERS BREAKPOINT

        print("Remove first")

        print(DataSource.sharedInstance.data.removeFirst()) // mutating func

        print("Remove at 0")

        print(DataSource.sharedInstance.data.remove(at: 0)) // mutating func
    }
}

.data[0] 和 .dropFirst() 正在触发断点，其他函数调用不是。我能看到的唯一区别是那些没有破坏的函数是 mutating 函数。

断点不触发时，同一行添加的观察点每次都会触发。

有人可以解释一下这种行为吗？

Answer 1

在 macOS 上，您的断点解析为:

(lldb) break list
Current breakpoints:
1: source regex = "Set a breakpoint", exact_match = 0, locations = 3, resolved = 3, hit count = 3
  1.1: where = mutable`mutable.DataSource.(in _788A7EC739C0395377AC3966BEDD9D35).init() -> mutable.DataSource + 40 at mutable.swift:15, address = 0x0000000100001b08, resolved, hit count = 1 
  1.2: where = mutable`mutable.DataSource.data.getter : Swift.ImplicitlyUnwrappedOptional<Swift.Array<Swift.Int>> + 80 at mutable.swift:15, address = 0x0000000100001e00, resolved, hit count = 2 
  1.3: where = mutable`mutable.DataSource.data.setter : Swift.ImplicitlyUnwrappedOptional<Swift.Array<Swift.Int>> + 96 at mutable.swift:15, address = 0x0000000100001e70, resolved, hit count = 0 

这是有道理的，“数据”ivar 的定义产生了一个 setter、getter 和 init 方法，这些函数与这一行相关联。

但是如果您查看可变访问的代码，例如 append 调用，则不会使用这些方法，而是程序集如下所示:

(lldb) dis -c 5 -s 0x10000203b
mutable`Worker.work():
    0x10000203b <+235>: callq  0x100002cf0               ; type metadata accessor for mutable.DataSource at mutable.swift
    0x100002040 <+240>: movq   %rax, -0xf0(%rbp)
    0x100002047 <+247>: callq  0x100001d50               ; mutable.DataSource.sharedInstance.unsafeMutableAddressor : mutable.DataSource at mutable.swift
    0x10000204c <+252>: movq   (%rax), %rax
    0x10000204f <+255>: movq   %rax, %rcx

它正在通过类型元数据来访问它要更改的变量。这是一个通用函数，不会由“数据”ivar 的定义触发，因此不会分配给该定义行。该访问必须知道它可以跳过 getter 或 setter，但您必须让其他人解释它为什么这样做......

如果您对此感到好奇，您可以尝试将您的问题改写为关于 Swift 为数据访问所做的选择，并且更熟悉该语言实现的人可能会参与进来。