Jak wywołać bardziej konkretny sposób przeciążenia

Question

Oto przykład zabaw:

protocol P { 
    associatedtype T 
    func getValue() -> T 
} 

class Foo: P { 
    func getValue() -> String { 
     return "hello" 
    } 
} 

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

This wyjścia: Any.

Po usunięciu dowolnej wersji test zostanie wywołana metoda ogólna. Klasa Foo jest zgodna z protokołem P, dlaczego Swift nie wybiera metody ogólnej, ponieważ jest bardziej szczegółowy? Czy istnieje sposób na wywołanie tego ogólnego?

Answer 1

Z tego, co rozumiem, kompilator zawsze będzie faworyzował jawnie wpisany parametr nad typowym przy wykonywaniu przeciążenia. Zatem w rozdzielczości pomiędzy test<T : P>(_ o: T) i test(_ o: Any) - ten drugi będzie preferowany, ponieważ ma jawny (choć abstrakcyjny) typ parametru, podczas gdy pierwszy jest jedynie symbolem zastępczym.

Dlatego jeśli zrobisz drugiego przeciążenie rodzajowe, a także, kompilator będzie teraz faworyzować pierwszy przeciążenie, jak oboje nie mają wyraźnie wpisane parametry, ale pierwszy przeciążenie jest mocniej ograniczana:

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 

Utrzymanie przeciążeń jak jest typu odlewów w celu disambiguate również wydaje się być dobrym rozwiązaniem:

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 

Choć gorąco polecam pierwsze podejście, ponieważ pozwala rozumowi lepiej o co przeciążać wola być wybranym (rodzajowy s powinno być również preferowane w ogólności w stosunku do parametrów określonych protokołem, gdzie to możliwe, due to the performance benefits of specialisation).