仓颉编程语言：模式的 Refutability

懂你的大海

于 2024-08-16 22:42:40 发布

阅读量410

点赞数 5

分类专栏：鸿蒙开发仓颉编程文章标签： java 前端数据库仓颉编程数据结构 harmonyos 鸿蒙

本文链接：https://blog.youkuaiyun.com/Androidbye/article/details/141271361

版权

模式可以分为两类：refutable 模式和 irrefutable 模式。在类型匹配的前提下，当一个模式有可能和待匹配值不匹配时，称此模式为 refutable 模式；反之，当一个模式总是可以和待匹配值匹配时，称此模式为 irrefutable 模式。

对于上述介绍的各种模式，规定如下：

常量模式是 refutable 模式。例如，下例中第一个 case 中的 1 和第二个 case 中的 2 都有可能和 x 的值不相等。

func constPat(x: Int64) {
    match (x) {
        case 1 => "one"
        case 2 => "two"
        case _ => "_"
    }
}

通配符模式是 irrefutable 模式。例如，下例中无论 x 的值是多少，_ 总能和其匹配。

func wildcardPat(x: Int64) {
    match (x) {
        case _ => "_"
    }
}

绑定模式是 irrefutable 模式。例如࿰