如何在 Swift 中演示僵尸对象？

Question

我读过How to demonstrate memory leak and zombie objects in Xcode Instruments? 但那是针对 objective-c 的。这些步骤不适用。

从阅读here我了解到僵尸是以下对象：

• 解除分配
• 但是一些指针仍在尝试指向它们并向它们发送消息。

不确定这与访问已释放的对象有何不同。

我的意思是在 Swift 中你可以这样做：

var person : Person? = Person(name: "John")
person = nil
print(person!.name)

人被解除分配了吗？是的！

我们要指出它吗？是的！

那么有人可以分享导致创建悬挂指针的最常见错误吗？

Answer 1

这里是不到 15 行代码的僵尸攻击：

class Parent { }

class Child {
    unowned var parent: Parent // every child needs a parent

    init(parent: Parent) {
        self.parent = parent
    }
}

var parent: Parent? = Parent()
let child = Child(parent: parent!) // let's pretend the forced unwrap didn't happen
parent = nil // let's deallocate this bad parent
print(child.parent) // BOOM!!!, crash

这段代码中发生的事情是

Child

持有对

Parent

的无主引用，一旦

Parent

被释放，它就变得无效。该引用包含一个指向不再存在的父项 (RIP) 的指针，并且访问它会导致崩溃并显示类似于以下的消息：

致命错误：试图读取无主引用，但对象 0x1018362d0 已被释放 2018-10-29 20:18:39.423114+0200 MyApp[35825:611433] 致命错误：试图读取无主引用，但对象 0x1018362d0 已被释放

注意 该代码无法在 Playground 中运行，为此您需要一个常规应用程序。

Answer 2

这不是悬垂指针或僵尸。当您使用

!

时，您是在说“如果为零，则崩溃。”你不应该将

person

视为 Swift 中的指针。这是一个价值。该值可能是

.some(T)

，也可能是

.none

（也称为

nil

）。这些都不是悬空的。它们只是两个不同的显式值。 Swift 的

nil

与其他语言中的空指针完全不同。当您明确要求它时，它只会像空指针一样崩溃。

要创建僵尸，您需要使用像

Unmanaged

这样的东西。这在 Swift 中极为罕见。

Answer 3

僵尸对象是Objective-C对象已经被释放，但仍然接收消息。

在 Objective-C 中，

__unsafe_unretained

可用于创建一个指向对象的附加指针，该指针不会增加引用计数。在斯威夫特这将是

unowned(unsafe)

.

这是一个独立的例子：

import Foundation

class MyClass: NSObject {
    func foo() { print("foo"); }

    deinit { print("deinit") }
}

unowned(unsafe) let obj2: MyClass
do {
    let obj1 = MyClass()
    obj2 = obj1
    print("exit scope")
}
obj2.foo()

obj1

是指向新创建的对象的指针，而

obj2

是指向同一对象的另一个指针，但没有增加引用计数器。当

do { ... }

块离开时，对象被释放。通过

obj2

向它发送消息会导致 Zombie 错误：

exit scope
deinit
*** -[ZombieTest.MyClass retain]: message sent to deallocated instance 0x1005748d0

如果您使用

Managed

（例如 将指向 Swift 对象的指针转换为 C

void

指针以便将它们传递给 C 回调函数）并且您没有选择正确的保留/未保留组合，也会发生这种情况。一个人为的例子是：

let obj2: MyClass
do {
    let obj1 = MyClass()
    obj2 = Unmanaged.passUnretained(obj1).takeRetainedValue()
    print("exit scope")
}
obj2.foo()

Answer 4

快速僵尸对象

Zombie Object

是一个释放的对象（引用计数为零），它的行为就像活着（接收消息）一样。有可能是因为

dangling pointer

.

dangling pointer

指向数据不可预测的内存中的某个地址

• Objective-C 具有

  unsafe_unretained

  ^[关于] 属性。 [例子]

• 斯威夫特有

  • unowned(unsafe)

    ^【关于】参考

  • Unmanaged

    -

    non ARC

    Objc- code
  的包装器

unowned(unsafe) let unsafeA: A

func main() {
    let a = A() // A(ref count = 1)
    unsafeA = a 
} // A(ref count = 0), deinit() is called

func additional() {
    unsafeA.foo() //<- unexpected
}