2012年5月23日水曜日

Scala Tips / Validation (15) - 多重度1の部品

「Validation (14) - オブジェクトの生成」でValidationを使って検証とオブジェクトの生成を行いました。

検証とオブジェクトの生成に対して検証対象に多重度を加えることにします。

多重度は「1」、「0または1」、「1以上」、「0以上」の4種類を扱うのが現実解であることを説明しました。まず、この4つの多重度の実現方法について考えていきます。

課題

以下のPersonオブジェクトを生成する、makePerson関数の実現方法について考えます。

view plainprint?
  1. case class Person(  
  2.   name: String,  
  3.   age: Int,  
  4.   address: String)  
view plainprint?
  1. def makePerson(data: Map[String, String]): ValidationNEL[Throwable, Person] = {  
  2.   sys.error("これから実装")  
  3. }  

以下のようなMapデータの内容を検証し、正しいデータである場合にPersonを生成します。

view plainprint?
  1. val data1 = Map("name" -> "Taro",  
  2.                "age" -> "30",  
  3.                "address" -> "Kanagawa Yokohama")  

この課題ではPersonオブジェクトの3つの属性name, age, addressを多重度1として扱います。

前回までは、検証関数に必ず値が渡されてきましたが、今回はMap内に値が格納されていないケースがあります。多重度1の場合は必ず値が必要になるので、Map内に値が格納されていないケースは検証エラーとする必要があります。

前提

ここまでに作ってきた部品(本記事後ろにある「これまでの部品」参照)を使用します。この部品の上に多重度1を扱うための部品を構築していきます。

多重度のハンドリング

多重度のハンドリングを行うための部品として以下の関数を作成しました。

view plainprint?
  1. val NoValueFailure = new IllegalArgumentException("No value").failNel  
  2. val EmptyValueFailure = new IllegalArgumentException("Empty value").failNel  
  3. val SequenceValueFailure = new IllegalArgumentException("Sequence value").failNel  
  4.   
  5. def optionSeqOne[A, B](v: Option[Seq[A]], f: A => ValidationNEL[Throwable, B]): ValidationNEL[Throwable, B] = {  
  6.   v match {  
  7.     case Some(Nil) => EmptyValueFailure  
  8.     case Some(x :: Nil) => f(x)  
  9.     case Some(_ :: _) => SequenceValueFailure  
  10.     case None => NoValueFailure  
  11.   }  
  12. }  
  13.   
  14. def validateOne[T](f: T => Boolean, message: String, v: Option[Seq[T]]): ValidationNEL[Throwable, T] = {  
  15.   optionSeqOne(v, validate(f, message, (_: T)))  
  16. }  
  17.   
  18. def validatesOne[A, B](  
  19.   f: A => ValidationNEL[Throwable, B],  
  20.   g: Seq[B => ValidationNEL[Throwable, B]],  
  21.   v: Option[Seq[A]]  
  22. ): ValidationNEL[Throwable, B] = {  
  23.   optionSeqOne(v, validates(f, g, (_: A)))  
  24. }  
  25.   
  26. def validatesDefOne[A, B](  
  27.   d: (A => ValidationNEL[Throwable, B],  
  28.       Seq[B => ValidationNEL[Throwable, B]]),  
  29.   v: Option[Seq[A]]  
  30. ): ValidationNEL[Throwable, B] = {  
  31.   validatesOne(d._1, d._2, v)  
  32. }  

ポイントになるのはoptionSeqOne関数で、ここで多重度1に対する検証を行っています。多重度以外の検証項目については、引数として渡されてきた関数(型はA => ValidationNEL[Throwable, B])を使用します。

optionSeqOne関数では、入力データをStringではなく、型パラメタAで受けています。こうすることで、入力データがString以外の場合も使用できるようになり、より汎用的に活用できる可能性が高まります。

データの正規化

多重度を扱うための検討事項として、検証処理が扱うデータの正規化があります。データ処理を考える場合、各データを統一的なフォーマットにしておくことで、処理を効率的に実装することができます。

4種類の多重度「1」、「0または1」、「1以上」、「0以上」をすべて表現できるフォーマットということで、今回はOption[Seq[String]]を標準フォーマットにします。入力データを一旦この形に正規化することで、後続のデータ処理がやりやすくなります。

Mapに格納されているデータを、この形で取り出す関数fetchは以下のようになります。

view plainprint?
  1. def fetch(data: Map[String, String], key: String): Option[Seq[String]] = {  
  2.   data.get(key).map {  
  3.     case null => Nil  
  4.     case "" => Nil  
  5.     case x => x.split(";").toList  
  6.   }  
  7. }  

Mapにデータが格納されていない場合はNone、データが格納されていた場合は文字列を「;」を区切り記号にしてデータ列をSome[Seq[String]]として取り出します。

検証関数

ここまでで作ってきた部品を使って以下の多重度1用の検証関数を作成しました。

