Cos'è il conteggio automatico dei link?

Il conteggio automatico delle referenze (Automatic Reference Counting, ARC) è un meccanismo di gestione della memoria in Swift e Objective-C che traccia e libera automaticamente la memoria assegnata agli oggetti. Ogni istanza di classe ha un contatore di riferimenti che aumenta quando viene creata una referenza forte all'oggetto e diminuisce quando viene rimossa. Quando il contatore raggiunge zero, ARC dealloca automaticamente l'oggetto e libera la memoria occupata.

ARC previene perdite di memoria e doppie liberazioni, semplificando la gestione della memoria rispetto alla gestione manuale (come in Objective-C senza ARC).

Esistono tre tipi di riferimenti:

1. Strong (Forte): Aumenta il contatore di riferimenti dell'oggetto. È il tipo di riferimento predefinito.
2. Weak (Debole): Non aumenta il contatore di riferimenti. Viene usato per prevenire cicli di riferimenti forti, quando due oggetti si riferiscono reciprocamente. Il riferimento debole diventa nil se l'oggetto puntato viene deallocato. Si definisce con la parola chiave weak.
3. Unowned (Senza proprietario): Non aumenta il contatore di riferimenti e ha sempre un valore. Viene usato quando si sa che il riferimento punterà sempre a un oggetto finché questo esiste. A differenza di weak, il riferimento senza proprietario non diventa nil e può causare un errore se si tenta di accedere all'oggetto dopo la sua deallocazione. Si definisce con la parola chiave unowned.

Esempio di ciclo di riferimenti forti:

class Human {
    let name: String
    var apartment: Apartment? // Riferimento forte a un Apartment opzionale
    init(name: String) {
        self.name = name
        print("\(name) viene inizializzato")
    }
    deinit {
        print("\(name) viene de-inizializzato")
    }
}

class Apartment {
    let unit: String
    var tenant: Human? // Riferimento forte a un Human opzionale
    init(unit: String) {
        self.unit = unit
        print("Appartamento \(unit) viene inizializzato")
    }
    deinit {
        print("Appartamento \(unit) viene de-inizializzato")
    }
}

var john: Human?
var unit4A: Apartment?

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

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

john = nil
unit4A = nil
// Non verrà stampato né "John Appleseed viene de-inizializzato" né "Apartment 4A viene de-inizializzato" a causa del ciclo di riferimenti forti

Soluzione al ciclo di riferimenti forti usando weak:

class Human {
    let name: String
    var apartment: Apartment?
    init(name: String) {
        self.name = name
        print("\(name) viene inizializzato")
    }
    deinit {
        print("\(name) viene de-inizializzato")
    }
}

class Apartment {
    let unit: String
    weak var tenant: Human? // Riferimento debole
    init(unit: String) {
        self.unit = unit
        print("Appartamento \(unit) viene inizializzato")
    }
    deinit {
        print("Appartamento \(unit) viene de-inizializzato")
    }
}

var john: Human?
var unit4A: Apartment?

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

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

john = nil // John viene deallocato, poiché il suo contatore di riferimenti diventa 0
unit4A = nil // Appartamento viene deallocato, poiché il suo contatore di riferimenti diventa 0