Hoe wordt de stack opgeschoond in iOS-ontwikkeling…

De call stack in iOS wordt automatisch geleegd bij het voltooien van een functie of methode. Wanneer een functie eindigt, wordt zijn frame (set lokale variabelen, argumenten en retouradres) verwijderd van de stack.

Voor objecten die op de stack worden opgeslagen (bijvoorbeeld structuren of eenvoudige datatypes), gebeurt de opruiming direct bij het verwijderen van het frame.

Voor objecten die in de heap worden opgeslagen, en waarnaar wordt verwezen vanaf de stack, speelt automatische geheugenbeheer in iOS (ARC - Automatic Reference Counting) een belangrijke rol. ARC verwijdert de stack niet, maar beheert de levensduur van objecten in de heap.

Wanneer een variabele met een sterke verwijzing naar een object in de heap buiten scope raakt (wat gebeurt bij het verwijderen van het frame van de stack), vermindert ARC automatisch de referentieteller van dat object. Als de teller op nul komt, wordt het geheugen dat door het object in de heap wordt ingenomen vrijgegeven.

Dus, het legen van de stack is het directe verwijderen van frames bij het voltooien van functies, en het vrijmaken van geheugen voor objecten in de heap, waarnaar variabelen op de stack verwezen, gebeurt indirect via ARC.

Voorbeeld:

struct MyStruct {
    let value: Int
}

class MyClass {
    var name: String

    init(name: String) {
        self.name = name
        print("MyClass-instantie \(name) gemaakt")
    }

    deinit {
        print("MyClass-instantie \(name) vrijgegeven")
    }
}

func myFunction() {
    let stackStruct = MyStruct(value: 10) // Op de stack
    let heapObject = MyClass(name: "Voorbeeld") // In de heap, referentie op de stack

    // ... werken met stackStruct en heapObject

    // De functie eindigt, de frames van stackStruct en de referentie naar heapObject worden verwijderd van de stack
    // ARC vermindert de referentieteller van heapObject. Als nul, wordt het object vrijgegeven.
}

myFunction() // Aanroep van de functie

In dit voorbeeld:

stackStruct wordt direct op de stack opgeslagen binnen het frame van myFunction. Wanneer myFunction eindigt, wordt het frame verwijderd en wordt stackStruct automatisch opgeruimd.
heapObject is een referentie naar een instantie van MyClass, die zich in de heap bevindt. De variabele heapObject (de referentie) bevindt zich op de stack. Wanneer myFunction eindigt, wordt de referentie heapObject verwijderd van de stack. Omdat dit de enige sterke referentie was naar de instantie MyClass("Voorbeeld"), detecteert ARC dat de referentieteller nul is en roept deinit aan, waardoor het geheugen in de heap wordt vrijgegeven.

Hoe wordt de stack opgeschoond in iOS-ontwikkeling?