Question

作为Ocaml的初学者，我有这个当前的工作代码：

...
let ch_in = open_in input_file in
try
    proc_lines ch_in
with End_of_file -> close_in ch_in;;

现在我想为不存在的输入文件添加错误处理，我写道：

let ch_in = try Some (open_in input_file) with _ -> None in
match ch_in with
| Some x -> try proc_lines x with End_of_file -> close_in x
| None -> () ;;

并收到错误消息：此模式匹配'a option类型的值但是在这里用于匹配最后一行的exn 类型的值。如果我将无替换为 _ ，我会收到有关不完整匹配的错误。

我读到 exn 是异常类型。我确定我不明白这里到底发生了什么，所以请指出正确的方向。谢谢！

Answer 1

在其他模式匹配中嵌入模式匹配时，您需要使用( ... )或begin ... end（括号的语法糖）来嵌入嵌入的匹配：

let ch_in = try Some (open_in input_file) with _ -> None in
match ch_in with
| Some x -> (try proc_lines x with End_of_file -> close_in x)
| None -> () ;;

用于打开输入通道的Ocaml异常处理

1 个答案: