OCaml Str模块正则表达式含\f时替换结果异常问题咨询

你遇到的问题不是Str.global_replace函数本身存在异常，根源是正则表达式的写法不符合OCaml Str模块的解析规则。另外注意你提到自己在使用Re库，但贴出的代码用的是OCaml标准库的Str模块，两者是完全独立的正则库，API和正则语法规则都有差异，如果要使用Re库需要对应调整写法。

具体原因：

• 如果你写正则时多写了一层反斜杠，也就是代码实际为Str.regexp "[ \\f\\r\\t\\n]+"，OCaml的字符串解析会把\\f处理为「反斜杠+小写字母f」两个字符。而Str模块的正则解析器不识别\f这个转义序列，会直接忽略反斜杠，把f当成普通字符加入匹配的字符类，这就导致你的正则会匹配空格、回车、制表、换行以及小写字母f，自然会把输入字符串里的f全部替换为空，出现你观测到的"if"变"i"、"igf"变"ig"的现象。
• 就算你写的是Str.regexp "[ \f\r\t\n]+"，\f在OCaml字符串中会被解析为ASCII换页符，也不会匹配小写f，如果你观测到f被替换，说明你的代码里的正则实际确实把f加入了匹配范围。

正确的写法有两种，都可以实现替换所有空白字符的需求：

• 直接使用OCaml原生字符串转义，避免使用Str的转义序列：

Str.global_replace (Str.regexp "[ \r\t\n\x0C]+") "" "if"

• 使用POSIX预定义空白字符类，可读性更高也不容易出错：

Str.global_replace (Str.regexp "[[:space:]]+") "" "if"

以上两种写法执行后都会返回预期的"if"结果。

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