Downloaded 19 times
Uploaded byTomohiro Kumagai
Swift の３大プロトコルを眺めてみる #love_swift
2016/04/24 の Swift 愛好会で発表した『Swift 標準プロトコルを旅して Swift と楽しく会話してみよう！』という趣旨のお話です。2017/03/22 に内容を Swift 3 対応しました。
More Related Content
Similar to Swift の３大プロトコルを眺めてみる #love_swift
Swift の３大プロトコルを眺めてみる #love_swift
- 1. 熊⾕友宏 http://ez-net.jp/ 2016.04.24 … 集まれSwift 好き！Swift 愛好会 #6 2017.03.21 … Swift 3.1 対応 主要３プロトコルを眺めてみる Swift カジュアルプログラミング Swift 3.1
- 2.
- 3. プロトコル ▶ 存在の感じ⽅ ▶ 観察のしかた ▶読み進め⽅ 繪⾯さんが⾒せてくれたこと
- 4.
- 5.
- 6.
- 7.
- 8.
- 9. 主要３プロトコル 気づかずに多⽤してるプロトコルたち ▶ Collection ▶ Sequence ▶IteratorProtocol
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
- 21. 配列の特徴を想像 ▶ 複数の要素を内包する ▶ 添字を使って要素を取り出せる ▶部分配列を切り出せる
- 22. Collection の印象を想像 ▶ 直訳すると、集約型 ▶複数の要素を集めていそう
- 23.
- 24.
- 25.
- 26.
- 27.
- 28.
- 29.
- 30. Collection 観察 まだ判らないプロトコル ▶ Indexable ▶Sequence ▶ IteratorProtocol ▶ IndexableBase 索引付け可能？ 連続型？ ⽣成器型？ これなら 解りそうかも 索引付け可能、の⼟台？ これなら 解りそうかも
- 31.
- 32. ▶ Collection ▶ Sequence ▶IteratorProtocol ▶ Indexable, IndexableBase 標準ライブラリの旅 ここまでの まとめ 観察中 … 未調査 未調査 増えた！
- 33.
- 34. Indexable の印象を想像 ▶ 直訳すると、索引付け可能 ▶索引で何かを扱えそう
- 35.
- 36.
- 37.
- 38.
- 39. ▶ Collection ▶ Sequence ▶IteratorProtocol ▶ Indexable, IndexableBase ▶ SignedInteger 増えた！ 観察中 … 標準ライブラリの旅 ここまでの まとめ 観察中 … 未調査 未調査
- 40.
- 41. IndexableBase の印象を想像 ▶ 索引付け可能にするための⼟台？ ▶Indexable の基盤になってそう
- 42.
- 43.
- 44.
- 45.
- 46.
- 47.
- 48. Indexable まとめ ▶ Indexable の性質を引き継ぐ ▶それに加えて、距離の概念を持つ
- 49.
- 50.
- 51. 標準ライブラリの旅 ここまでの まとめ ▶ Collection ▶Sequence ▶ IteratorProtocol ▶ Indexable, IndexableBase 索引の範囲を取得し、添字で要素を参照できる性質 ▶ SignedInteger ▶ Comparable 観察中 … 未調査 未調査 増えた！ 未調査
- 52.
- 53. SignedInteger の印象を想像 ▶ 直訳すると、符号付き整数 ▶普通に数として使えそう
- 54.
- 55. SignedInteger 観察 定義を眺める IntMax 型との 相互変換 名前的に内部⽤…？ 察しがつくので とりあえず OK 知らないプロトコル でもたぶん 整数
- 56.
- 57.
- 58.
- 59. 標準ライブラリの旅 ここまでの まとめ ▶ Collection ▶Sequence ▶ IteratorProtocol ▶ Indexable, IndexableBase 索引の範囲を取得し、添字で要素を参照できる性質 ▶ SignedInteger 符号付き整数の性質 ▶ Comparable 観察中 … 未調査 未調査 未調査
- 60.
- 61. Comparable の印象を想像 ▶ 直訳すると、⽐較可能 ▶２つの値を⽐較できそう
- 62.
- 63.
- 64.
- 65.
- 66.
- 67.
- 68. 標準ライブラリの旅 ここまでの まとめ ▶ Collection ▶Sequence ▶ IteratorProtocol ▶ Indexable, IndexableBase 索引の範囲を取得し、添字で要素を参照できる性質 ▶ SignedInteger 符号付き整数の性質 ▶ Comparable 値の⼤⼩⽐較と同値性⽐較が可能な性質 観察中 … 未調査 未調査
- 69.
- 70. Sequence の印象を想像 ▶ 直訳すると、連続型 ▶連続した値を扱えそう
- 71.
- 72.
- 73.
- 74.
- 75.
- 76.
- 77.
- 78.
- 79.
- 80.
- 81.
- 82.
- 83. 標準ライブラリの旅 ここまでの まとめ ▶ Collection ▶Sequence ▶ IteratorProtocol 次へ次へと要素を取り出していける型の性質 ▶ Indexable, IndexableBase 索引の範囲を取得し、添字で要素を参照できる性質 ▶ SignedInteger 符号付き整数の性質 ▶ Comparable 値の⼤⼩⽐較と同値性⽐較が可能な性質 観察中 … 観察中 …
- 84.
- 85.
- 86.
- 87. Sequence まとめ ▶ 連続する要素を扱う型 ▶ 要素を次々に得る概念を持つ ▶要素の並び順までは語られてなさそう
- 88.
- 89.
- 90. 標準ライブラリの旅 ここまでの まとめ ▶ Collection ▶Sequence 連続する複数の要素を扱う型の性質 ▶ IteratorProtocol 次へ次へと要素を取り出していける型の性質 ▶ Indexable, IndexableBase 索引の範囲を取得し、添字で要素を参照できる性質 ▶ SignedInteger 符号付き整数の性質 ▶ Comparable 値の⼤⼩⽐較と同値性⽐較が可能な性質 観察中 …
- 91.
- 92.
- 93.
- 94.
- 95. Collection 世界観 連続する複数の要素を扱う型の性質 反復器や索引を通して要素を⾃由に取得できる 反復器 要素 要素 要素 要素 要素 要素要素 要素 startIndex endIndex 要素 makeIterator
- 96.
- 97. 標準ライブラリの旅 達成 ▶ Collection 連続する複数要素を持ち、索引で扱える型の性質 ▶ Sequence 連続する複数の要素を扱う型の性質 ▶IteratorProtocol 次へ次へと要素を取り出していける型の性質 ▶ Indexable, IndexableBase 索引の範囲を取得し、添字で要素を参照できる性質 ▶ SignedInteger 符号付き整数の性質 ▶ Comparable 値の⼤⼩⽐較と同値性⽐較が可能な性質
- 98.
- 99.
- 100.
- 101. フォトアルバム ▶ ひとつのデータ構造で表現する ▶ 複数枚の写真を収録する ▶アルバムには表題を設定できる ▶ アルバム内の写真を⾃由に⾒られる 要件
- 102.
- 103.
- 104.
- 105. 標準ライブラリの旅 同じ性質のプロトコルを探してみる ▶ Collection 連続する複数要素を持ち、索引で扱える型の性質 ▶ Sequence 連続する複数の要素を扱う型の性質 ▶IteratorProtocol 次へ次へと要素を取り出していける型の性質 ▶ Indexable, IndexableBase 索引の範囲を取得し、添字で要素を参照できる性質 ▶ SignedInteger 符号付き整数の性質 ▶ Comparable 値の⼤⼩⽐較と同値性⽐較が可能な性質
- 106.
- 107. プロトコルの適⽤⽅法 ▶ プロトコルが持つ性質を 実現するための振る舞いを実装する ▶ 性質から⾃然と導かれる振る舞いは 普通は実装しなくて良い 勘所 ↑その性質を持つことを約束するために必須 ↑ 性質に基づいて既に規定されてる 具体的には … プロトコルで規定されている概念のうち、 extension で実装されていないものを実装していく
- 108. CollectionType の適⽤⽅法 性質を実現するために必要な機能 ▶ varstartIndex: Index { get } 最初の要素が存在する位置を⽰す索引を取得 ▶ var endIndex: Index { get } 最後の要素の次の位置を⽰す索引を取得 ▶ subscript (position: Index) -> Element 指定した位置にある要素を取得 ▶ func index(after: Index) -> Index 指定した位置の次の位置を算出
- 109.
- 110.
- 111.
- 112.
- 113.
- 114. 乱数ジェネレーター ▶ Int の乱数を⽣成する ▶次々と乱数を作り出せる 要件
- 115.
- 116.
- 117. 標準ライブラリの旅 同じ性質のプロトコルを探してみる ▶ Collection 連続する複数要素を持ち、索引で扱える型の性質 ▶ Sequence 連続する複数の要素を扱う型の性質 ▶IteratorProtocol 次へ次へと要素を取り出していける型の性質 ▶ Indexable, IndexableBase 索引の範囲を取得し、添字で要素を参照できる性質 ▶ SignedInteger 符号付き整数の性質 ▶ Comparable 値の⼤⼩⽐較と同値性⽐較が可能な性質
- 118.
- 119. GeneratorType の適⽤⽅法 性質を実現するために必要な機能 ▶ mutatingfunc next() -> Element? 次の要素を取得
- 120.
- 121.
- 122.
- 123.
- 124.
- 125. まとめ 主要３プロトコルを眺めてみる 1. 標準ライブラリの旅 ✓ Collection ✓Sequence ✓ IteratorProtocol ✓ Indexable, IndexableBase ✓ Comparable 2. Swift に声をかけてみよう ✓ フォトアルバム ✓ 乱数ジェネレーター