当前位置：文江博客话题详情

查找一个字符串是否是 SML NJ 中其他字符串的子字符串

发布于 2024-12-20 03:48:27 字数 63 浏览 6 评论 0原文

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

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

夜还是长夜 2024-12-27 03:48:27

Substring.position 函数是我在基础库中找到的唯一一个似乎可以进行字符串搜索的函数。不幸的是，Substring 模块有点难以使用，所以我编写了以下函数来使用它。只需传递两个字符串，它就会返回一个 option：如果未找到，则返回 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;

The Substring.position function is the only one I can find in the basis library that seems to do string search. Unfortunately, the Substring module is kind of hard to use, so I wrote the following function to use it. Just pass two strings, and it will return an option: NONE if not found, or SOME of the index if it is found:

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;

回复收藏 0 原文

旧故 2024-12-27 03:48:27

好吧，您拥有所有子字符串函数，但是如果您还想知道它的位置，那么最简单的方法就是通过线性扫描自己完成。

基本上，您想要分解两个字符串，然后将要查找的子字符串的第一个字符与源字符串的每个字符进行比较，每次失败时都会增加位置计数器。当您找到匹配项时，您也会移动到子字符串中的下一个字符，而不移动位置计数器。如果子字符串为“空”（当您留下空列表时建模），您已将其全部匹配并且可以返回位置索引，但是如果匹配突然失败，您必须返回到第一个匹配时并且跳过一个字母（增加位置计数器）并重新开始。

希望这可以帮助您开始自己做这件事。

回复收藏 0 原文

~没有更多了~