Scala是否有相当于ML的“as”结构的声明？

发布时间：2020-12-16 21:32:57 所属栏目：安全来源：网络整理

导读：在ML中,可以为匹配模式的每个元素分配名称： fun findPair n nil = NONE| findPair n (head as (n1,_))::rest = if n = n1 then (SOME head) else (findPair n rest) 在这段代码中,我为列表的第一对定义了一个别名,并匹配了该对的内容. Scala中有相当的构造

在ML中,可以为匹配模式的每个元素分配名称：

fun findPair n nil = NONE
| findPair n (head as (n1,_))::rest =
    if n = n1 then (SOME head) else (findPair n rest)

在这段代码中,我为列表的第一对定义了一个别名,并匹配了该对的内容. Scala中有相当的构造吗？

解决方法

您可以使用@符号进行 variable binding,例如：

scala> val wholeList @ List(x,_*) = List(1,2,3)
wholeList: List[Int] = List(1,3)
x: Int = 1

（编辑：李大同）

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