如何更改记录中的部分值？

Question

我定义了这样的类型：

type s_program =
    { globals : s_var list;
      main: s_block; }
and s_var =
    { s_var_name: string;
      s_var_type: s_type;
      s_var_uniqueId: s_uniqueId }
and s_uniqueId = int

在我的程序中，我有一个变量 p: s_program，但我需要更改 的每个元素的 s_var_uniqueId例如，p.globals 将 1 添加到每个 s_var_uniqueId 中。我有一些问题：

1) 我可以直接修改 p 中的相关值，还是必须将新值分配给新的 p':s_program

2) 我可以写这样的话：

let p' = 
  { p with 
     globals = List.map (fun var -> { var with s_var_uniqueId = var.s_var_uniqueId + 1 }) p.globals

非常感谢。

编辑 1：按照建议更正 with 部分

Answer 1

1) 这取决于您是否想使用 Ocaml 作为命令式编程语言或函数式编程语言:)。如果是前者，您可以使记录的两个字段都可变（通过在字段名称前添加 mutable 关键字），然后就地更改它们。不过，我强烈建议不要这样做，并：

2）采用第二种方法，它看起来非常好（除了您似乎缺少第二个记录修改的 {...} 。

Answer 2

首先，您可能需要阅读记录在OCaml 和本章有关可修改数据结构。如前所述，您将看到记录是不可变的。其次，您需要考虑您真正想要的是什么：可变记录、具有可变字段的记录或具有可变字段的可变记录。例如，假设我们有一个复数记录（这与 参考 1)。

type complex = { re:float; im:float } ;;

如果您声明类似的内容

let c = {re=2.;im=3.} ;;

，则您既不能更改 c 也不能更改 re （或 im）。事实上，c := {re=4.;im=6.} ;; 或 c.re := 4.;; 都会因错误而失败。要获取可变记录，您只需使用 c 的引用。

let c = ref {re=2.;im=3.} ;;

然后您可以将 c 更改为 c := {re=4.;im=6.} ;;。但我认为你想要有可变的字段！然后你必须精确地确定哪些字段是可变的。假设您希望所有字段都是可变的，您可以编写

type complex = { re:float ref; im:float ref }
let make_complex r i = { re = ref r ; im = ref i } 
let c = make_complex 3. 4.
;;

然后更改字段，

c.re := 6. ; c.im := 7. ;;

使用 float ->; 类型的函数会更容易浮动-> ()

let change_re c r = c.re := r ;;
let change_im c i = c.im := i ;;
let change_complex c r i = change_re c r ; change_im c i ;;

但是，我建议您认真考虑在代码中引入这样的命令式功能。这可能是一种完全破坏其可读性的简单方法。