如何在OCaml中使用“匹配”和正则表达式匹配字符串？

发布时间：2020-12-14 05:50:51 所属栏目：百科来源：网络整理

导读：我的OCaml .ml代码如下所示： open Strlet idregex = Str.regexp ['a'-'z' 'A'-'Z']+ ['a'-'z' 'A'-'Z' '0'-'9' '_']*;let evalT (x,y) = (match x with Str.regexp "Id(" (idregex as var) ")" - (x,y) 为什么上面的代码不起作用？我怎样才能让它发挥作用？

我的OCaml .ml代码如下所示：

open Str

let idregex = Str.regexp ['a'-'z' 'A'-'Z']+ ['a'-'z' 'A'-'Z' '0'-'9' '_']*;

let evalT (x,y) = (match x with 
    Str.regexp "Id(" (idregex as var) ")" -> (x,y)

为什么上面的代码不起作用？我怎样才能让它发挥作用？

编辑：

我不需要做很多解析.所以,我希望它保留在OCaml .ml文件而不是OCamllex文件中

解决方法

match关键字与OCaml模式一起使用.正则表达式不是OCaml模式,它是一种不同的模式,因此您不要使用匹配.

在具有regexp功能的Str module中是匹配功能.

如果要进行大量的正则表达式匹配,可以使用ocamllex,它读取类似于idregex(不幸的无效)定义的定义文件,并生成OCaml代码以进行匹配.

这是一个会话,展示了如何使用Str模块对模式进行简单匹配.

$ocaml
        OCaml version 4.01.0

# #load "str.cma";;
# let idregex = Str.regexp "[a-zA-Z]+[a-zA-Z0-9_]*";;
val idregex : Str.regexp = <abstr>
# Str.string_match idregex "a_32" 0;;
- : bool = true
# Str.string_match idregex "32" 0;;
- : bool = false

作为旁注,您的代码看起来并不像OCaml.它看起来像是OCaml和ocamllex的混合物.实际上有一个类似于micmatch的系统.似乎你打算使用库存OCaml语言(我鼓掌),但在某些时候看看micmatch可能会很有趣.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!