ocaml 中的 {X with value}

Question

我在 Yacfe 示例：

  Visitor_c.vk_program { Visitor_c.default_visitor_c with
    Visitor_c.kexpr = (fun (k, bigf) exp -> 
      match Ast_c.unwrap_expr exp with
      | Binary(e1, Logical (Eq), (((Constant(Int("0")) as _e2),_t),ii)) -> 

          (match Ast_c.get_onlytype_expr e1 with 
          | Some (qu, (Pointer _,_ii)) -> 

              let idzero = Common.tuple_of_list1 ii in
              idzero.cocci_tag := 
                Ast_cocci.MINUS (Ast_cocci.NoPos, [[null_addon]]), [];

          | _ -> k exp
          )
      | _ -> k exp
    );
  } ast;

我可以看到一个函数调用，其中记录初始化为第一个参数，ast 作为第二个参数。

我不熟悉的是这种形式的语法：

{Visitor_c.default_visitor_c with Visitor_c.kexpr = some_value;}

这是什么意思？ 我知道可以像 {name=value;name=value;...} 那样初始化记录，但我不熟悉 {X with name=value}，你能告诉我这是什么意思吗？

我在 Ocaml 手册 中找不到任何关于除了以下情况之外的合法记录值初始化：

6.2.3 记录

记录值被标记为元组 价值观。 写入的记录值{ 字段1 = v1； ……； 场 n = vn } 将值 vi 与记录关联 字段 fieldi，对于 i = 1 … n。 这 当前的实现支持 最多 222 − 1 个字段的记录 （4194303 个字段）。

如果您在回答中包含对 OCaml 手册中相关部分的引用，我将很高兴。

Answer 1

这有时称为“记录更新”或“功能更新”或类似的名称。 它计算出与 X 类型相同的新记录，其字段初始化为与 X 中的字段相同，但“with”后面列出的字段除外，这些字段被初始化为给定值。

它对于不可变记录很有用，作为一种获取此类记录并更改其上的一两个内容的便捷方法（在命令式语言中，您通常会改变字段），而不必列出所有未更改的字段。

OCaml 手册第 6.7.3 节对此进行了描述，向下滚动到“记录”，第二段。

对于熟悉 Haskell 的人来说，OCaml 语法

{ expr with field1 = expr1 ; ... ;  fieldn = exprn }

与 Haskell 语法相同

expr { field1 = expr1 , ... ,  fieldn = exprn }

Answer 2

为了更正之前的回复，新记录并不总是与旧记录具有相同的类型。
例如，您可以有类似的

type 'a t = {
  id : int;
  value : 'a;
}
let old_t = { id = 3; value = "foo" }
let new_t = { old_t with value = 3 }

结果：old_t 的类型为 string t，而 new_t 的类型为 int t。