Come si possono individuare perdite di memoria in un'app iOS?

• Strumenti (Perdite): Lo strumento principale in Xcode per il profiling e il rilevamento delle perdite di memoria. Mostra le perdite rilevate, i riferimenti ciclici e altri problemi di gestione della memoria.

• Grafico della memoria nel Navigatore DEBUG: Rappresentazione visiva del grafico degli oggetti in memoria durante l'esecuzione dell'applicazione. Aiuta a identificare i riferimenti ciclici che impediscono ad ARC di liberare gli oggetti. Può essere usato per cercare oggetti senza riferimenti.

• Address Sanitizer (ASan): Strumento durante la compilazione e l'esecuzione che rileva errori di memoria, inclusi use-after-free, double-free e overflow del buffer heap. Sebbene non cerchi direttamente le perdite, aiuta a trovare errori che possono portare a perdite.

• Analizzatore statico: Strumento integrato in Xcode per l'analisi statica del codice, che può individuare problemi potenziali di memoria, inclusi errori nel conteggio dei riferimenti e variabili non inizializzate, prima di eseguire l'app.

• Heap: In Instruments, mostra tutti gli oggetti vivi in memoria e le loro connessioni. Utile per individuare oggetti che dovrebbero essere eliminati ma sono ancora presenti.

• Codice personalizzato per il tracciamento dei riferimenti: Implementazione di meccanismi propri per tracciare il ciclo di vita degli oggetti, come la registrazione dei loro metodi deinit, per identificare oggetti che non vengono liberati come previsto.

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

    deinit {
        print("MyObject deinitialized") // Deve essere chiamato al rilascio
    }
}

• Test unitari/UI: Creazione di test specializzati che verificano che gli oggetti vengano liberati correttamente dopo il completamento del loro ciclo di vita o l'esecuzione di un compito specifico. Eseguire questi test con Instrument Leaks o Memory Graph attivati.

• Revisione del codice: Revisione regolare del codice per individuare potenziali problemi di gestione della memoria, come riferimenti ciclici forti, uso scorretto di closure (liste di cattura) e delegati.

• Verifica dei riferimenti deboli e senza proprietà: Assicurarsi che i riferimenti a delegati, closure e altri oggetti che possono creare riferimenti ciclici siano correttamente contrassegnati come weak o unowned.

class Parent {
    var child: Child?
}

class Child {
    weak var parent: Parent? // Uso di weak per prevenire cicli
}