In Swift hebben waarde-types (struct, enum, tuple) zogenaamde value semantics: bij doorgeven of toewijzen aan een variabele wordt de gehele inhoud gekopieerd – er wordt een onafhankelijke instantie gemaakt. Dit helpt een aantal complicaties met shared state te vermijden, die kenmerkend zijn voor reference-types (class).
Echter, voor geheugenoptimalisatie gebruiken collecties (zoals Array, Dictionary, Set) de copy-on-write strategie: de kopie vindt alleen plaats wanneer een van de instanties wordt aangepast.
Voorbeeld:
var a = [1, 2, 3] var b = a b.append(4) print(a) // [1, 2, 3] print(b) // [1, 2, 3, 4]
Hier zal de array a niet veranderen — hoewel er aanvankelijk een gezamenlijke opslag was, maakt Swift een aparte kopie van de gegevens bij een wijziging van b.
Het is belangrijk om te onthouden: als een struct een reference-type bevat (zoals een class), dan is value semantics alleen van toepassing op de struct zelf en niet op de geneste referentieobjecten.
Zal de inhoud van de array veranderen als we deze doorgeven aan een functie en deze binnen die functie bewerken? Leg het verschil uit tussen het gedrag van struct en class.
Antwoord met voorbeeld:
func mutate(_ arr: inout [Int]) { arr.append(100) } var source = [1, 2] mutate(&source) print(source) // [1, 2, 100]
Als we het niet als inout doorgeven, zal de kopie automatisch plaatsvinden bij de eerste wijziging binnen de functie, en de oorspronkelijke array zal niet veranderen. Voor classes vindt er geen kopie plaats – het oorspronkelijke object zal altijd veranderen.
Verhaal
Ontwikkelaars plaatsten reference-objecten in een array van structs, in de veronderstelling dat wijzigingen via één struct andere instanties niet zouden beïnvloeden. In werkelijkheid veranderden de referentieobjecten op verschillende plaatsen onverwacht overal (shared state).
Verhaal
In een teamproject probeerden ze race conditions te voorkomen door collecties bij elk gebruik te kopiëren. Dit resulteerde in onvoorziene geheugenkosten en prestatieverlies bij het werken met grote arrays.
Verhaal
Een jonge ontwikkelaar probeerde wijzigingen in een array te volgen, waardoor deze deze doorgegeven inout aan verschillende handlerfuncties tegelijkertijd. De volgorde van aanpassingen werd onduidelijk, wat leidde tot thread-ongveilige wijzigingen, bugs en synchronisatieproblemen.