Ocaml：匹配子句箭头和引用
在浏览一些代码时，我发现了以下形式的匹配子句：Ocaml：匹配子句箭头和引用,ocaml,Ocaml,在浏览一些代码时，我发现了以下形式的匹配子句： | x::y::[] -> a_ref.contents <- []; [call_function x] |x：：y:：[]->a_ref.contents我想说a_ref实际上是一个列表ref。也就是说，它是对列表的引用（而不是引用列表） 所以这里的技巧是OCaml中的ref秘密地是一个记录，它有一个名为contents的可变字段。有时候知道这一点很方便 然而，在这种情况下，你可以说 a_ref := [] 而不是 a_ref.
| x::y::[] -> a_ref.contents <- []; [call_function x]
|x：：y:：[]->a_ref.contents我想说a_ref
实际上是一个列表ref
。也就是说，它是对列表的引用（而不是引用列表）
所以这里的技巧是OCaml中的ref秘密地是一个记录，它有一个名为contents
的可变字段。有时候知道这一点很方便
然而，在这种情况下，你可以说
a_ref := []
而不是
a_ref.contents <- []
a_ref.contents噢，对不起。我确实是指列表参考编辑后。谢谢你的回答。另一个问题：返回箭头是什么意思？