アドバンス付きSwiftプロトコルの制限

Question

私は概念的な問題に遭遇し、アドバイスを探しています。これらのウィジェットの

class Widget { 
    var id: Int 
    var type: String 
} 

多くが容易にグループ化され、他の特性と機能を共有する：私は、共通のプロパティ指定されたオブジェクトタイプのすべてを定義する基本クラスを有します。性質/機能は、プロトコルにうまくフィット：

protocol WidgetryA { 
    func widgetAFunc() 
} 

protocol WidgetryB { 
    func widgetBFunc() 
} 

それは、これらのさまざまなプロトコルに準拠するようにウィジェットクラスを拡張するのは簡単です：ウィジェットは、複数のプロトコルに準拠することができることを

​​

注意。これまでのところ問題ありません！私がやりたいこと、私が苦労していることは次の通りです...特定のWidget.type値を持つウィジェットは、指定されたウィジェットプロトコルに準拠することが基本的に禁止されています。だから、例えば：

// this obviously doesn't work with where -- is there an alternative? 
extension Widget: WidgetryA where Self.type == "foo" { 
    func widgetAFunc() { } 
} 

今、私は、彼らがいけないの呼び出しを行うことから、間違ったWidget.typeのウィジェットを防ぐために、プロトコル機能でガード（）INGのようなグロスと無粋な何かを行うことができます。私は関連タイプが私が望むものを達成するための実行可能な道を提供するかもしれないと感じていますが、私は働くコンストラクトを思いついています。どんな考えや助言もありがとう！

Answer 1

カップルの理由のためにスウィフトで説明したようにこれは不可能です。

1. スウィフトコンパイラは、「タイプ」プロパティのランタイム値が

2. スウィフトさんがどうなるか分かりません。ジェネリックスやプロトコル拡張は、制約に基づいてメソッドや実装を除外/除外/削除することをサポートしていません。

しかし、かなりの種類の文字列を使用するよりも、私はウィジェット「タイプ」プロトコル自体を作ることをお勧めし、正しい型のプロトコルに準拠するウィジェットであるインスタンスのみへのプロトコル拡張を経て実装を追加しますあなたは、プロトコルの拡張を行うことができます

Answer 2

（S）：ので、このwidgetAFuncのみFooタイプのものであり、WidgetryAプロトコルに準拠したクラスのために実装されます

extension WidgetryA where Self: Foo { 
    func widgetAFunc() { } 
} 

。もちろん、Widgetのサブクラスを作成する必要があります。