配列と所有権

Transcript

1. ojun ഑ྻͱॴ༗ݖ
2. ࣗݾ঺հ
3. ࣗݾ঺հ • name: ojun • 2023೥৽ଔೖࣾ • iOSΤϯδχΞ
4. ࠓ೔ൃද͢Δ͜ͱ
5. ࠓ೔ൃද͢Δ͜ͱ • Swift Collections ʹ͍ͭͯ • ͦ΋ͦ΋ͷ Array ͷ࢓૊Έʹ͍ͭͯ • Copy on Write ͷಈ͖ʹ͍ͭͯͳͲ • Array ͷ՝୊͔Βͷ UniqueArray ͱ RigidArray ͷొ৔ʹ͍ͭͯ
6. ࣮ݧ؀ڥ
7. ࣮ݧ؀ڥ • Apple Swift version 6.2 • swiftlang-6.2.0.19.9 • clang-1700.3.19 • swift-driver version: 1.127.14.1 • Target: arm64-apple-macosx26.0 • Xcode 26.0 (17A324) • Swift Collections: 1.3.0
8. Swift Collections ʹ͍ͭͯ
9. Swift Collections ʹ͍ͭͯ • Swift Collections ͸ Swift Ͱར༻Մೳͳσʔλߏ଄ͷ֦ுʹॏ఺Λஔ͍ͨOSS • Swift ඪ४ϥΠϒϥϦͷ৽ػೳ։ൃΛଅਐ͢ΔͨΊʹ։ൃ͞Εͨ • ͜Ε·Ͱͷ Swift Algorithms ͳͲͱಉ༷ͷྲྀΕ • Swift ඪ४ϥΠϒϥϦ͸ݱࡏɺArrayɺSetɺDictionary ͷॏཁͳ3ͭͷ൚༻σʔλߏ଄͕࣮ ૷͞Ε͍ͯΔ • ޿͍Ϣʔεέʔεʹద͍ͯͯ͠خ͍͠ • ͔͠͠ɺڊେͳߏ଄Λॲཧ͢Δͱ͖ͳͲ෺଍Γͳ͍έʔε͕͋Δ • Swift Collections ʹΑͬͯɺָ&ΑΓߴ଎&৴པੑ΋͋Δίʔυ͕ॻ͚Δ༷ʹͳΔ
10. Swift Collections ʹ͍ͭͯ • ϦϦʔε౰ॳʹॻ͔ΕͨʮIntroducing Swift Collectionsʯͱ͍͏ϒϩά ͕ࢀߟʹͳΔ • https://www.swift.org/blog/swift-collections/
11. Swift Collections ʹ͍ͭͯ • 2025/09/30 ʹ Swift Collections ͷ ver 1.3 ͕ϦϦʔε͞Εͨ • ࣮૷͞Εͨػೳ͸ෳ਺͋Δ͕ɺࠓճͷൃදͰ͸ UniqueArray ͱ RigidArray ʹয఺Λ౰ͯΔ
12. UniqueArray ʹ͍ͭͯ • ʮίϐʔͰ͖ͳ͍ಈత഑ྻʯ • Array ͷ Copy-on-Write (CoW) ͕ഇࢭ͞Ε͍ͯΔ • ඇίϐʔܕʢ~CopyableʣͳཁૉΛอ࣋Ͱ͖Δ • ॴ༗ݖ͕ৗʹҰҙ • CoW ʹ൐͏ ༧ظͤ͵ O(n) ίϐʔ ͕ൃੜ͠ͳ͍ • ༰ྔ͸ಈతʹ૿΍ͤΔʢappend ͳͲͰ reallocation ͸͋Γʣ
13. RigidArray ʹ͍ͭͯ • UniqueArray ʹରͯ͠ಈతͳ֦ுΛېࢭͨ͠഑ྻ • ݻఆ௕Ͱ͋Δ഑ྻ
14. UniqueArray ʹ͍ͭͯ • ʮίϐʔͰ͖ͳ͍ಈత഑ྻʯ • Array ͷ Copy-on-Write (CoW) ͕ഇࢭ͞Ε͍ͯΔ • ඇίϐʔܕʢ~CopyableʣͳཁૉΛอ࣋Ͱ͖Δ • ॴ༗ݖ͕ৗʹҰҙ • CoW ʹ൐͏ ༧ظͤ͵ O(n) ίϐʔ ͕ൃੜ͠ͳ͍ • ༰ྔ͸ಈతʹ૿΍ͤΔʢappend ͳͲͰ reallocation ͸͋Γʣ
15. UniqueArray ʹ͍ͭͯ • ʮίϐʔͰ͖ͳ͍ಈత഑ྻʯ • Array ͷ Copy-on-Write (CoW) ͕ഇࢭ͞Ε͍ͯΔ • ඇίϐʔܕʢ~CopyableʣͳཁૉΛอ࣋Ͱ͖Δ • ॴ༗ݖ͕ৗʹҰҙ • CoW ʹ൐͏ ༧ظͤ͵ O(n) ίϐʔ ͕ൃੜ͠ͳ͍ • ༰ྔ͸ಈతʹ૿΍ͤΔʢappend ͳͲͰ reallocation ͸͋Γʣ
16. Array ͷৼΔ෣͍ʹ͍ͭͯ
17. Array ͷৼΔ෣͍ʹ͍ͭͯ • Array ͸ࢀরܕ
18. Array ͷৼΔ෣͍ʹ͍ͭͯ • Array ͸ࢀরܕ
19. Array ͷৼΔ෣͍ʹ͍ͭͯ • Array ͸ࢀরܕ • a ͸มΘΒͳ͍
20. Array ͷৼΔ෣͍ʹ͍ͭͯ • Array ͸ࢀরܕ • a ͸มΘΒͳ͍ • ಺෦ͷϝϞϦ͸Ͳ͏ ಈ͍͍ͯΔͷ͔ʁ
21. Array ͷৼΔ෣͍ʹ͍ͭͯ • ֬ೝ͢ΔͨΊʹ baseAddress Λग़ྗ͢Δ ϝιουΛ༻ҙ͢Δ
22. Array ͷৼΔ෣͍ʹ͍ͭͯ
23. Array ͷৼΔ෣͍ʹ͍ͭͯ
26. A
27. A buffer
28. A buffer struct class
29. A buffer struct class [1, 2, 3]
30. A buffer struct class [1, 2, 3] 0x00000007aec100a0
31. A A buffer struct B class [1, 2, 3] struct 0x00000007aec100a0
33. A A buffer struct B class [1, 2, 3] struct 0x00000007aec100a0
34. A A buffer struct B class [1, 2, 3] struct 0x00000007aec100a0
36. A A buffer struct B class [1, 2, 3] struct 0x00000007aec100a0
37. A A buffer struct B class [1, 2, 3] struct buffer [1, 2, 3, 4] 0x00000007aec100a0 0x0000000100c5edc0
38. A A buffer struct B class [1, 2, 3] struct 0x00000007aec100a0
39. A A buffer struct B class [1, 2, 3] struct buffer [1, 2, 3, 4] 0x00000007aec100a0 0x0000000100c5edc0
40. ͜ͷίϐʔ͕͍ͭ໰୊ʹͳΔ͔
41. ͜ͷίϐʔ͕͍ͭ໰୊ʹͳΔ͔ • ഑ྻͷཁૉ਺͕ڊେͰ͋Ε͹͋Δ͚ͩ໰୊ʹͳΔ • ͦͷ෼͚ͩίϐʔ͞ΕΔ͔Β
44. ͦ͜Ͱ UniqueArray
45. ͦ͜Ͱ UniqueArray • ʮίϐʔͰ͖ͳ͍ಈత഑ྻʯ • Array ͷ Copy-on-Write (CoW) ͕ഇࢭ͞Ε͍ͯΔ • ඇίϐʔܕʢ~CopyableʣͳཁૉΛอ࣋Ͱ͖Δ • ॴ༗ݖ͕ৗʹҰҙ • CoW ʹ൐͏ ༧ظͤ͵ O(n) ίϐʔ ͕ൃੜ͠ͳ͍ • ༰ྔ͸ಈతʹ૿΍ͤΔʢappend ͳͲͰ reallocation ͸͋Γʣ
47. consume ͕ඞཁ
49. 🎉 🎉 🎉
50. append Λ࢖͏ͱ…ʁ
54. ͦ͜Ͱ UniqueArray • ʮίϐʔͰ͖ͳ͍ಈత഑ྻʯ • Array ͷ Copy-on-Write (CoW) ͕ഇࢭ͞Ε͍ͯΔ • ඇίϐʔܕʢ~CopyableʣͳཁૉΛอ࣋Ͱ͖Δ • ॴ༗ݖ͕ৗʹҰҙ • CoW ʹ൐͏ ༧ظͤ͵ O(n) ίϐʔ ͕ൃੜ͠ͳ͍ • ༰ྔ͸ಈతʹ૿΍ͤΔʢappend ͳͲͰ reallocation ͸͋Γʣ
55. ͦ͜Ͱ UniqueArray • ʮίϐʔͰ͖ͳ͍ಈత഑ྻʯ • Array ͷ Copy-on-Write (CoW) ͕ഇࢭ͞Ε͍ͯΔ • ඇίϐʔܕʢ~CopyableʣͳཁૉΛอ࣋Ͱ͖Δ • ॴ༗ݖ͕ৗʹҰҙ • CoW ʹ൐͏ ༧ظͤ͵ O(n) ίϐʔ ͕ൃੜ͠ͳ͍ • ༰ྔ͸ಈతʹ૿΍ͤΔʢappend ͳͲͰ reallocation ͸͋Γʣ
56. Array ͷৼΔ෣͍ʹ͍ͭͯ ͦͷ2
57. Array ͷৼΔ෣͍ʹ͍ͭͯ ͦͷ2 • Array ͸ capacity ͱ͍͏֓೦Λ͓࣋ͬͯΓɺͦͷ capacity Λ௒͑Δͱϝ ϞϦͷ֬อΛߦ͏༷ʹͳ͍ͬͯΔ
61. RigidArray ʹ͍ͭͯ • UniqueArray ʹରͯ͠ಈతͳ֦ுΛېࢭͨ͠഑ྻ • ݻఆ௕Ͱ͋Δ഑ྻ
64. ·ͱΊ
65. ·ͱΊ • Array ͸൚༻ͰศརͰ͋Δ͕ɺڊେͳ഑ྻΛѻ͏৔߹ʹ CoW ʹΑΔί ετ΍ reallocation ʹΑΔίετ͕໨ཱͭ • Swift Collections ʹ௥Ճ͞Εͨ UniqueArray Λར༻͢Δ͜ͱͰ CoW ͷ ίετΛແࢹ͢Δ͜ͱ͕Ͱ͖Δ • ͞Βʹ RigidArray Λར༻͢Δ͜ͱͰ CoW ͷίετͱซͤͯ reallocation ͷίετ΋ແࢹ͢Δ͜ͱ͕Ͱ͖Δ • ͨͩ͠ݻఆ௕ͷ഑ྻʹͳΔ͜ͱʹཹҙ͢Δඞཁ͋Γ
66. ͋Γ͕ͱ͏͍͟͝·ͨ͠ʂ