Catch Up with Swift 5.10

Transcript

1. ू·ΕSwift޷͖ʂSwiftѪ޷ձ vol.80 @ DeNA 2024/03/07 @DeNA Catch Up with Swift 5.10 ojun - DeNA Co., Ltd.
2. ࣗݾ঺հʢojunʣ • name: ojun • 2023೥৽ଔೖࣾ • iOSΤϯδχΞ @ojun_9
3. Catch Up with Swift 5.10
4. Ҿ༻
   IUUQTXXXTXJGUPSHCMPHTXJGUSFMFBTFE Swift 5.10 ͕ϦϦʔε͞Ε·ͨ͠ 🎉
5. Ҿ༻
   IUUQTXXXTXJGUPSHCMPHTXJGUSFMFBTFE Swift 5.10 ͕ϦϦʔε͞Ε·ͨ͠ 🎉
6. ࠓ೔࿩͢͜ͱ
7. Catch Up with Swift 5.10 SE-0327: On Actors and Initialization SE-0383: Deprecate @UIApplicationMain and @NSApplicationMain SE-0404: Allow Protocols to be Nested in Non-Generic Contexts SE-0411: Isolated Default Value Expressions SE-0412: Strict Concurrency for Global Variables
8. SE-0404: Allow Protocols to be Nested in Non-Generic Contexts
9. SE-0404: Allow Protocols to be Nested in Non-Generic Contexts Swift 5.10·Ͱ͸ɺඇδΣωϦοΫͳߏ଄ମɾΫϥεɾྻڍܕɾΞΫλʔ಺ʹ ଞͷಉྨͷܕΛωετ͢Δ͜ͱ͸Մೳͩͬͨ ҰํͰɺprotocol Λωετ͢Δ͜ͱ͸ෆՄೳͩͬͨ ͜ͷϓϩϙʔβϧʹΑΓɺωετ͞Εͨ protocol Λදݱ͢Δ͜ͱ͕Մೳͱͳͬͨ
10. Ϟνϕʔγϣϯ ଞͷܕͷதʹܕΛωετͰ͖Δͱ͍͏ݱࡏͷػೳʹΑΓɺʢ៉ྷͰࣗવͳʣܕͷ είʔϓΛදݱ͢Δ͜ͱ͕Մೳʹͳ͍ͬͯΔ ྫ͑͹ɺString.UTF8View ͸ String ͷதʹωετ͞Εͨ UTF8View ͱ͍͏ߏ଄ମͰ͋Δ ͜ͷ໊લ͔ΒɺUTF8View ͕ String ͷ UTF-8෦෼ʹΞΫηε͢Δ ΠϯλʔϑΣʔεͰ͋Δ͜ͱ͕໌֬ʹͳ͍ͬͯΔ ಉ༷ͷ͜ͱΛ protocol Ͱ΋ߦ͑ΔΑ͏ʹ͍ͨ͠
14. protocolΛఆٛ
15. protocolΛఆٛ protocolʹ४ڌͤͨ͞ struct Λఆٛ
16. protocolΛఆٛ protocolʹ४ڌͤͨ͞ struct Λఆٛ protocolʹ४ڌͤͨ͞ struct Λఆٛ
17. protocolΛఆٛ protocolʹ४ڌͤͨ͞ struct Λఆٛ protocolʹ४ڌͤͨ͞ struct Λఆٛ protocolʹ४ڌ͢ΔܕͷΠϯελϯεΛ ड͚औΓɺͦͷ execute ϝιουΛ ݺͼग़͢
18. protocolΛఆٛ protocolʹ४ڌͤͨ͞ struct Λఆٛ protocolʹ४ڌͤͨ͞ struct Λఆٛ ϝιουͷৄࡉ protocolʹ४ڌ͢ΔܕͷΠϯελϯεΛ ड͚औΓɺͦͷ execute ϝιουΛ ݺͼग़͢
19. ར༻ࣗମ͸ݶఆత ؔ਺಺͕ෳࡶʹͳΔ͜ͱΛݴޠ੍͕ݶ͢Δ ཧ༝΋ͳ͍ ↓ ࠨͷΑ͏ͳॻ͖ํ͕։์͞Ε͍ͯΔ
20. Swift 5.10 SE-0327: On Actors and Initialization SE-0383: Deprecate @UIApplicationMain and @NSApplicationMain SE-0404: Allow Protocols to be Nested in Non-Generic Contexts SE-0411: Isolated Default Value Expressions SE-0412: Strict Concurrency for Global Variables 􀇻
21. SE-0411: Isolated Default Value Expressions
23. count ͸ MainActor ʹִ཭͞Ε͍ͯΔ
24. count ͸ MainActor ʹִ཭͞Ε͍ͯΔ message ͸ SomeGlobalActor ʹִ཭͞Ε͍ͯΔ
25. count ͸ MainActor ʹִ཭͞Ε͍ͯΔ message ͸ SomeGlobalActor ʹִ཭͞Ε͍ͯΔ ॳظԽ͕ҟͳΔΞΫλʔʹΑͬͯߦΘΕΔͨΊ σʔλڝ߹ͷՄೳੑ͕͋Δ ͜Ε͸ɺҟͳΔΞΫλʔ͕ಉ࣌ʹҟͳΔεϨουͰ ࣮ߦ͞ΕΔͨΊɺ༧ظ͠ͳ͍λΠϛϯάͰ͜ΕΒͷ ϓϩύςΟ͕ॳظԽ͞ΕΔՄೳੑ͕͋ΔͨΊ
26. Stored PropertyͷσϑΥϧτ஋͸ɺͦͷϓϩύςΟ͕ ଐ͢Δ Actor ͱಉ͡෼཭Λ࣋ͭ΂͖ Swift 5.10͔Β͸nonisolated init͔ΒΞΫλʔ෼཭͞Εͨ ϓϩύςΟͷॳظԽΛߦ͏͜ͱ͸Ͱ͖ͳ͘ͳΓ σʔλڝ߹͕ഉআ͞ΕΔ
27. initΛasyncʹ͠ɺ͔ͭɺ಺෦Ͱ await ΩʔϫʔυΛ෇༩ͤ͞Δ ͜ͱͰॳظԽΛߦ͏͜ͱ͕ՄೳʹͳΔ
28. Swift 5.10 SE-0327: On Actors and Initialization SE-0383: Deprecate @UIApplicationMain and @NSApplicationMain SE-0404: Allow Protocols to be Nested in Non-Generic Contexts SE-0411: Isolated Default Value Expressions SE-0412: Strict Concurrency for Global Variables 􀇻 􀇻
29. SE-0412: Strict Concurrency for Global Variables
30. SE-0412: Strict Concurrency for Global Variables άϩʔόϧͳঢ়ଶɾม਺͸ɺϓϩάϥϜͷͲͷίϯςΩετ͔ΒͰ΋ΞΫηεͰ͖Δ ͷͰɺฒߦੑͷจ຺΍σʔλִ཭ͷνΣοΫʹ͓͍ͯ՝୊͕͋Δ ϩʔΧϧʹଘࡏ͢ΔΩϟϓνϟ͞Ε͍ͯͳ͍ม਺͸ϩʔΧϧͷίϯςΩετ͔ΒͷΈ ΞΫηεՄೳͰɺ͜ΕʹΑΓ҉໧తʹִ཭͞Ε͍ͯΔ ஋ܕɾࢀরܕͷϓϩύςΟ͸ִ཭͢Δ͜ͱ͕Մೳ ҰํͰɺάϩʔόϧม਺͸Ͳ͔͜ΒͰ΋ΞΫηεՄೳͳͷͰɺϩʔΧϧɾ஋ܕɾࢀরܕͱ ҟͳΓִ཭͢Δ͜ͱ͕೉͍͠
31. SE-0412: Strict Concurrency for Global Variables Swift 5.10ʢͷݫ֨ͳฒߦੑνΣοΫͷԼͰ͸ʣ͢΂ͯͷάϩʔόϧม਺Λ άϩʔόϧΞΫλʔʹִ཭͢Δ͔ɺҎԼͷ྆ํͰ͋Δ͜ͱ͕ཁٻ͞ΕΔ 1. ෆมͰ͋Δ͜ͱ 2. SendableͰ͋Δ͜ͱ τοϓϨϕϧͷάϩʔόϧม਺͸طʹ MainActor ʹ҉໧తʹִ཭͞Ε͍ͯΔ Ώ͑ʹ্هͷཁ݅Λࣗಈతʹຬͨ͢
32. SE-0412: Strict Concurrency for Global Variables Ұ෦ͷঢ়گͰ͸ɺಠࣗͷσʔλִ཭؅ཧʹґଘͰ͖ΔΑ͏ʹ੩తνΣοΫΛ ΦϓτΞ΢τ͢Δඞཁ͕͋Δ৔߹͕͋Δ ྫ: σʔλΞΫηεͷ௚ྻԽΛอূ͢Δಠࣗͷσʔλִ཭؅ཧʹཔΔඞཁ͕͋Δ৔߹ nonisolated(unsafe) Λɺάϩʔόϧม਺ʹ࢖༻͢Δ͜ͱͰΦϓτΞ΢τग़དྷΔ
33. SE-0412: Strict Concurrency for Global Variables Ұ෦ͷঢ়گͰ͸ɺಠࣗͷσʔλִ཭؅ཧʹґଘͰ͖ΔΑ͏ʹ੩తνΣοΫΛ ΦϓτΞ΢τ͢Δඞཁ͕͋Δ৔߹͕͋Δ ྫ: σʔλΞΫηεΛγϦΞϥΠζ͢ΔάϩʔόϧϩοΫͱؔ࿈෇͚ΒΕ͍ͯΔ৔߹ͳͲ nonisolated(unsafe) Λɺάϩʔόϧม਺ʹ࢖༻͢Δ͜ͱͰΦϓτΞ΢τग़དྷΔ
34. SE-0412: Strict Concurrency for Global Variables Ұ෦ͷঢ়گͰ͸ɺಠࣗͷσʔλִ཭؅ཧʹґଘͰ͖ΔΑ͏ʹ੩తνΣοΫΛ ΦϓτΞ΢τ͢Δඞཁ͕͋Δ৔߹͕͋Δ ྫ: σʔλΞΫηεΛγϦΞϥΠζ͢ΔάϩʔόϧϩοΫͱؔ࿈෇͚ΒΕ͍ͯΔ৔߹ͳͲ nonisolated(unsafe) Λɺάϩʔόϧม਺ʹ࢖༻͢Δ͜ͱͰΦϓτΞ΢τग़དྷΔ ͜ΕʹΑΓɺάϩʔόϧม਺ͷσʔλִ཭ͷ੩తνΣοΫ͸ແޮʹͳΔ ͨͩ͠ɺ͜ͷଐੑΛ࢖༻͢Δ৔߹͸σʔλ΁ͷΞΫηεΛ؅ཧ͢ΔͨΊͷಉظϝΧχζϜ ʢϩοΫ΍ηϚϑΥͳͲʣΛࣗ෼ୡͰ࣮૷͢Δඞཁ͕͋Δ
35. Swift 5.10 SE-0327: On Actors and Initialization SE-0383: Deprecate @UIApplicationMain and @NSApplicationMain SE-0404: Allow Protocols to be Nested in Non-Generic Contexts SE-0411: Isolated Default Value Expressions SE-0412: Strict Concurrency for Global Variables 􀇻 􀇻 􀇻
36. SE-0383: Deprecate @UIApplicationMain and @NSApplicationMain
37. SE-0383: Deprecate @UIApplicationMain and @NSApplicationMain @UIApplicationMain ͱ @NSApplicationMain͕ඇਪ঑ʹ @mainΛ࢖͓͏ʂ
38. Swift 5.10 SE-0327: On Actors and Initialization SE-0383: Deprecate @UIApplicationMain and @NSApplicationMain SE-0404: Allow Protocols to be Nested in Non-Generic Contexts SE-0411: Isolated Default Value Expressions SE-0412: Strict Concurrency for Global Variables 􀇻 􀇻 􀇻 􀇻
39. SE-0327: On Actors and Initialization
40. SE-0327: On Actors and Initialization 1. Non-asyncͳ init ͸ self Λ࢖ͬͯͰ͖Δ͜ͱ͕ݫ੍͘͠ݶ͞Ε͍ͯΔ 2. Actor ͷ deinit ͰσʔλϨʔε͕ൃੜ͢ΔՄೳੑ͕͋Δ 3. init ͷதͰʹৗʹ Global Actor ͷִ཭Λอ࣋͢Δ͜ͱ͕ Ͱ͖ͳ͍৔߹͕͋Δ 4. Actor ͕ܧঝΛαϙʔτ͍ͯ͠ͳ͍ʹ΋͔͔ΘΒͣ init ͷҕৡʹ͸Ϋϥεͱಉ༷ʹconvenienceΩʔϫʔυ͕ඞཁͳ͜ͱ ݱঢ়ͷ໰୊఺
41. SE-0327: On Actors and Initialization 1. Non-asyncͳ init ͸ self Λ࢖ͬͯͰ͖Δ͜ͱ͕ݫ੍͘͠ݶ͞Ε͍ͯΔ 2. Actor ͷ deinit ͰσʔλϨʔε͕ൃੜ͢ΔՄೳੑ͕͋Δ 3. init ͷதͰʹৗʹ Global Actor ͷִ཭Λอ࣋͢Δ͜ͱ͕ Ͱ͖ͳ͍৔߹͕͋Δ 4. Actor ͕ܧঝΛαϙʔτ͍ͯ͠ͳ͍ʹ΋͔͔ΘΒͣ init ͷҕৡʹ͸Ϋϥεͱಉ༷ʹconvenienceΩʔϫʔυ͕ඞཁͳ͜ͱ ݱঢ়ͷ໰୊఺
45. Actor ͸ Serial Executor ͱ͍͏ΩϡʔΛ͍࣋ͬͯΔ
46. Actor ͸ Serial Executor ͱ͍͏ΩϡʔΛ͍࣋ͬͯΔ Actor ͸ϓϩύςΟ΁ͷΞΫηεΛ؅ཧ͢ΔͨΊʹ Executor Λ࢖༻͍ͯ͠Δ → ϩοΫͷΑ͏ͳ໾ׂΛՌͨ͢
47. Actor ͸ Serial Executor ͱ͍͏ΩϡʔΛ͍࣋ͬͯΔ Actor ͸ϓϩύςΟ΁ͷΞΫηεΛ؅ཧ͢ΔͨΊʹ Executor Λ࢖༻͍ͯ͠Δ → ϩοΫͷΑ͏ͳ໾ׂΛՌͨ͢ λεΫ͕ Actor ͷ Executor ্Ͱ࣮ߦ͞Ε͍ͯΔ৔߹ʹͷΈ ͦͷ Actor ͷִ཭͞Εͨঢ়ଶʹΞΫηεͰ͖Δ
48. Actor ͸ Serial Executor ͱ͍͏ΩϡʔΛ͍࣋ͬͯΔ Actor ͸ϓϩύςΟ΁ͷΞΫηεΛ؅ཧ͢ΔͨΊʹ Executor Λ࢖༻͍ͯ͠Δ → ϩοΫͷΑ͏ͳ໾ׂΛՌͨ͢ λεΫ͕ Actor ͷ Executor ্Ͱ࣮ߦ͞Ε͍ͯΔ৔߹ʹͷΈ ͦͷ Actor ͷִ཭͞Εͨঢ়ଶʹΞΫηεͰ͖Δ Actor ͷ Executor ΁ͷΞΫηεΛಘΔϓϩηε͸ λεΫ͔ΒͷΈʮඇಉظతʯʹߦΘΕΔ
49. Actor ͸ Serial Executor ͱ͍͏ΩϡʔΛ͍࣋ͬͯΔ Actor ͸ϓϩύςΟ΁ͷΞΫηεΛ؅ཧ͢ΔͨΊʹ Executor Λ࢖༻͍ͯ͠Δ → ϩοΫͷΑ͏ͳ໾ׂΛՌͨ͢ λεΫ͕ Actor ͷ Executor ্Ͱ࣮ߦ͞Ε͍ͯΔ৔߹ʹͷΈ ͦͷ Actor ͷִ཭͞Εͨঢ়ଶʹΞΫηεͰ͖Δ Actor ͷ Executor ΁ͷΞΫηεΛಘΔϓϩηε͸ λεΫ͔ΒͷΈʮඇಉظతʯʹߦΘΕΔ ↓ Actor ͷ֎෦͔Β Actor ͷඇಉظϝιουΛݺͼग़͢ࡍʹ͸ ՄೳͳதஅΛࣔ͢ҝʹ await ͕ඞཁʹͳΔ
50. "hopping" onto the executor Actor ͸ Serial Executor ͱ͍͏ΩϡʔΛ͍࣋ͬͯΔ Actor ͸ϓϩύςΟ΁ͷΞΫηεΛ؅ཧ͢ΔͨΊʹ Executor Λ࢖༻͍ͯ͠Δ → ϩοΫͷΑ͏ͳ໾ׂΛՌͨ͢ λεΫ͕ Actor ͷ Executor ্Ͱ࣮ߦ͞Ε͍ͯΔ৔߹ʹͷΈ ͦͷ Actor ͷִ཭͞Εͨঢ়ଶʹΞΫηεͰ͖Δ Actor ͷ Executor ΁ͷΞΫηεΛಘΔϓϩηε͸ λεΫ͔ΒͷΈʮඇಉظతʯʹߦΘΕΔ ↓ Actor ͷ֎෦͔Β Actor ͷඇಉظϝιουΛݺͼग़͢ࡍʹ͸ ՄೳͳதஅΛࣔ͢ҝʹ await ͕ඞཁʹͳΔ → ͜ͷϓϩϙʔβϧͰ͸্هͷϓϩηεͷ͜ͱΛ ʮ ExecutorͷϗοϐϯάʯͱݺΜͰΔ
51. Actor ͸ Serial Executor ͱ͍͏ΩϡʔΛ͍࣋ͬͯΔ Actor ͸ϓϩύςΟ΁ͷΞΫηεΛ؅ཧ͢ΔͨΊʹ Executor Λ࢖༻͍ͯ͠Δ → ϩοΫͷΑ͏ͳ໾ׂΛՌͨ͢ λεΫ͕ Actor ͷ Executor ্Ͱ࣮ߦ͞Ε͍ͯΔ৔߹ʹͷΈ ͦͷ Actor ͷִ཭͞Εͨঢ়ଶʹΞΫηεͰ͖Δ Actor ͷ Executor ΁ͷΞΫηεΛಘΔϓϩηε͸ λεΫ͔ΒͷΈʮඇಉظతʯʹߦΘΕΔ ↓ ٯʹݴ͏ͱɺεϨουΛϒϩοΫͯ͠ΞΫηεΛ଴ͭ͜ͱ͸ Swift Concurrencyͷݪଇʹ൓͢Δ
53. init ͸Non-async
54. init ͸Non-async Ώ͑ʹ͜ͷதͰʢ௚઀తʹʣ͸ Executorʹϗοϐϯά͢Δ ͜ͱ͕Ͱ͖ͳ͍
56. ্ͷ෦෼Ͱ΋ increment() ͕ݺ͹Ε͍ͯΔͷͰ ڝ߹Λى͜͢Մೳੑ͕͋Δ
57. ্ͷ෦෼Ͱ΋ increment() ͕ݺ͹Ε͍ͯΔͷͰ ڝ߹Λى͜͢Մೳੑ͕͋Δ ͜ΕΛ๷͙ͨΊʹɺSwift 5.5Ͱ͸Non-Acyncͳ init ಺ʹ͓͚Δ self ͷར༻ʹ੍ݶ͕ઃ͚ΒΕͨ
59. ্ͷ෦෼Ͱ΋ increment() ͕ݺ͹Ε͍ͯΔͷͰ ڝ߹Λى͜͢Մೳੑ͕͋Δ ͜ΕΛ๷͙ͨΊʹɺSwift 5.5Ͱ͸Non-Acyncͳ init ಺ʹ͓͚Δ self ͷར༻ʹ੍ݶ͕ઃ͚ΒΕͨ
60. ্ͷ෦෼Ͱ΋ increment() ͕ݺ͹Ε͍ͯΔͷͰ ڝ߹Λى͜͢Մೳੑ͕͋Δ ͜ΕΛ๷͙ͨΊʹɺSwift 5.5Ͱ͸Non-Acyncͳ init ಺ʹ͓͚Δ self ͷར༻ʹ੍ݶ͕ઃ͚ΒΕͨ ↓ [՝୊] ͜ͷ੍ݶ͕ݫ͍͠
62. ڝ߹ͷϦεΫ͕ͳ͍৔߹ʹ΋੍ݶ͕͔͔Γ warning͕ൃੜ͢Δ
63. [ิ଍] nonisolated ΩʔϫʔυΛ෇༩͢Δͱ warning͸ൃੜ͠ͳ͍
64. SE-0327: On Actors and Initialization 1. Non-asyncͳ init ͸ self Λ࢖ͬͯͰ͖Δ͜ͱ͕ݫ੍͘͠ݶ͞Ε͍ͯΔ 2. Actor ͷ deinit ͰσʔλϨʔε͕ൃੜ͢ΔՄೳੑ͕͋Δ 3. init ͷதͰʹৗʹ Global Actor ͷִ཭Λอ࣋͢Δ͜ͱ͕ Ͱ͖ͳ͍৔߹͕͋Δ 4. Actor ͕ܧঝΛαϙʔτ͍ͯ͠ͳ͍ʹ΋͔͔ΘΒͣ init ͷҕৡʹ͸Ϋϥεͱಉ༷ʹconvenienceΩʔϫʔυ͕ඞཁͳ͜ͱ ݱঢ়ͷ໰୊఺
65. SE-0327: On Actors and Initialization 1. Non-asyncͳ init ͸ self Λ࢖ͬͯͰ͖Δ͜ͱ͕ݫ੍͘͠ݶ͞Ε͍ͯΔ 2. Actor ͷ deinit ͰσʔλϨʔε͕ൃੜ͢ΔՄೳੑ͕͋Δ 3. init ͷதͰʹৗʹ Global Actor ͷִ཭Λอ࣋͢Δ͜ͱ͕ Ͱ͖ͳ͍৔߹͕͋Δ 4. Actor ͕ܧঝΛαϙʔτ͍ͯ͠ͳ͍ʹ΋͔͔ΘΒͣ init ͷҕৡʹ͸Ϋϥεͱಉ༷ʹconvenienceΩʔϫʔυ͕ඞཁͳ͜ͱ ݱঢ়ͷ໰୊఺
67. init Ͱ͸ self ͷ੍ݶ͕ଘࡏͨ͠ ͔͠͠deinit಺ʹ͸ͦͷ੍ݶ͸ଘࡏ͠ͳ͍
68. deinit ಺Ͱ΋ init ͱಉ༷ʹσʔλϨʔε͕ ൃੜ͢ΔՄೳੑ͕͋Δ
69. deinit ಺Ͱ΋ init ͱಉ༷ʹσʔλϨʔε͕ ൃੜ͢ΔՄೳੑ͕͋Δ ͞Βʹɺ͜ͷඇಉظλεΫʹΑͬͯselfͷण໋Λ ʢdeinit ͷऴྃޙΛ௒͑ͯʣԆ͹ͯ͠ ͠·͏Մೳੑ͕͋Δ
70. deinit ಺Ͱ΋ init ͱಉ༷ʹσʔλϨʔε͕ ൃੜ͢ΔՄೳੑ͕͋Δ ͞Βʹɺ͜ͷඇಉظλεΫʹΑͬͯselfͷण໋Λ ʢdeinit ͷऴྃޙΛ௒͑ͯʣԆ͹ͯ͠ ͠·͏Մೳੑ͕͋Δ Object 0x6000025a4200 of class Counter deallocated with non-zero retain count 2. This object's deinit, or something called from it, may have created a strong reference to self which outlived deinit, resulting in a dangling reference. ࣮ߦ͢ΔͱΫϥογϡ͢Δ
71. SwiftͰ͸ΦϒδΣΫτͷࢀরΧ΢ϯτ͕ 0 ʹͳΔͱ deinit ͕ݺͼग़͞ΕΔ Ϋϥογϡʹؔͯ͠ิ଍
72. SwiftͰ͸ΦϒδΣΫτͷࢀরΧ΢ϯτ͕ 0 ʹͳΔͱ deinit ͕ݺͼग़͞ΕΔ deinit ͷ࣮ߦޙʹΦϒδΣΫτͷࢀরΧ΢ϯτ͕ ࠶౓ 1 ʹ૿͑Δ͜ͱ͸ະఆٛͷৼΔ෣͍Ͱ͋Δ Ϋϥογϡʹؔͯ͠ิ଍
73. SwiftͰ͸ΦϒδΣΫτͷࢀরΧ΢ϯτ͕ 0 ʹͳΔͱ deinit ͕ݺͼग़͞ΕΔ deinit ͷ࣮ߦޙʹΦϒδΣΫτͷࢀরΧ΢ϯτ͕ ࠶౓ 1 ʹ૿͑Δ͜ͱ͸ະఆٛͷৼΔ෣͍Ͱ͋Δ Ώ͑ʹࢀরΧ΢ϯτ͕2౓໨ʹ0ʹͳΔͱ ϥϯμϜͳΫϥογϡ͕ൃੜ͢ΔݪҼͱͳΔ Ϋϥογϡʹؔͯ͠ิ଍
74. SwiftͰ͸ΦϒδΣΫτͷࢀরΧ΢ϯτ͕ 0 ʹͳΔͱ deinit ͕ݺͼग़͞ΕΔ deinit ͷ࣮ߦޙʹΦϒδΣΫτͷࢀরΧ΢ϯτ͕ ࠶౓ 1 ʹ૿͑Δ͜ͱ͸ະఆٛͷৼΔ෣͍Ͱ͋Δ Ώ͑ʹࢀরΧ΢ϯτ͕2౓໨ʹ0ʹͳΔͱ ϥϯμϜͳΫϥογϡ͕ൃੜ͢ΔݪҼͱͳΔ ·ͨɺࢀরܕͷ deinit ʹ͓͚Δण໋Ԇ௕ͷ ໰୊͸Ұൠతͳ໰୊ʢclass΋ؚΊͯʣ Ϋϥογϡʹؔͯ͠ิ଍
75. SwiftͰ͸ΦϒδΣΫτͷࢀরΧ΢ϯτ͕ 0 ʹͳΔͱ deinit ͕ݺͼग़͞ΕΔ deinit ͷ࣮ߦޙʹΦϒδΣΫτͷࢀরΧ΢ϯτ͕ ࠶౓ 1 ʹ૿͑Δ͜ͱ͸ະఆٛͷৼΔ෣͍Ͱ͋Δ Ώ͑ʹࢀরΧ΢ϯτ͕2౓໨ʹ0ʹͳΔͱ ϥϯμϜͳΫϥογϡ͕ൃੜ͢ΔݪҼͱͳΔ ·ͨɺࢀরܕͷ deinit ʹ͓͚Δण໋Ԇ௕ͷ ໰୊͸Ұൠతͳ໰୊ʢclass΋ؚΊͯʣ ↓ কདྷͷผͷϓϩϙʔβϧͰղܾࡦΛݕ౼͢Δ ͜ͱʹͳΔ Ϋϥογϡʹؔͯ͠ิ଍
76. SE-0327: On Actors and Initialization 1. Non-asyncͳ init ͸ self Λ࢖ͬͯͰ͖Δ͜ͱ͕ݫ੍͘͠ݶ͞Ε͍ͯΔ 2. Actor ͷ deinit ͰσʔλϨʔε͕ൃੜ͢ΔՄೳੑ͕͋Δ 3. init ͷதͰʹৗʹ Global Actor ͷִ཭Λอ࣋͢Δ͜ͱ͕ Ͱ͖ͳ͍৔߹͕͋Δ 4. Actor ͕ܧঝΛαϙʔτ͍ͯ͠ͳ͍ʹ΋͔͔ΘΒͣ init ͷҕৡʹ͸Ϋϥεͱಉ༷ʹconvenienceΩʔϫʔυ͕ඞཁͳ͜ͱ ݱঢ়ͷ໰୊఺
77. SE-0327: On Actors and Initialization 1. Non-asyncͳ init ͸ self Λ࢖ͬͯͰ͖Δ͜ͱ͕ݫ੍͘͠ݶ͞Ε͍ͯΔ 2. Actor ͷ deinit ͰσʔλϨʔε͕ൃੜ͢ΔՄೳੑ͕͋Δ 3. init ͷதͰʹৗʹ Global Actor ͷִ཭Λอ࣋͢Δ͜ͱ͕ Ͱ͖ͳ͍৔߹͕͋Δ 4. Actor ͕ܧঝΛαϙʔτ͍ͯ͠ͳ͍ʹ΋͔͔ΘΒͣ init ͷҕৡʹ͸Ϋϥεͱಉ༷ʹconvenienceΩʔϫʔυ͕ඞཁͳ͜ͱ ݱঢ়ͷ໰୊఺
79. count ͸ MainActor ʹִ཭͞Ε͍ͯΔ
80. count ͸ MainActor ʹִ཭͞Ε͍ͯΔ message ͸ SomeGlobalActor ʹִ཭͞Ε͍ͯΔ
81. count ͸ MainActor ʹִ཭͞Ε͍ͯΔ message ͸ SomeGlobalActor ʹִ཭͞Ε͍ͯΔ Initʹରͯ͠ͲͷΞΫλʔִ཭Λࢦఆ͢Ε͹Α͍ͷ͔͕ ໰୊ʹͳΔɻ count ͱ message ͕ҟͳΔάϩʔόϧΞΫλʔʹ ִ཭͞Ε͍ͯΔΏ͑ʹ1ͭͷΞΫλʔִ཭Λࢦఆ͢Δ͜ͱ͕ ෆՄೳͰ͋Δ
82. SE-0327: On Actors and Initialization 1. Non-asyncͳ init ͸ self Λ࢖ͬͯͰ͖Δ͜ͱ͕ݫ੍͘͠ݶ͞Ε͍ͯΔ 2. Actor ͷ deinit ͰσʔλϨʔε͕ൃੜ͢ΔՄೳੑ͕͋Δ 3. init ͷதͰʹৗʹ Global Actor ͷִ཭Λอ࣋͢Δ͜ͱ͕ Ͱ͖ͳ͍৔߹͕͋Δ 4. Actor ͕ܧঝΛαϙʔτ͍ͯ͠ͳ͍ʹ΋͔͔ΘΒͣ init ͷҕৡʹ͸Ϋϥεͱಉ༷ʹconvenienceΩʔϫʔυ͕ඞཁͳ͜ͱ ݱঢ়ͷ໰୊఺
83. SE-0327: On Actors and Initialization 1. Non-asyncͳ init ͸ self Λ࢖ͬͯͰ͖Δ͜ͱ͕ݫ੍͘͠ݶ͞Ε͍ͯΔ 2. Actor ͷ deinit ͰσʔλϨʔε͕ൃੜ͢ΔՄೳੑ͕͋Δ 3. init ͷதͰʹৗʹ Global Actor ͷִ཭Λอ࣋͢Δ͜ͱ͕ Ͱ͖ͳ͍৔߹͕͋Δ 4. Actor ͕ܧঝΛαϙʔτ͍ͯ͠ͳ͍ʹ΋͔͔ΘΒͣ init ͷҕৡʹ͸Ϋϥεͱಉ༷ʹconvenienceΩʔϫʔυ͕ඞཁͳ͜ͱ ݱঢ়ͷ໰୊఺
84. Swiftͷશͯͷϊϛφϧ (nominal) ܕʢΫϥεɺߏ଄ମɺྻڍܕʣ͸ ΠχγϟϥΠβͷҕৡΛαϙʔτ͍ͯ͠·Δ ͜Ε͸ɺ͋ΔΠχγϟϥΠβ͕ผͷΠχγϟϥΠβΛݺͼग़ͯ͠ ࢒ΓͷॳظԽΛߦ͏͜ͱΛҙຯ͢Δ Initializer Delegation
87. ΠχγϟϥΠβͷҕৡ͕ߦΘΕ͍ͯΔ ͨͩ͠ struct ͷ৔߹͸ɺinitΛҕৡ͢Δ৔߹ʹ͸ ͢΂ͯͷέʔεͰ self ͷ୅ೖ͔ self.init ͷ ݺͼग़͕͠ඞཁ
88. ΠχγϟϥΠβͷҕৡ͕ߦΘΕ͍ͯΔ ͨͩ͠ struct ͷ৔߹͸ɺinitΛҕৡ͢Δ৔߹ʹ͸ ͢΂ͯͷέʔεͰ self ͷ୅ೖ͔ self.init ͷ ݺͼग़͕͠ඞཁ
89. ΠχγϟϥΠβͷҕৡ͕ߦΘΕ͍ͯΔ ͨͩ͠ struct ͷ৔߹͸ɺinitΛҕৡ͢Δ৔߹ʹ͸ ͢΂ͯͷέʔεͰ self ͷ୅ೖ͔ self.init ͷ ݺͼग़͕͠ඞཁ Τϥʔ͕ൃੜ͢Δ
90. ΠχγϟϥΠβͷҕৡ͕ߦΘΕ͍ͯΔ class ͷ৔߹͸ܧঝͷؔ܎Ͱɺҕৡ͢Δ ΠχγϟϥΠβΛ۠ผ͢Δ໨తͰ comvinience Ωʔϫʔυ͕ඞཁʹͳΔ
91. actor ͷ৔߹͸ܧঝ͕ଘࡏ͠ͳ͍ ʹ΋͔͔ΘΒͣ Swift 5.5 ͷ؀ڥͰ͸ ΠχγϟϥΠβʔͷҠৡʹ͓͍ͯ convenience ΩʔϫʔυΛ࢖༻͢Δ͜ͱ͕ཁٻ͞Ε͍ͯͨ
92. actor ͷ৔߹͸ܧঝ͕ଘࡏ͠ͳ͍ ʹ΋͔͔ΘΒͣ Swift 5.5 ͷ؀ڥͰ͸ ΠχγϟϥΠβʔͷҠৡʹ͓͍ͯ convenience ΩʔϫʔυΛ࢖༻͢Δ͜ͱ͕ཁٻ͞Ε͍ͯͨ ↓ Swift 5.9.1 ͷ؀ڥͩͱ convenience Ωʔϫʔυ Λ෇༩͢Δͱ warning ͕ग़ΔΑ͏ʹͳ͍ͬͯͨ ↓ ղܾࡁΈͩͱࢥΘΕΔ
93. SE-0327: On Actors and Initialization 1. Non-asyncͳ init ͸ self Λ࢖ͬͯͰ͖Δ͜ͱ͕ݫ੍͘͠ݶ͞Ε͍ͯΔ 2. Actor ͷ deinit ͰσʔλϨʔε͕ൃੜ͢ΔՄೳੑ͕͋Δ 3. init ͷதͰʹৗʹ Global Actor ͷִ཭Λอ࣋͢Δ͜ͱ͕ Ͱ͖ͳ͍৔߹͕͋Δ 4. Actor ͕ܧঝΛαϙʔτ͍ͯ͠ͳ͍ʹ΋͔͔ΘΒͣ init ͷҕৡʹ͸Ϋϥεͱಉ༷ʹconvenienceΩʔϫʔυ͕ඞཁͳ͜ͱ ݱঢ়ͷ໰୊఺
94. Swift 5.10 SE-0327: On Actors and Initialization SE-0383: Deprecate @UIApplicationMain and @NSApplicationMain SE-0404: Allow Protocols to be Nested in Non-Generic Contexts SE-0411: Isolated Default Value Expressions SE-0412: Strict Concurrency for Global Variables 􀇻 􀇻 􀇻 􀇻 􀇻
95. ͋Γ͕ͱ͏͍͟͝·ͨ͠ʂ
96. ࢀߟҾ༻จݙ https://github.com/apple/swift-evolution/blob/main/proposals/0327-actor-initializers.md https://github.com/apple/swift-evolution/blob/main/proposals/0383-deprecate- uiapplicationmain-and-nsapplicationmain.md https://github.com/apple/swift-evolution/blob/main/proposals/0404-nested- protocols.md https://github.com/apple/swift-evolution/blob/main/proposals/0411-isolated-default- values.md https://github.com/apple/swift-evolution/blob/main/proposals/0412-strict-concurrency- for-global-variables.md https://zenn.dev/koher/articles/swift-concurrency-cheatsheet