在Swift協議中init（）如何相關？

Question

Swift中的協議可以在其定義中聲明init()方法。然而，我想不出任何解決任何問題的用例，而不是強制符合類定義協議中的init()。我們可以在協議類型上調用已聲明的方法，但協議初始化不能用於實例化它的對象，這是它唯一的目的。

在協議中聲明init()方法有什麼問題解決？

Answer 1

它迫使類有init(data: data)從一些數據，例如：

protocol JSONable { 
    init(data: JSON) 
} 

軍隊的所有類，是JSONable有一個初始化器從JSON，所以你總是肯定的是，你可以創建一個實例JSON。

Answer 2

它通常用於允許協議擴展和約束協議的通用佔位符在符合協議的給定具體類型上調用初始化程序。的init<S : Sequence>(_ elements: S)例如，考慮RangeReplaceableCollection的默認實現：

extension RangeReplaceableCollection { 

    // ... 

    /// Creates a new instance of a collection containing the elements of a 
    /// sequence. 
    /// 
    /// - Parameter elements: The sequence of elements for the new collection. 
    public init<S : Sequence>(_ elements: S) where S.Iterator.Element == Iterator.Element { 
     self.init() 
     append(contentsOf: elements) 
    } 
    // ... 
} 

沒有init()被定義爲RangeReplaceableCollection協議的要求，有沒有辦法擴展到知道，我們可以爲了創建一個新的實例調用init()符合類型。

但它也可用於直接外泛型和擴展的 - 比如，它可以被用於構建由給定存在元類型（的「符合的協議一些具體類型的元類型所表示的新的實例「）：

protocol P { 
    init() 
} 
struct S : P { 
    init() {} 
} 

let s: P = S() 
let s1 = type(of: s).init() // creates a new instance of S, statically typed as P. 

在這個例子中：

• type(of: s)返回動態類型s作爲P.Type（一種存在metaty的pe）​​，因爲s是靜態類型爲P。請記住，type(of:)是一個(T) -> T.Type操作。

• init()構建底層具體類型的新實例，在這種情況下S。

• 新實例靜態類型爲P（即裝入存儲容器中）。

Answer 3

我認爲真正的實用工具來作爲一個泛型o函數的約束。這是我的一個項目中的真實代碼。

我宣佈一個協議與init：

protocol JSONCreatable { 
    init(fromJson json: JSON) 
} 

然後，在通用功能，我返回符合該協議的類：

import SwiftyJSON 

extension JSON { 
    func asObject<T>() -> T? where T: JSONCreatable { 
     if isEmpty { 
      return nil 
     } 
     return T(fromJson: self) 
    } 

    func asArray<T>() -> [T] where T: JSONCreatable { 
     return array?.map{ json in T(fromJson: json) } ?? [] 
    } 
} 

這讓我做事情是這樣的：

let user: User = json["user"].asObject() 
let results: [Element] = json["elements"].asArray()