Jak lze odhalit úniky paměti v aplikaci iOS?

• Nástroje (Úniky): Hlavní nástroj v Xcode pro profilování a detekci úniků paměti. Zobrazuje zjištěné úniky, cyklické odkazy a další problémy s řízením paměti.

• Graf paměti v DEBUG Navigatoru: Vizuální zobrazení grafu objektů v paměti během běhu aplikace. Pomáhá identifikovat cyklické odkazy, které způsobují, že ARC udržuje objekty, i když již nejsou potřeba. Lze použít k hledání objektů bez referencí.

• Address Sanitizer (ASan): Nástroj během kompilace a běhu, který detekuje chyby paměti, včetně use-after-free, double-free a heap-buffer-overflow. Ačkoliv přímo nehledá úniky, pomáhá najít chyby, které mohou vést k únikům.

• Statický analyzátor: Nástroj integrovaný v Xcode pro statickou analýzu kódu, který může odhalit potenciální problémy s pamětí, včetně chyb počítání odkazů a nedefinovaných proměnných, před spuštěním aplikace.

• Heaps: V Instruments zobrazuje všechny živé objekty v paměti a jejich spojení. Užitečné pro identifikaci objektů, které by měly být odstraněny, ale stále existují.

• Vlastní kód pro sledování odkazů: Implementace vlastních mechanismů pro sledování životního cyklu objektů, například zaznamenávání jejich metod deinit, pro identifikaci objektů, které nejsou uvolněny podle očekávání.

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

    deinit {
        print("MyObject deinitialized") // Mělo by být voláno při uvolnění
    }
}

• Jednotkové/UI testy: Vytvoření specializovaných testů, které kontrolují, zda jsou objekty správně uvolněny po dokončení jejich životního cyklu nebo vykonání určitého úkolu. Spusťte tyto testy s aktivovaným Instrument Leaks nebo Memory Graph.

• Revize kódu: Pravidelná kontrola kódu za účelem odhalení potenciálních problémů s řízením paměti, jako jsou silné cyklické odkazy, nesprávné použití uzávěrek (capture lists) a delegátů.

• Kontrola slabých odkazů a odkazů bez vlastnictví: Ujistěte se, že odkazy na delegáty, uzávěrky a další objekty, které mohou vytvářet cyklické odkazy, jsou správně označeny jako weak nebo unowned.

class Parent {
    var child: Child?
}

class Child {
    weak var parent: Parent? // Použití weak k prevenci cyklů
}