string - OCaml 测试字符串是否几乎为空或包含关键字

Question

我在 OCaml 中遇到了问题，我目前正在学习它，但我仍然是一个新手。我想制作一个函数，如果字符串为空或仅包含空格，则返回 true 并同时删除 begin 和 end 的任何出现。

我已经试过了:

let isEmptyString s =  
  let rec empty i =
    if i < 0 then true
    else
          let c = String.get s i in
          if c = ' ' || c = '\009' then empty (pred i)
          else false
  in
  s = Str.global_replace( Str.regexp "begin") "" s;
  s = Str.global_replace( Str.regexp "end") "" s;
  empty (pred (String.length s))

但很明显，这个函数并没有像我希望的那样工作，因为我在调用它之后仍然在 Formula.importNrAgentsFormula 中获得 begin ......这是我的方法调用它:

while true do
   let input = read_line () in
   if not (isEmptyString input) then
      let (nr, f) = Formula.importNrAgentsFormula input in
      incr counter;
      flush stdout;
      match choice with
       | "graph" -> printRes (Graph.isSat ~verbose:verb nr f)
       | _ -> printUsage ()
   else ()
done

如果有更多 OCaml 经验的人能够发现错误并向我解释，我将很高兴 :)

提前致谢

最好的问候。

Answer 1

我建议你让你的函数 isEmptyString(isBlankString 而不是？)做它应该做的(只是检查它是否只包含空格或什么都不包含)，它应该不修改原始字符串。您可以在循环中执行此操作:

while true do
   let input = read_line () in
   let input = Str.global_replace( Str.regexp "begin") "" input in
   let input = Str.global_replace( Str.regexp "end") "" input in
   if not (isEmptyString input) then
   ...

编辑:很抱歉编辑晚了，这里有一些关于你的错误的额外信息:

如果您在 OCaml 中运行您的函数，您将看到此警告:

Warning 10: this expression should have type unit.

在 s = Str.global_replace( Str.regexp "begin") ""s; 这行。这是因为 OCaml 中的 = 运算符在这种情况下不是赋值运算符，而是相等运算符，所以在这一行中，您只需比较两个值并返回一个 bool 值。由于 OCaml 期望 e1;e2 中的 e1 返回 unit，因此您会收到此警告。

在 OCaml 中，变量的值是不可变的，因此您可以:

• 按照@Jason 的建议使用另一个变量:let t = Str.global_replace( Str.regexp "begin") ""s
• 按照我上面的建议“隐藏”旧值:let s = Str.global_replace( Str.regexp "begin") ""s
• 使用引用(指向内存中某个位置的指针):let s = ref "before"in s := "after"，然后您可以使用!运算符:!s。但是，如果你正在学习函数式编程，我建议你一开始就尽量不要使用 OCaml 的任何命令式特性来发现这种新范式及其可能性。