은 또한 I는 스위프트 프로토콜은 다음과 같이 정의한 스위프트 프로토콜

Question

에서 일반적인 기능을 제약 : 지금까지

class MyBaseClass : MyProtocol { 
    func genericMethod<T where T:MyProtocol>(param:T) ->() { 
     println("Performing generic method for type \(T.self)") 
    } 
} 

class MySubClass : MyBaseClass { 
    ... 
} 

:

이

protocol MyProtocol { 
    func genericMethod<T:MyProtocol>(param:T) ->() 
} 

나는이 같은 기본 클래스의 일반적인 방법을 구현할 수 있습니다 , 너무 좋아. 이 메서드를 구현할 수 및 컴파일 및 잘 실행됩니다.

이제는 비슷한 것을하고 싶습니다. 기본 클래스에서 Comparable과 같은 프로토콜을 준수하도록 요구함으로써 일반 메서드의 유형을 더욱 제한하고 싶습니다. I 형 T에 추가적인 제약 조건을 추가하면, MyClass 컴파일되지 않습니다 클래스가 더 이상 프로토콜을 준수하지 않기 때문에

class MyBaseClass : MyProtocol { 
    func genericMethod<T where T:MyProtocol, T:Comparable>(param:T) ->() { 
     println("Performing generic method for type \(T.self)") 
    } 
} 

:이 시도.

제네릭 형식에 대한 추가 제약 조건을 추가하여 프로토콜 준수를 중단해서는 안됩니다. 내가 뭘 놓치고 있니? 그 프로토콜은 이 MyProtocol을 따르는 유형의 매개 변수를 전달해야한다고 말하고 있습니다. MyProtocol의 한 가능한 구현 - - 나는 MyBaseClass에서이를 구현하기 위해 갈 때 나는 매개 변수가 미스트MyProtocol

에 추가 Comparable을 준수한다는 의해 더욱 그 구현을 제한 할 수 있어야한다고를하는 방법에 있는가 여기에서하려고하는 것처럼 기본 구현에서 제네릭 형식을 수정 하시겠습니까? 제네릭 형식은 프로토콜이 준수를 보장하도록되어 있기 때문에 프로토콜에 부합 중단하고, 적합성이 Comparable이 아닌 하위 유형을 보장 할 수 없습니다 원인 해야에 추가적인 제약 조건을 추가

Answer 1

. MyProtocol 오브젝트가 모두 Comparable을 따르도록하려면 MyProtocol 정의의 일부로 만들어야합니다.

protocol MyProtocol: Comparable { 
    //... 
} 

나는이 시도하지 않은,하지만 당신은 MyBaseClassComparable 유형을 만들 경우에도 작동 할 수 있습니다.

Answer 2

한 가지 해결 방법은 프로토콜의 버전을 가장 많이 사용하는 으로 정의하는 것입니다. 이 컴파일됩니다 :