斯威夫特 - 如何定義一個類型約束保證類型有一個初始化

Question

我有以下代碼：

struct MyStruct { 
    var v: Int = 1 
} 

func createInstance<T: Any>(type: T.Type) -> T 
{ 
    return type.init() 
} 

let myType = MyStruct.self 
let instance = createInstance(type: myType) 

這不工作，因爲我不保證，將T有一個初始化。

Playground execution failed: error: MyPlayground.playground:76:12: error: type 'T' has no member 'init' 
return type.init() 
     ^~~~ ~~~~ 

但是我如何定義一個約束來保證類型有一個init？

Answer 1

您可以構建藍圖init()方法的自定義協議，並使用此協議爲您createInstance功能的通用typeholder類型約束。例如： -

protocol SimplyInitializable { 
    init() 
} 

struct MyStruct: SimplyInitializable { 
    var v: Int = 1 
} 

func createInstance<T: SimplyInitializable>(type: T.Type) -> T 
{ 
    return type.init() 
} 

let myType = MyStruct.self 
let instance = createInstance(type: myType) 

鍵入（明確）符合上述SimplyInitializable就能利用createInstance方法（注意MyStruct到SimplyInitializable一致性）。

---

正如上面的方法替代，你也同樣可以，如果你願意，利用一個通用struct而不是全球通用的createInstance方法來創建符合SimplyInitializable類型的實例。例如：

protocol SimplyInitializable { 
    init() 
} 

struct SimpleFactory<T: SimplyInitializable> { 
    static func createInstance() -> T { 
     return T.init() 
    } 
} 

struct MyStruct: SimplyInitializable { 
    var v: Int = 1 
} 

let instance = SimpleFactory<MyStruct>.createInstance()