![](/img/trans.png)
[英]How to ensure type safety with Scala's Refined library when using the same predicate for refinement
[英]Type refinements in Scala but without using refined
我正在尝试创建一个基于 String 的 HexString 类型,它应该满足“它只包含十六进制数字”的条件,如果可能的话,我想让编译器为我检查它。
一个明显的解决方案是使用细化并编写如下内容:
type HexString = String Refined MatchesRegex[W.`"""^(([0-9a-f]+)|([0-9A-F]+))$"""`.T]
refineMV[MatchesRegex[W.`"""^(([0-9a-f]+)|([0-9A-F]+))$"""`.T]]("AF0")
现在,我并不反对提炼,只是我觉得它对于我正在尝试做的事情有点矫枉过正(并且不知道我是否会在其他地方使用它)而且我不愿意导入一个我不确定总体上会使用超过一两次的库,并带来可能看起来像魔术的语法(如果不是对我来说,对团队中的其他开发人员来说)。
另一方面,我可以用纯 Scala 代码编写的最好的代码是带有智能构造函数的值 class,这一切都很好,对我来说感觉很轻,除了我不能进行编译时类型检查。 目前看起来像这样:
final case class HexString private (str: String) extends AnyVal {
// ...
}
object HexString {
def fromStringLiteral(literal: String): HexString = {
def isValid(str: String): Boolean = "\\p{XDigit}+".r.pattern.matcher(str).matches
if (isValid(literal)) HexString(literal)
else throw new IllegalArgumentException("Not a valid hexadecimal string")
}
}
对于大多数代码库,运行时检查就足够了; 但是,我可能需要在某些时候进行编译时检查,而且似乎没有办法实现它,除非使用细化。
如果我可以在不引入太多魔法的情况下使代码尽可能本地化和易于理解,是否可以使用宏并指示编译器针对正则表达式测试赋值的 RHS,并取决于它是否匹配,它会创建 HexString 的实例或吐出编译器错误?
val ex1: HexString = "AF0" // HexString("AF0")
val ex2: HexString = "Hello World" // doesn't compile
除了我使用 Scala 元编写的 ADT 遍历和转换程序之外,我真的没有使用 Scala 宏的经验。
如果您希望fromStringLiteral
在编译时工作,您可以将其设为宏(请参阅 sbt设置)
import scala.language.experimental.macros
import scala.reflect.macros.blackbox
def fromStringLiteral(literal: String): HexString = macro fromStringLiteralImpl
def fromStringLiteralImpl(c: blackbox.Context)(literal: c.Tree): c.Tree = {
import c.universe._
val literalStr = literal match {
case q"${s: String}" => s
case _ => c.abort(c.enclosingPosition, s"$literal is not a string literal")
}
if (isValid(literalStr)) q"HexString($literal)"
else c.abort(c.enclosingPosition, s"$literalStr is not a valid hexadecimal string")
}
然后
val ex1: HexString = HexString.fromStringLiteral("AF0") // HexString("AF0")
//val ex2: HexString = HexString.fromStringLiteral("Hello World") // doesn't compile
如果你想让它像这样工作
import HexString._
val ex1: HexString = "AF0" // HexString("AF0")
//val ex2: HexString = "Hello World" // doesn't compile
然后您还可以使fromStringLiteral
成为隐式转换
implicit def fromStringLiteral(literal: String): HexString = macro fromStringLiteralImpl
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.