値型と参照型 — 知識ノート

Swift の設計で最も影響が大きい区別。

swift

struct P { var x = 0 }
var a = P(); var b = a
b.x = 10
// a.x は 0 のまま

class C { var x = 0 }
let c = C(); let d = c
d.x = 10
// c.x も 10

なぜ値型を既定にするのか#

共有された可変状態が、バグの主要な源だから。

参照型では

値型はコピーされるので、 渡した先で変更されても自分は影響を受けない。局所的に考えられる。

大きな構造体を毎回コピーすると遅そうだが、標準ライブラリのコレクション（Array、Dictionary、String）は コピーオンライトを実装している。

代入時       … 参照を共有するだけ（O(1)）
書き込み時   … このとき初めて実体を複製する

参照カウントが 1 なら複製すら不要。 fork の CoW と同じ発想。

迷ったら struct というのが Swift の指針。