Bu protokol neden "sadece genel bir kısıtlama olarak kullanılabilir"?</p> <pre><code>protocol ProtocolWithAlias { typealias T } protocol AnotherProtocol { func someFunc() -> ProtocolWithAlias } </code></pre> <p>Ama hatayı alıyorum:

Question

Ben Swift aşağıdaki yapmaya çalışılıyor Protocol 'ProtocolWithAlias' can only be used as a generic constraint because it has Self or associated type requirements.

Böyle bir şey yapmak mümkün mü? Hata mesajı (veya en azından "only be used as a generic constraint" bölümü) bana pek bir şey ifade etmiyor.

Ben son Xcode 6 beta 3.

Teşekkür kullanıyorum!

Answer 1

bu deneyin: Biz her türlü ProtocolWithAlias ​​ uygulayan kabul edip birlikte bir şeyler yapabiliriz bir tüketici geçmesi someFunc yerine arasında bir değer dönen:

func someFunc<T:ProtocolWithAlias>() -> T 

Answer 2

O kontrolünü ters çevirerek bu uygulamak mümkün o.

protocol ProtocolWithAlias { 
    typealias T 
} 

protocol ProtocolConsumer { 
    func consume<T: ProtocolWithAlias>(value: T) 
} 

protocol AnotherProtocol { 
    func someFunc(consumer: ProtocolConsumer) 
} 

Bu numara continuation passing style (CPS) fonksiyonu transforme olarak bilinir. Ne yazık ki bunu CPSing olmadan uygulamak için herhangi bir yol bulamadık. Baktığımız tip sistem özelliği varoluşsal tipler (ve this iş parçacığının iyi bir açıklaması var), fakat Swift'in onları desteklemediğini düşünüyorum (henüz).

---

Diğer yanıt neden doğru değil?

func someFunc<T:ProtocolWithAlias>() -> T 

bu fonksiyon ProtocolWithAlias ​​arayan seçer uygulayan herhangi bir türü için T türünde bir değer döndürebilir yani ama biz tarafından seçilecek istedi: Bu imza söyler neler numaralı telefondan.

Bu işlevin mantıklı bir uygulamasını yazmak bile mümkün değil. Ben ProtocolWithAlias ​​ uygulayan yeni bir sınıf oluşturmak ve someFunc nasılsa bu sınıfın örneğini oluşturmak için isteği:

class Uninhabited: ProtocolWithAlias { 
    typealias T = Int 
    init(nope: Uninhabited) {} 
} 

... 

let impossible: Uninhabited = someFunc<Uninhabited>()