İşte

Question

aşırı daha spesifik bir yöntemi çağırmak için nasıl bir örnek oyun alanıdır.

Herhangi bir sürümü test kaldırırsam, genel yöntem çağrılır. Sınıf Foo protokolü P protokolüne uygundur, neden daha spesifik olduğu için Swift jenerik yöntemi seçmiyor? Jenerik olanı aramanın bir yolu var mı?

Answer 1

Anladığım kadarıyla, derleyici aşırı yük çözünürlüğü gerçekleştirirken genel olarak açıkça yazılan bir parametreyi tercih edecektir. Böylece, test<T : P>(_ o: T) ve test(_ o: Any) arasındaki çözünürlükte - ikincisi, açık (her ne kadar soyut) bir parametre tipine sahip olduğundan tercih edilirken, ilki sadece bir yer tutucudur. Eğer jenerik yanı ikinci aşırı yaparsanız

nedenle, derleyici şimdi ikisi de açıkça yazılan parametrenin olmaması gibi birinci aşırı lehine olacaktır, ancak ilk aşırı yük daha sıkı kısıtlanır:

class Bar { 
    func test<T: P>(_ o: T) { 
     print("Generic", o.getValue()) 
    } 

    func test<T>(_ o: T) { 
     print("Any") 
    } 
} 

let foo = Foo() 
let bar = Bar() 
bar.test(foo) // Generic hello 

Eğer irade aşırı hakkında daha iyi ikna etmeye izin verdiği

class Bar { 
    func test<T: P>(_ o: T) { 
     print("Generic", o.getValue()) 
    } 

    func test(_ o: Any) { 
     print("Any") 
    } 
} 

let foo = Foo() 
let bar = Bar() 
(bar.test as (Foo) -> Void)(foo) // Generic hello 

şiddetle, ilk yaklaşım öneriyoruz rağmen:

olduğu gibi aşırı yüklenmeleri tutulması, tip-döküm da belirginleştirmek için uygulanabilir bir çözüm gibi görünüyor seçilecek (jenerik Ayrıca, mümkün olan her durumda protokol tipi parametreler üzerinden de tercih edilmelidir, due to the performance benefits of specialisation).