1

我正在编写一个交换两个引用调用内容的函数。

let swap (x : a ref) (y :'a ref) : unit =

在哪里 

type 'a ref = {mutable contents : 'a}

我不知道采取什么方法来解决这个问题。我使用模式匹配吗？

这是我的测试用例

let test () : bool = 
let r1 = { contents = 5 } in
let r2 = { contents = 6 } in
let _ = swap r1 r2 in
((6,5) = (r1.contents,r2.contents))
;; run_test "Swap different" test
4

1 回答 1

3

这行得通吗？

let swap x y = 
  let z = !x in
  x := !y;
  y := z

请注意，:=and!只是正常的功能，如下所示：

let (:=) r x = r.contents <- x
let (!) {contents} = contents

如果你想使用自己的类型定义，那么你可以这样做：

let swap' x y = 
  let z = x.contents in
  x.contents <- y.contents;
  y.contents <- z

最后，如果您使用电池，那么您可以BatRef.swap按照此处定义的方式使用：http: //ocaml-batteries-team.github.com/batteries-included/hdoc2/BatRef.html

于 2013-02-19T14:37:29.603 回答