如何将构造函数作为参数传递并对其进行模式匹配？

你遇到的问题核心是：模式匹配中的*exc*是新的变量绑定，而非对函数参数*exc*的匹配。要实现预期异常的判断，可以通过以下两种方式：

方法一：使用*when*守卫结合异常比较 #

OCaml的Pervasives模块提供了(=)运算符可以比较异常是否相等，我们可以在模式匹配中加入*when*守卫来判断捕获的异常是否等于传入的预期异常：

let expect_raises f exc =
  try
    f ();
    "No error raised"
  with
  | e when e = exc -> "Expected error raised"
  | e -> "Unexpected error raised"
in
expect_raises (fun () -> raise Not_found) Not_found;;  (* 返回 "Expected error raised" *)
expect_raises (fun () -> raise Invalid_argument "bad") Not_found;;  (* 返回 "Unexpected error raised" *)

注意：这种方式对带参数的异常也有效，比如Invalid_argument "bad"和Invalid_argument "bad"会被判定为相等，但Invalid_argument "bad"和Invalid_argument "wrong"则不相等。

方法二：传入异常判断函数 #

如果需要更灵活的匹配逻辑（比如忽略异常参数只匹配异常构造器），可以传入一个判断函数而非异常实例：

let expect_raises f is_expected =
  try
    f ();
    "No error raised"
  with
  | e when is_expected e -> "Expected error raised"
  | e -> "Unexpected error raised"
in
// 匹配Not_found异常
expect_raises (fun () -> raise Not_found) (function Not_found -> true | _ -> false);;
// 匹配任意Invalid_argument异常，忽略参数
expect_raises (fun () -> raise Invalid_argument "bad") (function Invalid_argument _ -> true | _ -> false);;

这种方式的优势是可以自定义匹配规则，比如对带参数的异常进行模糊匹配。

注意事项 #

• 第一种方法依赖异常的相等性比较，对于部分自定义异常，如果没有正确实现相等逻辑，可能会出现不符合预期的结果，但OCaml内置异常的比较都是符合直觉的。
• 不要在模式匹配中直接使用和参数同名的变量，这会遮蔽外部参数，导致匹配逻辑失效。

内容的提问来源于stack exchange，提问作者Anentropic