"プロトコルXは一般的な制約としてのみ使用できます"

Question

私はフォーム入力ライブラリで作業しています。私の目標は、一連のフォームフィールドに適用できる再利用可能なバリデータセットを用意することです。私はジェネリックプロトコルを専門にするのが難しいです。以下のコードの完全なエラーはprotocol 'FieldValidator' can only be used as a generic constraint because it has Self or associated type requirementsです。

完全遊び場対応コード：

import Foundation 

protocol FieldValidator { 
    associatedtype InputType: Any 
    func validate(input value: InputType) 
} 

struct EmailValidator: FieldValidator { 
    func validate(input value: String) {} 
} 

enum Field { 
    case string(_: [FieldValidator]) 
    case integer(_: [FieldValidator]) 
} 

let emailField: Field = .string([EmailValidator()]) 

私は

を試してみた私はそれが何を知っておく必要があるためField列挙型で、私はちょうどFieldValidatorに投げることができないということを理解しますそれが必要とするバリデータのInputType。

case string(_: [FieldValidator<String>]) 
case integer(_: [FieldValidator<Int>]) 

またはこの：

case string(_: [FieldValidator where InputType == String]) 
case integer(_: [FieldValidator where InputType == Int]) 

が、これらは動作しません。私はこのような何か多分、何とかそれを伝える必要があることを期待しています。このような建築を維持する方法はありますか？ structの代わりに、フィールドタイプのためenumを使用して

編集：protocol 'FieldValidator' can only be used as a generic constraint because it has Self or associated type requirements：

struct StringField { 
    typealias InputType = String 
    let validators: [FieldValidator] 
} 

私はまだ（フィールドが初期化されたときに提供する必要があります）バリデータのセットを定義する同じ問題を抱えているように見えます。

Answer 1

I suppose what I'm trying to do is provide a mechanism by which someone can define a Field, define what type of value it holds, and define a set of reusable Validators which will operate on that value and determine if it's valid

次のような場合があります。それは問題では非常に多くのフィールドタイプが存在しない場合は特に、愚かだが効果的です：あなたが見ることができるように、私は単に私たちが持っていないように（問題を解決するためのクラス階層を使用しました

protocol FieldValidator { 
    associatedtype T 
    func validate(input:T) 
} 

class StringValidator : FieldValidator { 
    func validate(input:String) { fatalError("must override me") } 
} 

class IntValidator : FieldValidator { 
    func validate(input:Int) { fatalError("must override me") } 
} 

class ActualStringValidator : StringValidator { 
    override func validate(input:String) { print(input)} 
} 

enum Field { 
    case string([StringValidator]) 
    case int([IntValidator]) 
} 

タイプ消去を行う）。特に、言って、今の法律である：

let f = Field.string([ActualStringValidator()]) 

ここでそれをテストする方法は次のとおりです。

let f = Field.string([ActualStringValidator()]) 
if case Field.string(let arr) = f { 
    for thing in arr { 
     thing.validate(input:"howdy") 
    } 
}