2011年12月23日金曜日

ScalazでBean Validation

このエントリはScala Advent Calender 2011の第23日目です。

Java業界で今年最大のニュースといえば、Oracle Open Worldで発表されたOracleのクラウド参入を上げる人も多いでしょう。OracleのPaaSが成功するのかどうかは未知数ですが、Java EEがPaaSのプラットフォームとして強力に推進されることは確実で、Java VM系での標準コンテナ仕様になるとみて間違いないと思います。

現状では、WebアプリケーションをJavaで作る場合TomcatやJettyなどの生ServletにSpringなどのフレームワークを載せて使うのが一般的で、Java EEのEJBはあまり使われていません。Java EEからEJBを引くと生Servletになるのであれば、Java EE仕様はあまり関係なくて、今まで通りTomcatやJettyベースでよいことになります。

しかし、実はJava EEのプラットフォームも地味に進歩してきていて、Java EEからEJB(のフルスペックやその他管理系の機能)を引いた部分の機能がかなり大きくなってきており、生Servletとの乖離が大きくなっています。この部分は、Java EEのWeb Profileとして仕様化もされています。Java EEのフルスペックは大変ですが、Web Profileなら使用頻度とのバランス的にリーズナブルな大きさであり、このWeb ProfileがJava VM系のPaaS標準仕様になると予想されるわけです。

ScalaもJava VM上で動作させることが普通なので、Javaプラットフォームの進化とは切っても切れない関係です。そういうわけでScalaでクラウドアプリケーションを書く場合も、Java EEのWeb Profileを念頭に置いておきたいところです。

Web Profileではいくつか重要な機能が追加されていますが、その一つがBean Validationです。Bean Validationは、Java Beansのプロパティを検証する機能です。プロパティ(属性やメソッド)に対するアノテーションで指定された値の値域と実際に格納されている値がマッチしているか検証してくれます。この機能は、普通のJava SEベースのプログラムでも利用したいぐらいの便利な機能で、たまたまJava EEの枠組みで仕様化されていますが、事実上Javaの標準機能といえます。(Jarを追加すればJava SE上でも簡単に使えます。) そういう意味でもScalaプログラミングにも積極的に取り入れたいところです。

さて、ScalaでValidationといえばScalaz Validationですね(笑)。

Scalaz Validationは、applicative functorとして実現されたValidationクラスを中心とした機能で、いわゆるapplicative styleというプログラミングスタイルで、正常系処理と異常系処理を綺麗に取り扱うメカニズムを提供します。

Scalaでクラウドアプリケーションを作る場合、Beans ValidationとScalaz Validationを併用するのが望ましいことはいうまでもありません。そこで、この2つのValidationシステムを統一的に扱うためのプログラミング方法を試行することにしました。

Person

