Wie kann man Speicherlecks in einer iOS-Anwendung erkennen?

• Instrumente (Leaks): Das Hauptinstrument in Xcode zur Profilierung und Erkennung von Speicherlecks. Zeigt erkannte Lecks, zyklische Referenzen und andere Speicherverwaltungsprobleme.

• Memory-Graph im DEBUG Navigator: Visuelle Darstellung des Objektgraphen im Speicher während der Ausführung der Anwendung. Hilft, zyklische Referenzen zu erkennen, die ARC dazu veranlassen, Objekte zu behalten, auch wenn sie nicht mehr benötigt werden. Kann zur Suche nach nicht referenzierten Objekten verwendet werden.

• Address Sanitizer (ASan): Werkzeug während Kompilierung und Ausführung, das Speicherfehler erkennt, einschließlich use-after-free, double-free und Heap-Buffer-Overflow. Obwohl es keine Lecks direkt sucht, hilft es, Fehler zu finden, die zu Lecks führen können.

• Statischer Analyzer: In Xcode integriertes Werkzeug zur statischen Codeanalyse, das potenzielle Speicherprobleme erkennt, einschließlich Referenzzählungsfehler und uninitialisierte Variablen, vor der Ausführung der Anwendung.

• Heaps: In Instruments zeigt es alle lebenden Objekte im Speicher und deren Verbindungen. Nützlich, um Objekte zu identifizieren, die gelöscht werden sollten, aber noch existieren.

• Benutzerdefinierter Code zur Referenzverfolgung: Implementierung eigener Mechanismen zur Nachverfolgung des Objektlebenszyklus, z.B. durch Logging ihrer deinit-Methoden, um Objekte zu erkennen, die nicht wie erwartet freigegeben werden.

class MyObject {
    init() {
        print("MyObject initialized")
    }

    deinit {
        print("MyObject deinitialized") // Sollte beim Freigeben aufgerufen werden
    }
}

• Unit/UI-Tests: Erstellung spezialisierter Tests, die überprüfen, ob Objekte nach Abschluss ihres Lebenszyklus oder einer bestimmten Aufgabe korrekt freigegeben werden. Diese Tests mit aktivierten Instrument Leaks oder Memory Graph ausführen.

• Code-Review: Regelmäßige Überprüfung des Codes auf potenzielle Speicherverwaltungsprobleme, wie starke zyklische Referenzen, falsche Verwendung von Closures (Capture-Listen) und Delegierten.

• Überprüfung schwacher Referenzen und Referenzen ohne Besitz: Sicherstellen, dass Referenzen auf Delegierte, Closures und andere Objekte, die zyklische Referenzen erzeugen können, korrekt als weak oder unowned markiert sind.

class Parent {
    var child: Child?
}

class Child {
    weak var parent: Parent? // Verwendung von weak zur Vermeidung von Zyklen
}