我想用Ocaml写一个函数,给定一个四元组列表和一个四元组(x,y,z,f),返回一个包含元组(x',y',z',g)的列表,使得x = x'或y=y'或z = z'(这些是整数)。这是我的第一次尝试
let rec constrained_by c list =
match s with
| []-> []
| hd :: tl ->
begin
let Cell(x,y,r,_)= c in (*warning*)
begin
match hd with
| Cell(x,_,_,Some(_))-> hd::constrained_by c tl
| Cell(_, y, _,Some(_)) -> hd::constrained_by c tl
| Cell(_, _, r,Some(_)) -> hd::constrained_by c tl
| _ -> constrained_by c tl
end
end
问题:当调用它时,无论我们匹配的是什么四元组,它都会返回原始列表。此外,问题是它返回警告,x,y, r在行(warning)未使用。
正如Gian所说,守卫是解决问题的方法。好消息是代码可以更接近您编写的规范:
let rec constrained_by ((x,y,z,_) as c) list = match list with
| [] -> []
| ((x',y',z',_) as c') :: tl when x = x' or y=y' or z=z' ->
c' :: constrained_by c tl
| hd :: tl -> constrained_by c tl
;;
小测试:
let _ = constrained_by (1,2,3,"foo") [1,0,0,0; 0,2,0,0; 0,0,3,0; 0,0,0,0];;
- : (int * int * int * int) list = [(1, 0, 0, 0); (0, 2, 0, 0); (0, 0, 3, 0)]
注意您也可以使用List.filter
:
let constrained_by (x,y,z,_) = List.filter (fun (x',y',z',_) -> x = x' or y=y' or z=z');;
我认为你在那里滥用模式匹配。像Cell(x,_,_,Some(_))
这样的模式将匹配任何东西,因为它正在重新绑定x
。作用域中存在变量x
这一事实并不意味着它将坚持该元组元素具有与x
相同的值。你的三个模式在它们匹配的结果上是完全相等的。
如果您想要这样完成任务,则可能需要考虑使用守卫。