OCaml中字符串相等判断结果不符合预期的问题排查与解决

你的代码逻辑里，判断字符串相等时用了==运算符，但OCaml中这个运算符的行为和你预期的不一样：

问题代码 #

let (&>) : ('x -> 'y) -> ('y -> 'z) -> ('x -> 'z) =
   fun g f x -> x |> g |> f

let soi x = string_of_int x
let sof x = string_of_float x
let fos x = float_of_string x
let ios x = int_of_string x

let clear_int = ios &> soi

let is_int_clear (x: string) = 
  let targ = clear_int x in
  let _ = print_endline x in
  let _ = print_endline targ in
  x == targ  (* 这里是问题所在 *)

let ccc = is_int_clear "123"

let scc = if ccc then "succ" else "fail"

let () = print_endline scc

运行输出 #

123
123
fail

原因分析 #

OCaml里的==是物理相等运算符，它检查的是两个值是否指向内存中的同一个对象。你输入的"123"是编译期创建的字符串常量，而clear_int x通过int_of_string再转string_of_int生成的是运行期新分配的字符串对象——哪怕内容完全一样，它们在内存里是不同的地址，所以==返回false。

而判断字符串内容是否相等，应该用结构相等运算符=，它会逐字符比较两个字符串的内容。

修复方案 #

把is_int_clear函数里的x == targ改成x = targ即可：

let is_int_clear (x: string) = 
  let targ = clear_int x in
  let _ = print_endline x in
  let _ = print_endline targ in
  x = targ  (* 替换成结构相等判断 *)

修改后运行，输出会变成：

123
123
succ

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