まず、検証対象となるクラスをPersonを定義します。通常のScalaクラスですが、属性に@NotNullや@Size(min=1)といったアノテーションがつけられている点がBean Validationのための追加点です。

  1. class Person(nm: String, ag: Int, ad: Option[String]) {  
  2.   @NotNull @Size(min=1)  
  3.   val name: String = nm  
  4.   @Min(0@Max(150)  
  5.   val age: Int = ag;  
  6.   @NotNull // Option内の判定はできない  
  7.   val address: Option[String] = ad  
  8. }  

本来は、case classを使いたいところですが、コンストラクタの引数につけたアノテーションをBean Validationは認識してくれないみたいなので、泣く泣くこの実装にしています。これは、ScalaからBean Validationを使うときの要注意項目ですね。

また、Optionの中身はBean Validationの基本機能では扱えないので、より本格的に作り込む場合は、カスタムのバリデーターを作る必要があります。

Personのコンパニオンオブジェクト

次に、Personクラスを操作するための関数を集めたコンパニオンオブジェクトPersonを定義します。ここで、Bean ValidationとScalaz Validationを接続する処理を実現します。

以下では、プログラムに直接コメントしていきます。

  1. object Person {  
  2.   // Scalaでは、型名が長くなることが多いので、よく使うものはtypeで定義しておくとよい。  
  3.   type ViolationNelA[A] = NonEmptyList[ConstraintViolation[A]]  
  4.   type ViolationNel = ViolationNelA[Person]  
  5.   type ValidationB[B] = Validation[ViolationNel, B]  
  6.   
  7.   // javax.validationパッケージからBeanValidationのValidatorを取得。  
  8.   val validator = {  
  9.     // Validationがscalaz.Validationと重なるので、BeanValidationという名前で取り込む。  
  10.     import javax.validation.{Validation => BeanValidation}  
  11.     val vf = BeanValidation.buildDefaultValidatorFactory()  
  12.     vf.getValidator()  
  13.   }  
  14.   
  15.   def isValid(p: Person) = validate(p).isEmpty  
  16.   
  17.   // Bean Validatorを使って、Personオブジェクトの検証を行う。  
  18.   // asScala.toListでScalaのListに格納する。  
  19.   // ConstraintViolationはBean Validatorが検出した異常情報。  
  20.   def validate(p: Person): List[ConstraintViolation[Person]] = {  
  21.     validator.validate(p).asScala.toList  
  22.   }  
  23.   
  24.   // 指定された値からPersonオブジェクトを生成する。成功した場合はscalaz.SuccessにPersonオブジェクトを、失敗した場合はscalaz.FailureにConstraintViolationのリストを格納する。  
  25.   // scalaz.Successとscalaz.FailureはScalaz.Validationのサブクラスでそれぞれ検証の成功と失敗を示す。  
  26.   // この関数でBean Validationの結果をScalaz Validation化している。  
  27.   def createV(name: String, age: Int, address: Option[String]): ValidationB[Person] = {  
  28.     val p = new Person(name, age, address)  
  29.     validate(p) match {  
  30.       case vs if vs.isEmpty => p.success  
  31.       // vs.toNel.get.failといったものがScalaz的な書き方。コンパクトに記述できる。  
  32.       case vs => vs.toNel.get.fail  
  33.     }  
  34.   }  
  35.   
  36.   // Bean Validationは、Java Beanに値を設定した後にしか使えない。  
  37.   // Webアプリなどで、生文字列からJava Beansを生成する場合、文字列が適切な値に変換できないため、そもそもJava Beansを生成できないケースもある。そのケースを取り扱うため、文字列からの値変換に失敗した場合はその時点でエラー、Java Beansを生成後はBean Validatorで検証し、いずれの場合も結果はscalaz.Validationで通知する。  
  38.   def createVFromStrings(name: String, age: String, address: String): Validation[NonEmptyList[String], Person] = {  
  39.     // 型名が長くなりがちなので、内部関数やvalで吸収する。  
  40.     // 名前はコメントをつける気持ちでつけるとよい。  
  41.     def parseint(s: String, name: String) = s.parseInt match {  
  42.       case Success(a) => a.success[NonEmptyList[String]]  
  43.       case Failure(e) => violationmsg(name, s, e.getMessage).fail.liftFailNel  
  44.     }  
  45.     def parsestring(a: String, name: String) = a.success[String].liftFailNel  
  46.     def parseoption[T](a: Option[T], name: String) = a.success[String].liftFailNel  
  47.     def constraintviolation2string(cv: ConstraintViolation[Person]) = {  
  48.       violationmsg(cv.getPropertyPath.toString, cv.getInvalidValue.toString, cv.getMessage)  
  49.     }  
  50.     def violationmsg(path: String, value: String, msg: String) = {  
  51.       "%s = %s: %s".format(path, value, msg)  
  52.     }  
  53.     // ロジックの中心は内部関数を使ってコンパクトに書く  
  54.     (parsestring(name, "name") |@| parseint(age, "age") |@| parseoption(Option(address), "address"))(createV(_, _, _)) match {  
  55.       case Success(Success(a)) => a.success[String].liftFailNel  
  56.       case Success(Failure(e)) => e.map(constraintviolation2string(_)).fail  
  57.       case Failure(e) => e.fail[Person]  
  58.     }  
  59.   }  
  60.   
  61.   // List[ValidationB[Person]]をValidationB[List[Person]]に変換。型クラスTraverseと似たような動き。  
  62.   // TraverseでValidationをうまく扱うことができなかったので、foldrで実装してみた。  
  63.   // 「(s <**> p)(_ :: _)」の所がapplicative styleのプログラミング。ValidationがSuccessの場合に走るロジック(正常処理)を記述する。ValidationがFailureの場合(異常処理)は、applicative functorであるValidationのコンテナ側が実装している裏ロジック(?)が走って、monoidとして実現されているエラー情報を蓄積していく。  
  64. // applicative functorのメカニズムを用いることでプログラマが記述する正常系ロジックとValidationが自動的に実行する異常系ロジックを綺麗に分離できる。  
  65.   def sequenceV(persons: List[ValidationB[Person]]): ValidationB[List[Person]] = {  
  66.     persons.foldr(mzero[List[Person]].success[ViolationNel])((s, p) => (s <**> p)(_ :: _))  
  67.   }  
  68. }  

applicative functorはfunctorとmonadの中間に位置する型クラスです。それぞれ計算の文脈(コンテナ)の扱いに違いが出てきます。functorはピュアなアプリケーションロジック実行後ピュアな文脈(コンテナ)を生成、monadはアプリケーションロジックが文脈(コンテナ)を操作するのに対して、applicative functorはピュアなアプリケーションロジックの裏で暗黙的に文脈(コンテナ)が引き継がれていきます。このapplicative functorの有名な応用がValidationで、実際に触ってみるとピュアなアプリケーションロジックをベースに文脈(コンテナ)依存の処理を進められるapplicative styleのプログラミングがなかなか便利なことが分かります。

ValidationMatchers

Bean ValidationをScalaプログラムで扱うときは、ScalaTestのボキャブラリとなるカスタムマッチャーを作っておくと便利です。Bean ValidationとScalaz Validationを併用するので、両方の機能を包含したValidationMatchersを定義することにします。

  1. package advent2011  
  2.   
  3. import org.scalatest.matchers._  
  4. import javax.validation.ConstraintViolation  
  5. import scalaz._  
  6. import Scalaz._  
  7.   
  8. // アプリケーションロジックのためのボキャブラリの追加はtraitの典型的な使い方の一つ。  
  9. trait ValidationMatchers {  
  10.   // Bean Validation用のボキャブラリ  
  11.   def containViolations(violations: List[(String, String)]) = {  
  12.     ContainViolationsMatcher(violations)  
  13.   }  
  14.   
  15.   // Scalaz Validation用のボキャブラリ  
  16.   object success extends ValidationSuccessMatcher  
  17.   def fail(messages: List[String]) = {  
  18.     ValidationFailMatcher(messages)  
  19.   }  
  20. }  
  21.   
  22. // Bean Validation用のマッチャー。  
  23. // BeMatcherやMatcherをextendsして、applyメソッドを定義するだけなので非常に簡単。  
  24. // テスト用のボキャブラリを簡単に追加できる。  
  25. case class ContainViolationsMatcher(violations: List[(String, String)]) extends BeMatcher[List[ConstraintViolation[_]]] {  
  26.   def apply(value: List[ConstraintViolation[_]]) = {  
  27.     def iscontain(nm: (String, String)) = {  
  28.       val (name, message) = nm  
  29.       value.any(v => v.getPropertyPath.toString == name && v.getMessage == message)  
  30.     }  
  31.     // allはscalazの型クラスFoldableの関数。関数名に∀の記号を使うこともできる。  
  32.     val result = violations.all(iscontain)  
  33.     MatchResult(result, "does not contains expected violation""contains expected violation")  
  34.   }  
  35. }  
  36.   
  37. // Scalaz Validation用のマッチャー。Successの判定をする。  
  38. case class ValidationSuccessMatcher() extends Matcher[Validation[NonEmptyList[String], _]] {  
  39.   def apply(value: Validation[NonEmptyList[String], _]) = {  
  40.     val result = value.isSuccess  
  41.     MatchResult(result, "failure""success")  
  42.   }  
  43. }  
  44.   
  45. // Scalaz Validation用のマッチャー。Failureの判定をする。  
  46. case class ValidationFailMatcher(messages: List[String]) extends Matcher[Validation[NonEmptyList[String], _]] {  
  47.   def apply(value: Validation[NonEmptyList[String], _]) = {  
  48.     value match {  
  49.       case Success(a) => MatchResult(false"incorrect success""")  
  50.       case Failure(e) => if (e.all(messages.contains)) {  
  51.         MatchResult(true"""correct failure")  
  52.       } else {  
  53.         MatchResult(false"incorrect failure""")  
  54.       }  
  55.     }  
  56.   }  
  57. }  

PersonSpec

最後に、Personの使い方をScalatestのWordSpecで書いてみました。WordSpecはBDD(Behavior Driven Development)スタイルのSpecを記述するためのクラスです。Scalatest標準のShouldMatchersに加えて、先ほど作成したValidationMatchersのボキャブラリを追加しています。
ScalatestのBDDは、テスト用のアプリケーションロジックと結果判定がコーディングスタイル上明確に分離できるので、プログラムの視認性が高くなります。また、カスタムマッチャーを作り足すことで、より英文っぽい記述が可能になるので、そのあたりの遊び的な要素がプログラミングを進める上で良い感じです。

  1. class PersonSpec extends WordSpec with ShouldMatchers with ValidationMatchers {  
  2.   "A Person" should {  
  3.     "provide isValid and validate operation" that {  
  4.       "against valid Person" in {  
  5.         val p = new Person("taro"30"Yokohama".some)  
  6.         Person.isValid(p) should be (true)  
  7.         Person.validate(p) should be === Nil  
  8.       }  
  9.       "against invalid Person" in {  
  10.         val p = new Person("", -150null)  
  11.         val expected = List("address" -> "may not be null",  
  12.                             "name" -> "size must be between 1 and 2147483647",  
  13.                             "age" -> "must be greater than or equal to 0")  
  14.         Person.isValid(p) should be (false)  
  15.         Person.validate(p) should have length (expected.size)  
  16.         // 追加したボキャブラリを使用  
  17.         Person.validate(p) should be (containViolations(expected))  
  18.       }  
  19.     }  
  20.     "provide createV to create Person with Validation." that {  
  21.       // アプリケーションロジックを普通のScalaプログラム的に書いた場合。  
  22.       "Plain usage." in {  
  23.         val taro = Person.createV("taro"30, Some("Yokohama"))  
  24.         val hanako = Person.createV("hanako"25, Some("Kamakura"))  
  25.         if (taro.isSuccess && hanako.isSuccess) {  
  26.           val tage = taro match {  
  27.             case Success(p) => p.age  
  28.           }  
  29.           val hage = hanako match {  
  30.             case Success(p) => p.age  
  31.           }  
  32.           val avg = (tage + hage) / 2.0  
  33.           avg should be (27.5)  
  34.         } else {  
  35.           sys.error("invalid")  
  36.         }  
  37.       }  
  38.       // アプリケーションロジックをScalazのapplicative styleで書いた場合。  
  39.       // よりコンパクトで分かりやすく記述できる。  
  40.       "Scalaz usage, applicative style." in {  
  41.         val taro = Person.createV("taro"30, Some("Yokohama"))  
  42.         val hanako = Person.createV("hanako"25, Some("Kamakura"))  
  43.         val avgv = (taro <**> hanako)((x, y) => (x.age + y.age) / 2.0)  
  44.         // この段階までValidationの文脈(コンテナ)の上で計算が進んでいる。  
  45.         // 以下のmatch式で、アプリケーションロジックが正常に動作した場合と、エラーがある場合を分離して、それぞれのロジックを記述している。  
  46.         avgv match {  
  47.           case Success(avg) => avg should be (27.5)  
  48.           case Failure(e) => sys.error("invalid")  
  49.         }  
  50.       }  
  51.     }  
  52.     "provide createV and sequenceV for applicative style." that {  
  53.      // ValidationのListを扱う場合2例。いずれもapplicative style。  
  54.       "Use sequenceV to convert List[Validation[Person]] to Validation[List[Person]] " in {  
  55.         val taro = Person.createV("taro"30, Some("Yokohama"))  
  56.         val hanako = Person.createV("hanako"25, Some("Kamakura"))  
  57.         val jiro = Person.createV("jiro"35, Some("Tokyo"))  
  58.         val persons = List(taro, hanako, jiro)  
  59.         val personsv = Person.sequenceV(persons)  
  60.         val avgv = personsv.map(x => x.map(_.age).sum.toFloat / x.length)  
  61.         avgv match {  
  62.           case Success(avg) => avg should be (30.0)  
  63.           case Failure(errors) => sys.error("invalid")  
  64.         }  
  65.       }  
  66.       "Use foldl to sum of age" in {  
  67.         val taro = Person.createV("taro"30, Some("Yokohama"))  
  68.         val hanako = Person.createV("hanako"25, Some("Kamakura"))  
  69.         val jiro = Person.createV("jiro"35, Some("Tokyo"))  
  70.         val persons = List(taro, hanako, jiro)  
  71.         val sumv = persons.foldl(0.success[Person.ViolationNel])((s, p) => (s <**> p)(_ + _.age))  
  72.         val avgv = sumv.map(_.toFloat / persons.length)  
  73.         avgv match {  
  74.           case Success(avg) => avg should be (30.0)  
  75.           case Failure(errors) => sys.error("invalid")  
  76.         }  
  77.       }  
  78.     }  
  79.     "provide createVFromStrings to create Person from plain strings." that {  
  80.       "Valid parameters." in {  
  81.         val person = Person.createVFromStrings("taro""30""Yokohama")  
  82.         // 追加したボキャブラリを使用  
  83.         person should success  
  84.       }  
  85.       "Invalid parameters of type mismatch." in {  
  86.         val person = Person.createVFromStrings("""a""Yokohama")  
  87.         val expected = List("""age = a: For input string: "a"""")  
  88.         // 追加したボキャブラリを使用  
  89.         person should fail(expected)  
  90.       }  
  91.       "Invalid parameters of invalid value." in {  
  92.         val person = Person.createVFromStrings("""30""Yokohama")  
  93.         val expected = List("""name = : size must be between 1 and 2147483647""")  
  94.         // 追加したボキャブラリを使用  
  95.         person should fail(expected)  
  96.       }  
  97.     }  
  98.   }  
  99. }  
実行結果は以下のようになります。トップレベル, that, inの三層でテストを整理できるのがなかなか便利です。
[info] PersonSpec:
[info] A Person 
[info]   should provide isValid and validate operation that 
[info]   - against valid Person
[info]   - against invalid Person
[info]   should provide createV to create Person with Validation. that 
[info]   - Plain usage.
[info]   - Scalaz usage, applicative style.
[info]   should provide createV and sequenceV for applicative style. that 
[info]   - Use sequenceV to convert List[Validation[Person]] to Validation[List[Person]] 
[info]   - Use foldl to sum of age
[info]   should provide createVFromStrings to create Person from plain strings. that 
[info]   - Valid parameters.
[info]   - Invalid parameters of type mismatch.
[info]   - Invalid parameters of invalid value.
[info] Passed: : Total 9, Failed 0, Errors 0, Passed 9, Skipped 0
[success] Total time: 2 s, completed 2011/12/23 11:54:09

まとめ

Bean ValidationとScalaz Validationを併用する方法について試行してみました。
Bean Validation用のアノテーションとScalaの相性に若干問題があるようですが、プログラミング的には特に問題なくシームレスに繋げることが確認できました。

また、Scalaz Validationの実現技術であるapplicative functorによるapplicative styleによるプログラミング、ScalatestによるBDDという技術も合わせて使ってみました。いずれもJavaでは実用化が難しい技術で、Scalaを使うメリットですね。

今回使用した技術は以下のものになります。合わせてプログラミングしてみてJava EE web profile技術、Scalaz、ScalaTestによるTDD/BDDといったところがScalaプログラミングのベースになりそう、という感を強くしました。

  • Bean Validation
  • Scalaz Validation
  • Scalaz applicative functor (applicative style)
  • Scalatest BDD
  • Scalatest カスタムマッチャー

0 件のコメント:

コメントを投稿