Swift - wie eine Art Zwang zu definieren, die die Art garantieren eine init hat

Question

ich folgenden Code haben:

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) 

Das funktioniert nicht, weil ich nicht garantieren, hat die T eine init.

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

Aber wie kann ich eine Einschränkung definieren, die die Art eines init hat garantiert?

Answer 1

Sie könnte ein eigenes Protokoll erstellen, die die init() Methode Items herzustellen, und verwenden Sie dieses Protokoll als eine Art Zwang für den generischen Typenhalter in Ihrer createInstance Funktion. Z.B .:

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) 

Art, die (ausdrücklich) oben SimplyInitializable entspricht in der Lage, die Verwendung der createInstance Methode (beachten Sie die Konformität von MyStruct-SimplyInitializable) zu machen.

---

Als Alternative zu dem Ansatz oben, Sie ebenfalls könnten, wenn Sie möchten, dass die Verwendung eines generischen struct eher machen als eine globale generische createInstance Methode Instanzen von Typen zu erstellen, die SimplyInitializable entsprechen. Beispiel:

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()