为什么不变异成员在Xcode中触发断点?

时间:2017-11-07 11:31:20

标签: ios swift xcode debugging lldb

我遇到了一些我无法通过阅读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函数。

虽然未触发断点,但每次都会在同一行添加一个观察点。

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

1 个答案:

答案 0 :(得分:0)

在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 

这是有道理的,&#34;数据的定义&#34; 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

通过类型元数据访问它将要更改的变量。这是一个通用功能,并不是由&#34;数据&#34;的定义触发的。因此,它没有被分配到该定义行。该访问必须知道它可以跳过getter或setter,但你必须让其他人解释它为什么这样做...

如果您对此感到好奇,可以尝试将您的问题重新描述为Swift为数据访问做出的选择,而更熟悉该语言实现的人可能会对此感兴趣。