Cos'è ARC (Conteggio Automatico dei Riferimenti) in iOS?

L'ARC è un meccanismo di gestione della memoria in iOS che conta automaticamente i riferimenti agli oggetti. Quando il conteggio delle referenze di un oggetto raggiunge zero, l'ARC libera automaticamente la memoria occupata da quell'oggetto.

Vantaggi dell'ARC:

• Riduzione delle perdite di memoria: L'automazione del processo di rilascio della memoria riduce la probabilità di errori legati a release o dealloc dimenticati.
• Prevenzione di crash dovuti a doppio rilascio: L'ARC impedisce tentativi di liberare memoria già liberata.
• Semplificazione del codice: Lo sviluppatore non deve gestire manualmente la memoria, rendendo il codice più pulito e comprensibile.

Nonostante l'automazione, quando si utilizza l'ARC è importante comprendere i concetti di riferimenti forti e deboli per evitare cicli di riferimenti forti (retain cycles).

Esempio di riferimento forte:

class Person {
    var name: String
    var apartment: Apartment?

    init(name: String) {
        self.name = name
        print("\(name) viene inizializzato")
    }

    deinit {
        print("\(name) viene de-inizializzato")
    }
}

class Apartment {
    var unit: String
    var tenant: Person? // Riferimento forte

    init(unit: String) {
        self.unit = unit
        print("Appartamento \(unit) viene inizializzato")
    }

    deinit {
        print("Appartamento \(unit) viene de-inizializzato")
    }
}

var john: Person?
var unit4A: Apartment?

john = Person(name: "John Appleseed")
unit4A = Apartment(unit: "4A")

// Creazione di un riferimento forte su entrambi i lati
john!.apartment = unit4A
unit4A!.tenant = john

// La nullificazione dei riferimenti non porta a deinit a causa del ciclo
john = nil
unit4A = nil

Esempio di utilizzo di un riferimento debole per rompere il ciclo:

class Person {
    var name: String
    var apartment: Apartment?

    init(name: String) {
        self.name = name
        print("\(name) viene inizializzato")
    }

    deinit {
        print("\(name) viene de-inizializzato")
    }
}

class Apartment {
    var unit: String
    weak var tenant: Person? // Riferimento debole

    init(unit: String) {
        self.unit = unit
        print("Appartamento \(unit) viene inizializzato")
    }

    deinit {
        print("Appartamento \(unit) viene de-inizializzato")
    }
}

var john: Person?
var unit4A: Apartment?

john = Person(name: "John Appleseed")
unit4A = Apartment(unit: "4A")

john!.apartment = unit4A
unit4A!.tenant = john

// La nullificazione dei riferimenti rompe il ciclo (deinit)
john = nil // Person de-initialized
unit4A = nil // Apartment de-initialized

L'ARC si applica agli oggetti di classe. Le strutture e le enumerazioni sono tipi di valore e non sono soggetti alla gestione automatica della memoria tramite ARC.