なぜ `decode（_：forKey：）`は最初のパラメータを無視しますか？

Question

decode(_forKey:)はその最初のパラメータを無視し、代わりにジェネリックパラメータに依存してデコードするタイプを決定します。この場合、最初のパラメータは何ですか？

class Cat: Codable { 
    func speak() -> String { return "Meow" } 
} 

class Lion: Cat { 
    override func speak() -> String { return "Roar!" } 
} 

class Person: Codable { 
    let firstPet: Cat 
    let secondPet: Cat 
    init(firstPet: Cat, secondPet: Cat) { 
     self.firstPet = firstPet 
     self.secondPet = secondPet 
    } 

    enum CodingKeys: CodingKey { case firstPet, secondPet } 

    required init(from decoder: Decoder) throws { 
     let container = try decoder.container(keyedBy: CodingKeys.self) 
     self.firstPet = try container.decode(Lion.self, forKey: .firstPet) 
     let typeOfCat: Cat.Type = Lion.self 
     self.secondPet = try container.decode(typeOfCat, forKey: .secondPet) 
    } 
} 

let before = Person(firstPet: Lion(), secondPet: Lion()) 
let after = try! JSONDecoder().decode(Person.self, from: JSONEncoder().encode(before)) 
after.firstPet.speak() //"Roar!" 
after.secondPet.speak() //"Meow" ...really? 

Answer 1

decode(...)コールのメタタイプパラメータは、汎用パラメータの特殊化に使用されます。 Swiftには、C++のようなジェネリックスを手動で専門化する構文はありません（例：decode<Int>(forKey: ...)）。これはジェネリックパラメータを具体的なタイプにバインドする方法です。

戻り値の型に依存する代わりにメタタイプを渡すことの利点は、式の結果が明白であることです。リターン結果に頼ることは、いくつかの意外な状況につながることができます：明示的なメタタイプで

Untitled.swift:13:5: error: generic parameter 'T' could not be inferred 
foo(defaultValue()) 
    ^
Untitled.swift:5:6: note: in call to function 'defaultValue' 
func defaultValue<T : DefaultInitializable>() -> T { 
    ^

で

protocol DefaultInitializable { 
    init() 
} 

func defaultValue<T : DefaultInitializable>() -> T { 
    return T() 
} 

func foo(_ value: Int) { 
    print(value) 
} 

foo(defaultValue()) 

結果、これは非問題です。

渡すメタタイプの具体的なインスタンスに対して汎用タイプが使用される理由は、コンクリートメタタイプインスタンスにはそれ自身とは異なる静的タイプがあることは一般的に予想外です。