継承を使用しているときに、自己でプロトコルを返すタイプ関数のデフォルトの実装を提供できないのはなぜですか？

Question

しないのはなぜこの作品：私はオブジェクト自体に工場を追加することで可能に継承を行うことができます

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

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

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

：

class Foo : Work { 
    required init() {} 

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

私はまた、非クラスを使用するか、クラスをマークすることができ

finalしかし、私は、継承を使用することを好む/必要とします。

プロトコルにデフォルトのファクトリを実装して、継承可能な型を再実装せずに準拠させることは可能ですか？

Answer 1

プロトコルに準拠したオブジェクトを初期化するファクトリを使用する場合は、常に最高のgenerics！を使用する必要があります。 など。

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