smlnj - 查找字符串是否是 SML NJ 中其他字符串的子字符串

Question

在 SML NJ 中，我想查找一个字符串是否是另一个字符串的子字符串并找到它的索引。谁能帮我解决这个问题？

Answer 1

Substring.position 函数是我在基础库中找到的唯一一个似乎可以进行字符串搜索的函数。不幸的是，Substring 模块有点难用，所以我写了下面的函数来使用它。只需传递两个字符串，它将返回一个选项:如果没有找到NONE，如果找到则返回索引的SOME:

fun index (str, substr) = let
  val (pref, suff) = Substring.position substr (Substring.full str)
  val (s, i, n) = Substring.base suff
in
  if i = size str then
    NONE
  else
    SOME i
end;