如何在OCaml中将空元组作为函数的一部分输出？
提问于 2021-02-10 05:08:06
我是OCaml的新手，所以我为我的问题的基本性质道歉。我已经编写了输出布尔元组列表头部的代码，如下所示：
let head (lst : (bool * bool) list) : (bool * bool) =
match lst with
| (h1, h2) :: tl -> (h1, h2)
| [] -> ();;然而，在处理空列表的情况时，我得到了一个输入错误，因为空元组的类型是unit。有没有什么办法我可以输出一个空元组作为我的函数的模式匹配的一部分？我不喜欢输出实际的布尔值，因为这些值在我的函数上下文中有意义。谢谢你的帮助。
诚心诚意，查尔斯
回答 1
Stack Overflow用户
回答已采纳
发布于 2021-02-10 05:34:16
没有(bool * bool)类型的“空”值这回事。该类型的每个值都是一对布尔值。这就是“强类型”的部分含义。所以你不能为一个空的列表返回一个特殊的值。
通常的处理方法是返回一个option类型，对于非空列表返回Some (h1, h2)，对于空列表返回None；或者当输入是空列表时引发异常。
例如，标准函数List.hd具有完全相同的考虑因素，当传递一个空列表时，它会引发异常。
# List.hd [];;
Exception: Failure "hd".页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/66131201
复制
腾讯云开发者
