"noncopyable types" の使いどころについて考えてみた

by ANDPAD inc

Slide 1

Slide 1 text

Slide 2

Slide 2 text

Slide 3

Slide 3 text

© 2024 ANDPAD All Rights Reserved. Conﬁdential 2022年6月入社。 2023年6月より黒板機能 (iOS) の開発を担当。 iOSDC Japan 2024 「ANDPAD黒板のオフラインモード機能リリースまでの軌跡」 iOSDC Japan 2023 「認証体験向上のために passkeys (パスキー) に対応する」「Swift Markdownを使ったMarkdownアプリ開発」栗山徹開発本部 Tech Lead Proﬁle ｜経歴自己紹介 3

Slide 4

Slide 4 text

Slide 5

Slide 5 text

Slide 6

Slide 6 text

Slide 7

Slide 7 text

© 2024 ANDPAD All Rights Reserved. Conﬁdential 7 (無理矢理1行で説明すると) 値型のコピーに関する制約の追加 noncopyable types ●WWDC 2024 - Consume noncopyable types in Swift 　https://developer.apple.com/videos/play/wwdc2024/10170/ ●swift-evolution - SE-0390 (Noncopyable structs and enums) 　 https://github.com/swiftlang/swift-evolution/blob/main/proposals/0390-noncopyable-structs-and-enums.md ●Apple Developer の Copyable のドキュメント　https://developer.apple.com/documentation/Swift/Copyable 一次情報

Slide 8

Slide 8 text

Slide 9

Slide 9 text

Slide 10

Slide 10 text

© 2024 ANDPAD All Rights Reserved. Confidential 10 参照型のように一意のデータを表現するのが難しい Swift の値型の課題 File インスタンス file1 (参照) file2 (参照) file2 file1 値型参照型 ●値型の代入は全てコピー ●参照型を使うと参照カウントの管理が煩雑 ●ヒープ領域に格納されるので参照カウント管理と併せてオーバーヘッドが生じる

Slide 11

Slide 11 text

© 2024 ANDPAD All Rights Reserved. Conﬁdential 11 値型のコピーを Copyable と ~Copyable で制御 noncopyable types の概要 Copyable と ~Copyable (noncopyable) ●これまでの値型 (コピー自由) は Copyable に準拠する型と再定義 ●通常の値型は暗黙的に Copyable に準拠する (明示的につけなくても準拠) ●Copyable に適合しない型を ~Copyable に準拠した値型として定義 ●Copyable と ~Copyable は包含関係にある

Slide 12

Slide 12 text

Slide 13

Slide 13 text

Slide 14

Slide 14 text

Slide 15

Slide 15 text

Slide 16

Slide 16 text

Slide 17

Slide 17 text

Slide 18

Slide 18 text

© 2024 ANDPAD All Rights Reserved. Conﬁdential 18 メソッドの引数に下記3つのいずれかを指定する必要がある 3 つの ownership 指定 ownership 指定 ●consuming : 所有権の移動が発生する、参照・変更可能 ●borrowing : 所有権の移動が発生しない、参照のみ ●inout : 所有権の移動が発生しない、参照・変更可能 (パラメータの再初期化が必要)