여기

Question

과부하의보다 구체적인 방법을 호출하는 방법을 예시 놀이터.

test의 모든 버전을 제거하면 제네릭 메서드가 호출됩니다. 클래스 Foo은 프로토콜 P을 준수합니다. Swift는 더 구체적인 이유 때문에 일반 방법을 선택하지 않는 이유는 무엇입니까? 일반적인 것을 호출하는 방법이 있습니까?

Answer 1

내가 이해 한대로 컴파일러는 항상 오버로드 해결을 수행 할 때 일반 매개 변수보다 명시 적으로 형식화 된 매개 변수를 선호합니다. 따라서 test<T : P>(_ o: T)과 test(_ o: Any) 사이의 해상도에서는 명시 적 (추상 임에도 불구하고) 매개 변수 유형을 명시하므로 첫 번째 매개 변수는 단순히 자리 표시자인 반면 후자는 선호됩니다. 당신은 일반적인뿐만 아니라 두 번째 오버로드를 만들 경우

따라서, 컴파일러는 지금 모두 명시 적으로 입력 매개 변수를 가지고 있지 않는 한, 최초의 과부하를 선호하지만, 첫 번째 오버로드는보다 긴밀하게 제한된다 :

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 

당신이 의지에 과부하가 무엇인지에 대한 더 나은 추론 할 수 있습니다로

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 

내가 강하게, 첫 번째 방법을 추천 할 것입니다 있지만 :

은 그대로 오버로드를 유지, 유형 캐스팅도 명확하게하기 위해 실행 가능한 해결책이 될 것으로 보인다 선택된다 (일반 가능한 한 프로토콜 형식의 매개 변수보다 일반적으로 선호되어야합니다 (due to the performance benefits of specialisation).