Kalıtım sırasında Self protokolünde Self'e dönen Tür işlevleri için neden varsayılan uygulamaları sağlayamıyorum?

Question

neden görünmüyor bu iş: Ben nesnenin kendisi için fabrika ekleyerek olası miras yapabilirsiniz

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

Ben de olmayan bir sınıfını veya sınıf işaretlemek olabilir

final ama ben miras kullanmayı tercih ederim.

Bir protokole varsayılan fabrika uygulanabilmesi için, bir kalıtımsal türün tekrar uygulanmadan uyumlu hale gelmesi sağlanabilir.

Answer 1

Bir protokole bağlı nesneleri başlatacak bir fabrika istiyorsanız, her zaman harika generics'u kullanmalısınız! E.g.

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