型消去を用いたSwiftによるリポジトリパターンの実装
リポジトリパターンとは
リポジトリはオブジェクトの参照を取得するのに必要なロジックをすべてカプセル化するためのパターンです。
Domain Driven Design Quickly 日本語訳
iOSアプリ開発の文脈では、オブジェクトをWeb APIから取得するのかRealmから取得するのかといった関心ごとがある。リポジトリを実装することで次のようなメリットがあると思う。
- どこからどのように取得するのかなどの関心ごとからドメインモデルを切り離せるため、ドメインモデルをクリアに保つことができる。(DDDの観点)
- テスト時にWeb APIやRealmにアクセスするリポジトリをメモリにアクセスするリポジトリに差し替えること(Dependency Injection)が可能になるため、テストデータを簡単に用意できたりテストのパフォーマンスを向上できるなど、テストしやすくなる。(テスタビリティの観点)
型消去とは
先日行われたtry! Swiftで紹介されたテクニックで、トークの内容については以下の書き起こし記事が詳しいと思う。
型消去とは何か、端的に説明するのはかなり難しい。ただ、リポジトリパターンをSwiftで実装するにあたって非常に強力なテクニックであることが分かったので、型消去を用いない場合と用いた場合とを比べて型消去について説明してみたいと思う。
型消去を用いない場合
例のごとくPokemon
オブジェクトを取得するリポジトリを考える。Pokemon
はWeb APIから取得するかもしれないし、Realmから取得するかもしれない。とりあえず以下のようなprotocolを定義して、Pokemon
を取得するインターフェイスを用意する。
protocol PokemonRepository { func find(ID: UInt) -> Pokemon? func findAll() -> [Pokemon] }
そして、実際にRealmからPokemon
を取得するリポジトリはこのprotocolを実装して以下のように書けると思う。
struct RealmPokemonRepository: PokemonRepository { func find(ID: UInt) -> Pokemon? { let realm = try! Realm() return realm.objects(Pokemon).filter("ID == %d", ID).first } func findAll() -> [Pokemon] { let realm = try! Realm() return realm.objects(Pokemon) } }
同様にメモリ内の[Pokemon]
からPokemon
を取得するリポジトリは以下のように書けると思う。
struct MemoryPokemonRepository: PokemonRepository { let pokemons = [ Pokemon(ID: 1, name: "フシギダネ"), Pokemon(ID: 2, name: "フシギソウ"), Pokemon(ID: 3, name: "フシギバナ") ] func find(ID: UInt) -> Pokemon? { return pokemons.filter { $0.ID == ID }.first } func findAll() -> [Pokemon] { return pokemons } }
ViewController等でこのリポジトリを使う場合は以下のように書けると思う。
class PokedexViewController: UITableViewController { var pokedex: [Pokemon] = [] lazy var repository: PokemonRepository = RealmPokemonRepository() override func viewDidLoad() { super.viewDidLoad() pokedex = repository.findAll() } }
テストを書く際は以下のようにリポジトリを差し替えることでRealmへのアクセスを回避できる。
class PokedexViewControllerTests: XCTestCase { var viewController: PokedexViewController! override func setUp() { viewController = PokedexViewController() viewController.repository = MemoryPokemonRepository() } }
こうしてPokemon
を取得するリポジトリを実装することで、どのようにオブジェクトを取得するのかという関心ごとをカプセル化し、テスタビリティのある設計が可能になった。しかし、この実装には大きな問題がある。
型消去を用いない実装の問題点は、ドメインモデルごとに似たようなprotocolを用意しなくてはならないことだ。例えば、今度はHuman
を取得したいという場合に同様にHumanRepository
を定義しなくてはならないし、その次にTown
を取得したいという場合にはTownRepository
を定義しなくてはならない。これらのprotocolはほとんど中身が同じボイラープレートになってしまうだろう。
それでは、より汎用的なRepository
というprotocolを以下のように定義してみてはどうだろうかと考えてみる。
protocol Repository { typealias Domain func find(ID: UInt) -> Domain? func findAll() -> [Domain] }
typealiasを使ってGenericsなprotocolを定義することでより汎用的になった。そして、これを実装するリポジトリは例えばこんな感じになる。
struct RealmPokemonRepository: Repository { typealias Domain = Pokemon func find(ID: UInt) -> Pokemon? { let realm = try! Realm() return realm.objects(Pokemon).filter("ID == %d", ID).first } func findAll() -> [Pokemon] { let realm = try! Realm() return realm.objects(Pokemon) } }
しかし、これはすぐにうまくいかないことがわかる。
lazy var repository: Repository = RealmPokemonRepository
のようなコードはコンパイルエラーになってしまうのだ。Repository
のようなtypealiasをもつprotocolはtypealiasに具体的な型をもっていないため抽象型と呼ばれ、そのまま変数の型として宣言することができない。
このままおとなしくドメインモデルごとにボイラープレートのようなprotocolを書かなくてはいけないんだろうか(←try! Swift参加前の筆者)。
型消去を用いた場合
あらゆるリポジトリを汎用的に扱えるようにするため、以下のようなAnyRepository
を定義する。
struct AnyRepository<DomainType>: Repository { typealias Domain = DomainType private let _find: UInt -> DomainType? private let _findAll: () -> [DomainType] init<T: Repository where T.Domain == DomainType>(_ repository: T) { _find = repository.find _findAll = repository.findAll } func find(ID: UInt) -> DomainType? { return _find(ID) } func findAll() -> [DomainType] { return _findAll() } }
AnyRepository<Pokemon>
として使う場合は、typealias Domain = Pokemon
となっているRepository
を実装した型のみAnyRepository()
に渡すことができる。例えば、ViewControllerではこんな感じで使うことになる。
class PokedexViewController: UITableViewController { var pokedex: [Pokemon] = [] lazy var repository: AnyRepository<Pokemon> = AnyRepository(RealmPokemonRepository()) override func viewDidLoad() { super.viewDidLoad() pokedex = repository.findAll() } }
同様にテストではこんな感じになると思う。
class PokedexViewControllerTests: XCTestCase { var viewController: PokedexViewController! override func setUp() { viewController = PokedexViewController() viewController.repository = AnyRepository(MemoryPokemonRepository()) } }
AnyRepository
があることで、PokemonRepository
やHumanRepository
のようなドメインモデルごとのprotocolは不要になり、それぞれAnyRepository<Pokemon>
、AnyRepository<Human>
のような型を使うことで対処できる。これでボイラープレートのようなコードを書く必要はなくなった。
型消去とは、この例で言うとPokemonRepository
型であったrepository
がAnyRepository<Pokemon>
という型にしてしまうことを指しているようだ。型消去というのは、より柔軟な設計のための結果として考えることができそう。
以降は型消去とは無関係だけど、リポジトリパターンを実装するにあたって必要となった技術要素を紹介していきたいと思う。
クエリのインターフェイス
上で紹介したRepository
は意図的に不十分なインターフェイスだった。というのは、findAll()
というメソッドはその名の通りすべてのオブジェクトを取得してしまうので、現実的には検索条件やソートなどのパラメータを指定できる必要があると思う。
ここで指定される検索条件は内部的にGETリクエストのパラメータやRealmに渡されるNSPredicate
に変換されることになる。また、検索条件といっても単純に一致するためのものだけでなく、不一致や含んでいるかといった検索方法もある。Web APIに問い合わせるのかRealmに問い合わせるのかといったバックエンドに関わらず、これらを統一的に表すクエリの表現が必要となると思った。
そこでAnyQueryという小さなライブラリを開発した。
これを使ってRepository
はこんな感じに定義できる。
protocol Repository { typealias Domain func find(ID: UInt) -> Domain? func findAll(query query: AnyQuery?, sort: AnySort?) -> [Domain] } extension Repository { func findAll() -> Domain? { return findAll(query: nil, sort: nil) } }
RealmPokemonRepository
で実際に使う場合はこんな感じになる。
struct RealmPokemonRepository: Repository { typealias Domain = Pokemon func find(ID: UInt) -> Pokemon? { let realm = try! Realm() return realm.objects(Pokemon).filter("ID == %d", ID).first } func findAll(query query: AnyQuery?, sort: AnySort?) -> [Pokemon] { let realm = try! Realm() var result realm.objects(Pokemon) if let predicate = query?.predicate { result = result.filter(predicate) } if let sortDescriptors = sort?.sortDescriptors { for sortDescriptor in sortDescriptors { guard let key = sortDescriptor.key else { continue } result = result.sorted(key, ascending: sortDescriptor.ascending) } } return result } }
そして、ViewControllerからはこんな感じでクエリを組み立てることができる。
class PokedexViewController: UITableViewController { var pokedex: [Pokemon] = [] lazy var repository: PokemonRepository = RealmPokemonRepository() override func viewDidLoad() { super.viewDidLoad() let query = AnyQuery.In(key: "ID", values: [1, 2, 3, 4, 5]) let sort = AnySort.Ascending(key: "name") pokedex = repository.findAll(query: query, sort: sort) } }
詳細はREADMEに書いてあるが、例えば、こんな風に複雑な条件も表現できる。
let query = AnyQuery.Between(key: "ID", lhs: 1, rhs: 100) && AnyQuery.NotEqual(key: "type", PokemonType.Fire.rawValue) let sort = AnySort.Descending(key: "weight") > AnySort.Descending(key: "height")
非同期処理の取り扱い
たいていの取得処理は非同期に行われるため、リポジトリのインターフェイスも非同期処理を前提にしなくてはならないと思う。しかし、取得完了時の処理をクロージャとして渡すインターフェイスはコールバック・ヘルにつながるため、Promiseライクなライブラリを使ってオブジェクトの代わりにPromiseオブジェクトを返すような形がいいと思った。
例としてSwiftTaskを使って以下のようにRepository
を定義してみた。
protocol Repository { typealias Domain func find(ID: UInt) -> Task<Float, Domain, ErrorType> func findAll(query query: AnyQuery?, sort: AnySort?) -> Task<Float, [Domain], ErrorType> }
そして、実装は以下のようになる。
class RealmPokemonRepository: Repository { typealias Domain = Pokemon func find(ID: UInt) -> Task<Float, Pokemon, ErrorType> { return Task<Float, Pokemon, ErrorType> { fulfill, reject in let realm = try! Realm() if let pokemon = realm.objects(Pokemon).filter("ID == %d", ID).first { fulfill(pokemon.pokemon) } else { reject(RepositoryError.NotFound) } } } func findAll(query query: AnyQuery?, sort: AnySort?) -> Task<Float, [Pokemon], ErrorType> { return Task<Float, [Pokemon], ErrorType> { fulfill, reject in let realm = try! Realm() var result = realm.objects(RealmPokemon) if let predicate = query?.predicate { result = result.filter(predicate) } if let sortDescriptors = sort?.sortDescriptors { for sortDescriptor in sortDescriptors { guard let key = sortDescriptor.key else { continue } result = result.sorted(key, ascending: sortDescriptor.ascending) } } if result.isEmpty { reject(RepositoryError.NotFound) } else { let pokemons = result.map { $0.pokemon } fulfill(pokemons) } } } }
最後に
Swiftでリポジトリパターンを実装するにあたってのポイントは3つあった。
- 型消去によってリポジトリのための汎用的なインターフェイスを定義する。
- AnyQueryを使ってクエリのインターフェイスを統一する。
- Promiseライクなライブラリを使って非同期処理も考慮したリポジトリを設計する。
以上で説明したことはすべてこちらのサンプルプロジェクトで詳細を見ることができるので、参考にしてほしい。