view plainprint?
  1. def validateName(name: Option[Seq[String]]): ValidationNEL[Throwable, String] = {  
  2.   validatesDefOne(nameDef, name)  
  3. }  
  4.   
  5. def validateAge(age: Option[Seq[String]]): ValidationNEL[Throwable, Int] = {  
  6.   validatesDefOne(ageDef, age)  
  7. }  
  8.   
  9. def validateAddress(address: Option[Seq[String]]): ValidationNEL[Throwable, String] = {  
  10.   validatesDefOne(addressDef, address)  
  11. }  

実際に動かしてみましょう。

使用するデータを再掲します。

view plainprint?
  1. val data1 = Map("name" -> "Taro",  
  2.                "age" -> "30",  
  3.                "address" -> "Kanagawa Yokohama")  

validateName, validateAge, validateAddress関数は以下のように正しい値を入力にして、Successを返しました。

scala> validateName(fetch(data1, "name"))
res423: scalaz.Scalaz.ValidationNEL[Throwable,String] = Success(Taro)

scala> validateAge(fetch(data1, "age"))
res424: scalaz.Scalaz.ValidationNEL[Throwable,Int] = Success(30)

scala> validateAddress(fetch(data1, "address"))
res426: scalaz.Scalaz.ValidationNEL[Throwable,String] = Success(Kanagawa Yokohama)

Mapに値が設定されていない場合は、以下のようにFailureになりました。

scala> validateName(fetch(Map.empty, "name"))
res428: scalaz.Scalaz.ValidationNEL[Throwable,String] = Failure(NonEmptyList(java.lang.IllegalArgumentException: No value))

Mapに設定されている値が異常だった場合は、以下のようにFailureになりました。

scala> validateAddress(fetch(Map("address" -> "Yokohama"), "address"))
res429: scalaz.Scalaz.ValidationNEL[Throwable,String] = Failure(NonEmptyList(java.lang.IllegalArgumentException: 住所が短すぎます))

Mapに設定されている値がデータ列だった場合は、以下のようにFailureになりました。

scala> validateName(fetch(Map("name" -> "Taro;Hanako"), "name"))
res431: scalaz.Scalaz.ValidationNEL[Throwable,String] = Failure(NonEmptyList(java.lang.IllegalArgumentException: Sequence value))

次回は、これらの部品を組み合わせてmakePerson関数を実装します。

前回までの部品

前回まで記事の中で作ってきた検証のための基本部品は以下の通りです。

view plainprint?
  1. def validate[T](f: T => Boolean, message: String, v: T): ValidationNEL[Throwable, T] = {  
  2.   v |> f.toValidation(new IllegalArgumentException(message))  
  3. }  
  4.   
  5. def validates[A, B](  
  6.   f: A => ValidationNEL[Throwable, B],  
  7.   g: Seq[B => ValidationNEL[Throwable, B]],  
  8.   value: A  
  9. ): ValidationNEL[Throwable, B] = {  
  10.   g.foldLeft(f(value)) { (a, x) =>  
  11.     a.flatMap(x)  
  12.   }  
  13. }  
  14.   
  15. def validatesDef[A, B](  
  16.   d: (A => ValidationNEL[Throwable, B],  
  17.       Seq[B => ValidationNEL[Throwable, B]]),  
  18.   v: A  
  19. ): ValidationNEL[Throwable, B] = {  
  20.   validates(d._1, d._2, v)  
  21. }  
  22.   
  23. def intValue = (_: String).parseInt.liftFailNel  
  24.   
  25. def stringValue = (_: String).success[NonEmptyList[Throwable]]  
  26.   
  27. def greaterEqual[T: Order](value: T, message: String) = {  
  28.   validate(value.lte, message, (_: T))  
  29. }  
  30.   
  31. def lessEqual[T: Order](value: T, message: String) = {  
  32.   validate(value.gte, message, (_: T))  
  33. }  
  34.   
  35. def maxLength[T](conv: T => Int, length: Int, message: String) = {  
  36.   validate(conv(_: T) <= length, message, (_: T))  
  37. }  
  38.   
  39. def maxStringLength(length: Int, message: String) = {  
  40.   maxLength((_: String).length, length, message)  
  41. }  
  42.   
  43. def minLength[T](conv: T => Int, length: Int, message: String) = {  
  44.   validate(conv(_: T) >= length, message, (_: T))  
  45. }  
  46.   
  47. def minStringLength(length: Int, message: String) = {  
  48.   minLength((_: String).length, length, message)  
  49. }  

Personオブジェクトの検証用の個々のプロパティに対する検証の定義は以下の3つになります。

view plainprint?
  1. val ageDef = (  
  2.   intValue,  
  3.   List(greaterEqual(0, "年齢が0より小さいです"),  
  4.        lessEqual(150, "年齢が150より大きいです")))  
  5.   
  6. val nameDef = (  
  7.   stringValue,  
  8.   List(maxStringLength(10, "名前が長すぎます"),  
  9.        minStringLength(2, "名前が短すぎます")))  
  10.   
  11. val addressDef = (  
  12.   stringValue,  
  13.   List(maxStringLength(100, "住所が長すぎます"),  
  14.        minStringLength(10, "住所が短すぎます")))  

参考

諸元

  • Scala 2.9.2
  • Scalaz 6.0.4
投稿者 時刻:
ラベル: , ,

0 件のコメント:

コメントを投稿

登録: コメントの投稿 (Atom)