Swiftのstructとイミュータビリティ

Transcript

1. Swi$ͷ struct ͱ ΠϛϡʔλϏϦςΟ @koher
2. ࣗݾ঺հ • @koher • ΤϯδχΞʢQonceptʣ • ΧϯϑΝϨϯεొஃ • try! Swi0 Tokyo: 2016 • iOSDC Japan: 2017, 2018, 2019, 2020, 2021, 2022, 2024 • Swi0 Zoomin' ओ࠵ • Heart of Swi0 ࣥච
3. ࣭໰ struct Foo { var value: Int } ͜ͷ struct ͸ϛϡʔλϒϧͰ͔͢ʁΠϛϡʔλϒϧͰ͔͢ʁ
4. struct ͸ϛϡʔλϒϧͰ΋ ຊ࣭తʹ͸ΠϛϡʔλϒϧΫϥεͱಉ͡
5. var ϓϩύςΟΛ࣋ͭ struct struct Foo { var value: Int }
6. var ϓϩύςΟΛ࣋ͭ struct struct Foo { var value: Int } extension Foo { mutating func increment() { value += 1 } }
7. var ϓϩύςΟΛ࣋ͭ struct var foo: Foo = .init(value: 0) foo.increment() print(foo.value) // 1
8. let ϓϩύςΟΛ࣋ͭ struct struct Foo { let value: Int }
9. let ϓϩύςΟΛ࣋ͭ struct struct Foo { let value: Int } extension Foo { mutating func increment() { value += 1 // ⛔ ίϯύΠϧΤϥʔ } }
10. let ϓϩύςΟΛ࣋ͭ struct struct Foo { let value: Int } extension Foo { mutating func increment() { self = Foo(value: value + 1) // ͜ΕͳΒOK } }
11. ϝιουͱ͸ // ϝιουͷ৔߹ extension Foo { // ҉໧ͷୈ1Ҿ਺ self Λ࣋ͭ func bar() -> Int { self.value * self.value } }
12. ϝιουͱ͸ // ϝιουͷ৔߹ extension Foo { // ҉໧ͷୈ1Ҿ਺ self Λ࣋ͭ func bar() -> Int { self.value * self.value } } let foo: Foo = .init(value: 3) print(foo.bar()) // 9
13. ϝιουͱ͸ // ؔ਺ͷ৔߹ // ໌ࣔతୈ1Ҿ਺ self Λ࣋ͭ func bar(_ self: Foo) -> Int { self.value * self.value } let foo: Foo = .init(value: 3) print(bar(foo)) // 9
14. mutating ͱ͸ struct Foo { var value: Int } extension Foo { mutating func increment() { self.value += 1 // ✅ } }
15. mutating ͱ͸ struct Foo { var value: Int } extension Foo { func increment() { self.value += 1 // ⛔ } }
16. mutating ͱ͸ struct Foo { var value: Int } func increment(_ self: Foo) { self.value += 1 // ⛔ }
17. mutating ͱ͸ struct Foo { var value: Int } func increment(_ self: inout Foo) { self.value += 1 // ✅ }
18. mutating ͱ͸ struct Foo { var value: Int } extension Foo { mutating func increment() { self.value += 1 // ✅ } }
19. let ϓϩύςΟΛ࣋ͭ struct struct Foo { let value: Int } extension Foo { mutating func increment() { self = Foo(value: self.value + 1) // } }
20. let ϓϩύςΟΛ࣋ͭ struct struct Foo { let value: Int } func increment(_ self: inout Foo) { self = Foo(value: self.value + 1) // }
21. let ϓϩύςΟΛ࣋ͭ struct struct Foo { let value: Int } extension Foo { mutating func increment() { self = Foo(value: self.value + 1) // } }
22. let ϓϩύςΟΛ࣋ͭ struct var foo: Foo = .init(value: 0) foo.increment() // ✅ Foo.value ͕ let Ͱ΋ OK print(foo.value) // 1
23. ϓϩύςΟͷએݴ͕ var ͔ let ͔͸ struct ͷϛϡʔλϏϦςΟΛܾΊͳ͍
24. ม਺ʢఆ਺ʣએݴͷ var / let ͕ struct ͷϛϡʔλϏϦςΟΛܾΊΔ
25. ม਺ʢఆ਺ʣએݴͱϛϡʔλϏϦςΟ var foo: Foo = .init(value: 0) foo.increment() // ✅ print(foo.value)
26. ม਺ʢఆ਺ʣએݴͱϛϡʔλϏϦςΟ let foo: Foo = .init(value: 0) foo.increment() // ⛔ print(foo.value)
27. ஋ܕͷϛϡʔλϏϦςΟΛ ࢀরܕͱಉ͡Α͏ʹߟ͑ͯ͸͍͚ͳ͍
28. ஋ܕͷΠϯελϯε͸ ม਺ͷͨΊʹ֬อ͞ΕͨϝϞϦྖҬͱҰମ
29. ΠϛϡʔλϒϧΫϥε final class Foo { let value: Int }
30. ΠϛϡʔλϒϧΫϥε final class Foo { let value: Int } extension Foo { // ⛔ ࢒೦ͳ͕Β͜Ε͸Swiftͷߏจͷ໰୊ͰͰ͖ͳ͍ mutating func increment() { self = Foo(value: self.value + 1) } }
31. ΠϛϡʔλϒϧΫϥε final class Foo { let value: Int } // ✅ ͜ΕͳΒOK func increment(_ self: inout Foo) { self = Foo(value: self.value + 1) }
32. ΠϛϡʔλϒϧΫϥε var foo: Foo = .init(value: 0) increment(&foo) // ✅ ͜ΕͳΒ foo ΛมߋՄ print(foo.value) // 1
33. struct ͱΠϛϡʔλϒϧΫϥε͸ ຊ࣭తʹಉ͜͡ͱ͕Ͱ͖Δ
34. ΠϛϡʔλϒϧΫϥε͸Πϯελϯεͷ ϝϞϦྖҬΛมߋͰ͖ͳ͍
35. ࢀরܕͰ͸ͳ͘஋ܕͷ ʢม਺ଆͷʣϛϡʔλϏϦςΟͰߟ͑Ε͹ ΠϛϡʔλϒϧΫϥε͸ struct ͱಉ͡
36. ϛϡʔλϒϧΫϥε final class Foo { var value: Int }
37. ϛϡʔλϒϧΫϥε final class Foo { var value: Int } extension Foo { func increment() { value += 1 } }
38. ϛϡʔλϒϧΫϥε let foo: Foo = .init(value: 0) foo.increment() print(foo.value) // 1
39. ϛϡʔλϒϧΫϥε let foo: Foo = .init(value: 0) foo.increment() print(foo.value) // 1
40. ϛϡʔλϒϧΫϥε let foo: Foo = .init(value: 0) let foo2 = foo foo.increment() print(foo.value) // 1
41. ϛϡʔλϒϧΫϥε let foo: Foo = .init(value: 0) let foo2 = foo foo.increment() print(foo.value) // 1 print(foo2.value) // 1
42. struct var foo: Foo = .init(value: 0) var foo2 = foo foo.increment() print(foo.value) // 1 print(foo2.value) // 0
43. ΠϛϡʔλϒϧΫϥε var foo: Foo = .init(value: 0) var foo2 = foo increment(&foo) print(foo.value) // 1 print(foo2.value) // 0
44. struct ͱΠϛϡʔλϒϧΫϥε͸ shared mutable stateΛ࣋ͨͳ͍
45. Sendable ४ڌ final class User: Sendable { // var name: String } final class User: Sendable { // let name: String } struct User: Sendable { // ✅ var name: String }
46. struct Λ࢖͑͹ϛϡʔλϒϧͰ΋ ΠϛϡʔλϒϧΫϥεಉ༷ͷརӹΛڗडՄೳ
47. ·ͱΊ • struct ͸ຊ࣭తʹΠϛϡʔλϒϧΫϥεͱಉ͡ • struct Λ࢖͑͹ϛϡʔλϒϧͰ΋ΠϛϡʔλϒϧΫϥεͱಉ ͡རӹΛڗडͰ͖Δ