在 Elm 中，_ 是什么意思？

Question

在 Elm 中，_ 是什么意思？

6

我在查看http://elm-lang.org/examples/zip上的zip示例，对于Elm中的_具体代表什么有疑问。

zip : List a -> List b -> List (a,b)
zip xs ys =
   case (xs, ys) of
    ( x :: xs', y :: ys' ) ->
        (x,y) :: zip xs' ys'

    (_, _) ->
        []

我的直觉是它的意思是“其他所有东西”，但这是否意味着任何有效的值？如果没有值怎么办？

- wmock

1

如Dennis Reimann在这篇文章中所述，使用_可以定义占位符，用于忽略或跳过某些值。 - Tyler Benzing

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- robertjlooby · Accepted Answer

_ 用于匹配任何你不关心其值的内容，因此通常用于匹配“其他所有”情况。

在你的示例代码中，(_, _) 将匹配任何有两个值的元组。请注意，它也可以被替换为只是 _，因为你最终不关心任何一个值。更形象的例子是，当你关心元组中的一个值而不关心另一个值时，例如实现 fst 在核心包中。

fst : (a,b) -> a
fst (a,_) =
  a

我们不关心元组中的第二个值，所以它只需与该位置上的 _匹配。

Elm 中没有 null 或 undefined，因此您不必担心不存在“无值”的情况（如果某物没有值，则使用 Maybe 类型）。