Warum kann ich keine Standardimplementierungen für Type-Funktionen bereitstellen, die Self im Protokoll zurückgeben, wenn Vererbung verwendet wird?

Question

Warum funktioniert diese Arbeit:

class Foo : Work { 
    required init() {} 

    static func make() -> Self { 
     return self.init() 
    } 
} 

Ich könnte auch eine nicht-Klasse verwenden, oder die Klasse markieren final:

protocol Work { 
    init() 
    static func make() -> Self 
} 

extension Work { 
    static func make() -> Self { 
     return self.init() 
    } 
} 

class Foo : Work { 
    required init() {} 
} 

I Vererbung möglich, indem die Fabrik auf das Objekt selbst machen kann , aber ich möchte/muss Vererbung verwenden.

Ist es möglich, eine Standardfactory für ein Protokoll zu implementieren, sodass ein vererbbarer Typ ohne erneute Implementierung übereinstimmen kann?

Answer 1

Wenn Sie eine Fabrik, die Objekte nach einem Protokoll initialisieren wollen, sollten Sie die immer super generics verwenden! Zum Beispiel

protocol Work { 
    init() 
    static func make<T: Work>(type: T.Type) -> T 
} 

extension Work { 
    static func make<T: Work>(type: T.Type) -> T { 
     return T.init() 
    } 
    static func make() -> Self { 
     return make(Self) 
    } 
} 

class Foo : Work { 
    required init() {} 
}