Wat is de rol van zwakke (weak) en niet-eigen (unowned) verwijzingen in geheugenbeheer in programmeertalen?

Zwakke (weak) en niet-eigen (unowned) referenties worden gebruikt om het geheugen te beheren en cyclische referenties te voorkomen die kunnen leiden tot geheugenlekken.

• Weak-referenties: dit zijn referenties die de referentieteller van het object niet verhogen. Als het object waarnaar de weak-referentie wijst wordt verwijderd, wordt de weak-referentie automatisch nil (in Swift). Dit is handig om sterke cycli te voorkomen, bijvoorbeeld tussen een delegate en de eigenaar.

• Unowned-referenties: verhogen ook niet de referentieteller, maar gaan ervan uit dat het object altijd bestaat tijdens het gebruik van de referentie. Als het object al is verwijderd, leidt toegang tot de unowned-referentie tot een fout (crash). Ze worden gebruikt wanneer de levensduur van het gerefereerde object gegarandeerd langer is dan de referentie.

Voorbeeld in Swift:

class Person {
    var apartment: Apartment?
}

class Apartment {
    weak var tenant: Person?  // weak, om een cyclus te voorkomen
}

Hier voorkomt de weak-referentie dat het Person-object in het geheugen wordt gehouden als het niet meer nodig is.