scala – 如何在模式匹配期间进行隐式转换

发布时间：2020-12-16 18:51:30 所属栏目：安全来源：网络整理

导读：我有关键字和运算符的枚举(以及其他一些),例如(都相似)： object Keywords extends Enumeration { val AND,ARRAY,BEGIN,...= Value case class Keyword(keyword: Value) extends Token[Value] { def this(keyword: String) = this(Keywords.fromString(keywo

我有关键字和运算符的枚举(以及其他一些),例如(都相似)：

object Keywords extends Enumeration {
    val AND,ARRAY,BEGIN,...= Value

    case class Keyword(keyword: Value) extends Token[Value] {
        def this(keyword: String) = this(Keywords.fromString(keyword))
        def value = keyword
    }

    implicit def valueToKeyword(keyword: Value) = new Keyword(keyword)
}

这种隐式转换允许我传递枚举值,其中需要令牌,例如

def testFunction[T](t: Token[T]) = ...
testFunction(Keywords.ARRAY) // gets converted
testFunction(Operators.PLUS) // gets converted too

似乎在匹配期间不应用相同的隐式转换,即

val token = new Keyword("ARRAY")
token match {
    case Keywords.ARRAY => ... // not selected but SHOULD be
    case Operators.PLUS => ... // completely different Enum
    ...
}

为什么？怎么克服这个？

解决方法

这不起作用,因为：

token match {
  case Keywords.ARRAY => println("Array")
  case _ => println("Something else")
}

本质上是一个具有以下类型签名的PartialFunction：PartialFunction [Keywords.Value,Unit].这意味着不会应用隐式,因为它是isDefinedAt或不适用于该输入.

如果未定义,则为_ => …将捕获我的示例代码中的所有内容.如果它没有完全定义,没有任何东西可以匹配它那么你会得到一个MatchError抛出.

在您的情况下,Token [Value]类型的标记未在匹配将编译到的Partial Function中定义,因为只定义了Keywords.Value的类型.

三种解决方案

如果你真的想要implicits然后你可以明确地要求隐含(是的,那句话很有趣:))

implicitly[Keywords.Value](token) match {
  case Keywords.ARRAY => println("Array")
  case _ => println("Something else")
}

或者您可以显式声明令牌的类型,以调用隐式魔术：

val token: Keywords.Value = new Keyword("ARRAY")
token match {
  case Keywords.ARRAY => println("Array")
  case _ => println("Something else")
}

或者最简单的解决方案,如果你可以没有暗示：

token.value match {
  case Keywords.ARRAY => println("Array")
  case _ => println("Something else")
}

我知道这不是你正在寻找的答案,但我希望你理解匹配{…}真正意味着什么和部分功能是什么.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!