プロトコルと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 { ... } 

このような特徴は、スウィフト進化のメーリングリストで議論されて

、 として、「 プロトコルに条件付き適合」などを宣言することはできません。

*条件不適合

を

条件付き適合は、一般的なタイプ が特定の状況でのみ特定のプロトコルに準拠するという概念を表しています。 Equatable要素：

拡張アレイ： - 限り私が見ることができるようにEquatable {}

それはスウィフト2で使用できない 例えば、アレイは、その要素がEquatable場合のみEquatableあります - スイフト3の現在の提案リストにはないhttps://github.com/apple/swift-evolutionです。