Jaka jest różnica między struct a class w Swift?

Question

IT Interview Practice · Accepted Answer

`struct` to **typ wartościowy** (value type): jest kopiowany przy przypisaniu, a każda kopia jest niezależna. `class` to **typ referencyjny** (reference type): przypisanie współdzieli jedną instancję, a obie zmienne wskazują na ten sam obiekt. Ta jedna różnica napędza większość decyzji projektowych w Swift.

## Jak to działa

```swift
struct PointS { var x: Int }
class  PointC { var x: Int; init(x: Int) { self.x = x } }

var a = PointS(x: 1)
var b = a          // KOPIA — b to osobna struktura
b.x = 99
print(a.x, b.x)    // => 1 99  (a nienaruszone)

let c = PointC(x: 1)
let d = c          // WSPÓŁDZIELENIE — ta sama instancja
d.x = 99
print(c.x, d.x)    // => 99 99 (oba zmienione)
```

## Kompromisy

| Aspekt | struct (wartość) | class (referencja) |
|--------|----------------|-------------------|
| Semantyka kopiowania | niezależna kopia | współdzielona referencja |
| Mutacja | wymaga `var` / `mutating` | mutowalne przez dowolną referencję |
| Tożsamość | brak (porównanie po wartości) | tożsamość `===` |
| Dziedziczenie | nie | tak |
| Pamięć | zwykle stos, bez ARC | sterta, zarządzane przez ARC |

Struktury wymagają też `mutating`, aby zmienić przechowywane właściwości w metodzie, ponieważ metody domyślnie otrzymują niemodyfikowalne `self`.

## Kiedy użyć którego

- **Domyślnie `struct`** — biblioteka standardowa Swift (`Array`, `String`, `Int`) oraz widoki `View` w SwiftUI to wszystko typy wartościowe. Są bezpieczne do współdzielenia między wątkami i nie mają cykli referencji (retain cycles).
- Użyj `class`, gdy potrzebujesz **współdzielonego stanu mutowalnego**, **tożsamości**, **dziedziczenia** lub interoperacyjności z Objective-C (`NSObject`).

## Dlaczego to ważne

Wybór wartość vs referencja decyduje, czy zmiana w jednym miejscu przecieka do innego. Błędy typu "edycja jednego elementu zmieniła je wszystkie" wynikają z nieoczekiwanego współdzielenia referencji; cały model SwiftUI zakłada tanie, kopiowalne widoki typu wartościowego — dlatego rekruterzy sprawdzają, czy najpierw sięgasz po `struct`.

Aspekt	struct (wartość)	class (referencja)
Semantyka kopiowania	niezależna kopia	współdzielona referencja
Mutacja	wymaga `var` / `mutating`	mutowalne przez dowolną referencję
Tożsamość	brak (porównanie po wartości)	tożsamość `===`
Dziedziczenie	nie	tak
Pamięć	zwykle stos, bez ARC	sterta, zarządzane przez ARC

Jak to działa

Kompromisy

Kiedy użyć którego

Dlaczego to ważne

Powiązane pytania