Jak przebiega czyszczenie stosu w rozwoju iOS?

Stos wywołań w iOS jest automatycznie czyszczony po zakończeniu wykonywania funkcji lub metody. Gdy funkcja kończy działanie, jej ramka (zestaw zmiennych lokalnych, argumentów i adresu powrotu) jest usuwana ze stosu.

Dla obiektów przechowywanych na stosie (np. struktur lub prostych typów danych), czyszczenie następuje bezpośrednio podczas usuwania ramki.

Dla obiektów przechowywanych na stercie, do których odwołują się referencje na stosie, kluczową rolę odgrywa automatyczne zarządzanie pamięcią w iOS (ARC - automatyczne zliczanie referencji). ARC nie czyści stosu, ale zarządza czasem życia obiektów na stercie.

Gdy zmienna zawierająca silne odniesienie do obiektu na stercie wychodzi z zakresu (co dzieje się podczas usuwania ramki ze stosu), ARC automatycznie zmniejsza licznik odniesień tego obiektu. Jeśli licznik osiągnie zero, ARC zwalnia pamięć zajmowaną przez obiekt na stercie.

W związku z tym, czyszczenie stosu to bezpośrednie usunięcie ramek po zakończeniu funkcji, a zwolnienie pamięci dla obiektów na stercie, na które wskazywały zmienne na stosie, odbywa się pośrednio przez ARC.

Przykład:

struct MyStruct {
    let value: Int
}

class MyClass {
    var name: String

    init(name: String) {
        self.name = name
        print("Instancja MyClass \(name) utworzona")
    }

    deinit {
        print("Instancja MyClass \(name) zwolniona")
    }
}

func myFunction() {
    let stackStruct = MyStruct(value: 10) // Przechowywany na stosie
    let heapObject = MyClass(name: "Przykład") // Przechowywany na stercie, referencja na stosie

    // ... pracujemy z stackStruct i heapObject

    // Funkcja kończy się, ramki stackStruct i referencja do heapObject są usuwane ze stosu
    // ARC zmniejsza licznik odniesień do heapObject. Jeśli jest zero, obiekt jest zwalniany.
}

myFunction() // Wywołanie funkcji

W tym przykładzie:

• stackStruct jest przechowywany bezpośrednio na stosie w ramach myFunction. Gdy myFunction kończy działanie, ramka jest usuwana, a stackStruct jest automatycznie czyszczony.
• heapObject to odniesienie do instancji MyClass, która znajduje się na stercie. Zmienna heapObject (referencja) jest na stosie. Gdy myFunction kończy działanie, odniesienie heapObject jest usuwane ze stosu. Ponieważ było to jedyne silne odniesienie do instancji MyClass("Przykład"), ARC wykrywa, że licznik odniesień jest zerowy i wywołuje deinit, zwalniając pamięć na stercie.