프로토콜과 where 절을 사용하여 CollectionType을 확장하는 방법은 무엇입니까?

Question

나는이 프로토콜 정의가 :

protocol BarChartDataConvertible { 
    var barChartData: BarChartData { get } 
} 

을 그리고 그 프로토콜로, 요소가 특정 유형의되는 CollectionType을 연장하고 싶습니다 :

extension CollectionType where Generator.Element == DataPoint { 

    // This works, by I also want it to be enforced by the BarChartDataConvertible 
    // var barChartData: BarChartData { ... } 

} 

내가 어떻게 할 수 있습니까?

[DataPoint(), DataPoint()].barChartData 

Answer 1

당신은 일반적인 자리

extension CollectionType where Generator.Element == DataPoint { 
    var barChartData: BarChartData { return somethingUseful } 
} 

다음

[DataPoint(), DataPoint()].barChartData 

컴파일의 제한 유형에만 적용되는 확장 메서드를 정의 할 수 있습니다. 하지만 당신은 [swift-evolution] [Manifesto] Completing Generics에서 시작

extension CollectionType: DataPoint where Generator.Element == DataPoint { ... } 

이러한 기능은 신속한 진화 메일 링리스트에 설명되어 있습니다

, 로, " 프로토콜에 조건 준수"등을를 선언 할 수 없습니다 :

* 조건부 conformances

을

조건부 준수는 특정 유형에서만 이 특정 프로토콜을 준수한다는 개념을 나타냅니다.

확장 배열 : 요소가 Equatable 경우에만 예를 들어, 배열 Equatable입니다 Equatable {}

하지만 스위프트 2에서 사용할 수 없습니다와 - 지금까지 내가 볼 수 있습니다 : 요소가 Equatable - 스위프트 3에 대한 제안 목록이 현재 https://github.com/apple/swift-evolution에 없습니다.