0
正如我經常觀察的以及我經常實現name
屬性的方法,只是簡單地將它建模爲String
。如何對字符串值格式的約束進行編碼
現在,如果名稱必須遵循某種語法,即格式?在Java中,我可能會定義與它的參數檢查構造函數,像這樣:
public Name(str: String) {
if (str == null) throw new IllegalArgumentException("Str must not be null.");
if (!str.matches("name format expressed as regex")) throw new IllegalArgumentException("Str must match 'regex' but was " + str);
this.str = str;
}
在Scala中我提出了以下解決方案:
import StdDef.Str
import StdDef.Bol
import StdDef.?
import scala.util.parsing.combinator.RegexParsers
final case class Name private (pfx: ?[Str] = None, sfx: Str) {
override def toString = pfx.mkString + sfx
}
object Name extends RegexParsers {
implicit def apply(str: Str): Name = parseAll(syntax, str) match {
case Success(res, _) => Name(res._1, res._2)
case rej: NoSuccess => error(rej.toString)
}
lazy val syntax = (prefix ?) ~! suffix
lazy val prefix = (("x" | "X") ~! hyph) ^^ { case a ~ b => a + b }
lazy val suffix = alpha ~! (alpha | digit | hyph *) ^^ { case a ~ b => a + b.mkString }
lazy val alpha: Parser[Str] = """\p{Alpha}""".r
lazy val digit: Parser[Str] = """\p{Digit}""".r
lazy val hyph: Parser[Str] = "-"
override lazy val skipWhitespace = false
}
我在這裏的意圖是:
- 撰寫一個
Name
從它的自然表示,即一個String
值 - 檢查是否其自然表示在施工時形成有效的
Name
。 - 不允許通過工廠方法
apply:(str:Str)Str
以外的任何其他施工。 - 從其自然表示中隱含,例如
val a: Name = "ISBN 978-0-9815316-4-9"
。 - 根據其句法元素將
Name
分解爲其各個部分。 - 有被拋出與信息的錯誤,如:
===
--
^
[1.3] error: string matching regex `\p{Alpha}' expected but end of source found
我想知道你拿出什麼解決方案。
在給出了一些更多的想法之後,我正在採取以下方法。
Token.scala:
abstract class Token {
val value: Str
}
object Token {
def apply[A <: Token](ctor: Str => A, syntax: Regex) = (value: Str) => value match {
case syntax() => ctor(value)
case _ => error("Value must match '" + syntax + "' but was '" + value + "'.")
}
}
Tokens.scala:
final case class Group private (val value: Str) extends Token
final case class Name private (val value: Str) extends Token
trait Tokens {
import foo.{ bar => outer }
val Group = Token(outer.Group, """(?i)[a-z0-9-]++""".r)
val Name = Token(outer.Name, """(?i)(?:x-)?+[a-z0-9-]++""".r)
}