Scala:如何将 `MatchesRegex` 细化与包含反引号的正则表达式(细化库)一起使用？

Question

refined库允许定义匹配给定 regex 的细化，如 Readme 所示:

import eu.timepit.refined._
import eu.timepit.refined.string._
import eu.timepit.refined.api.Refined

type MyType = String Refined MatchesRegex[W.`"[0-9]+"`.T]

虽然这工作得很好，但我们不能用这种方式定义一个匹配包含反引号的正则表达式的类型，因为如描述 here无法在 literal 中转义反引号:

 type MyType = String Refined MatchesRegex[W.`"(a|`)"`.T]

 // Getting a compile-error:
 // ']' expected but ')' found.

那么是否有一种方法可以定义这种类型(即 MatchesRegex 以及包含反引号的正则表达式)？

Answer 1

这样做的一种方法是使用 singleton types在 Scala 2.13 或 Typelevel Scala 中可用.

对于 Typelevel Scala，您需要在 build.sbt 中添加/替换:

scalaOrganization := "org.typelevel",
scalaVersion := "2.12.4-bin-typelevel-4", // Assuming you are using scala 2.12

并且你需要添加编译器标志-Yliteral-types:

scalacOptions := Seq(
                  ..., // Other options
                  "-Yliteral-types"
                 )

现在 refined 类型可以简单地是:

import eu.timepit.refined._
import eu.timepit.refined.api.Refined

type MyType = String Refined MatchesRegex["""(a|`)"""]