鉴于此模式匹配:
List(1,2,3) match {
case head :: tail => println(">>> head=" + head)
}
我假设 '::' 是在 scala.collection.immutable 中找到的 case 类,但是如何允许以这种形式(中缀表示法)写入 '::'? - 是否有特定规则允许这样做?
谢谢
最佳答案
你甚至可以写:
val head :: tail = List(1, 2, 3)
基本上任何需要模式的东西(赋值、
match
语句或 for-comprehension 中的一行)都可以采用提取器,它被定义为具有 unapply
的实体。方法。scala 为您提供的语法糖之一是;如果您有提取器
X(a, b)
,这可以写成 a X b
.这是一个案例类的例子(有一个默认的提取器):scala> case class X(a: Int, b: String)
defined class X
scala> val a X b = X(1, "two")
a: Int = 1
b: String = two
编写此类实体中缀的能力也扩展到类型:
scala> type MappedTo[A, B] = Map[A, B]
defined type alias MappedTo
scala> def foo(m: Int MappedTo String) = m foreach println
foo: (m: MappedTo[Int,String])Unit
请注意,在这两种情况下,scala 都不会将此类中缀运算符限制为符号标识符
关于使用::for 列表的 scala 匹配案例,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8665580/