主页 / coding / 问题 / 78168878
Accepted
zajer
Asked: 2024-03-16 02:04:35 +0800 CST

在 ocaml 中一次匹配多个模式

  • 772

具有如下自定义变体类型：

type yolo = 
| A of string
| B of yolo
| C of yolo * yolo
| D of yolo * yolo

我还有一个函数可以对yolo类似于此的实例执行一些操作：

let rec swag y = 
  match y with
  | A _ -> 1
  | B _ -> 2
  | C (left,right) -> (swag left) + (swag right)
  | D (left,right) -> (swag left) + (swag right)

由于 caseC和的操作D完全相同，我想将它们合并，这可能吗？

pattern-matching

2 个回答

  1. Best Answer

    像这样的模式pat1 | pat2匹配以下两种模式之一：

    let rec swag y = 
match y with
| A _ -> 1
| B _ -> 2
| C (left,right) | D (left,right) -> (swag left) + (swag right)

    当然，这两个模式必须将相同的名称（在本例中为左和右）绑定到相同的类型。

    • 4

  2. 杰弗里的回答是非常正确的。您可能希望考虑，如果您有多个编码相同信息的构造函数，其中构造函数的名称只是用作标志，您可能会更直接地表示这种关系。例如

    type flag = C | D

type yolo = 
| A of string
| B of yolo
| X of flag * yolo * yolo

    进而：

    let rec swag y = 
  match y with
  | A _ -> 1
  | B _ -> 2
  | X (_, left, right) -> swag left + swag right

    您也可以function在此处使用关键字。

    let rec swag = function 
  | A _ -> 1
  | B _ -> 2
  | X (_, left, right) -> swag left + swag right
    • 1

相关问题