Haskell 字符串子字符串函数

Question

我的函数接受 2 个字符串并确定第一个字符串是否是第二个输入字符串的子字符串。例如：

isSubb "abc" "abcmhk" -- True
isSubb "abc" "uyabcmhk" -- True
isSubb "abc" "okaibcmhk" -- False
isSubb "abc" "amnabkaaabcmhk" -- gives True

到目前为止我有：

isSubb :: [Char] -> [Char] -> Bool
isSubb sub str = auxx sub sub str

auxx :: [Char] -> [Char] -> [Char] -> Bool
auxx safe (s:ub) (st:r)
| s:ub == []    = True
| st:r == []  = False
| s == st   = auxx safe ub r
| otherwise  = auxx safe safe r

但它给了我一个关于auxx 函数的非详尽错​​误。

非常感谢任何帮助！ 谢谢！

Answer 1

您的auxx 函数需要考虑第二个或第三个参数为[] 的情况（因为您正在到达那里）。

s:ub == [] 和 st:r == [] 永远不会是 True，因为模式匹配发生在在保护评估之前。

你的功能的一个理智的等价物是

auxx safe sub str
  | sub == [] = True
  | str == [] = False
  | head sub == head str = auxx safe ub r
  | otherwise = auxx safe safe r

虽然上述方法效率不高，因为它可以通过模式匹配来改进。

auxx _ [] _ = True
auxx _ _ [] = False
auxx safe (s:ub) (st:r)
  | s == st = auxx safe ub r
  | otherwise = auxx safe safe r

Answer 2

在Data.List 中有isInfixOF 函数。

isInfixOf :: Eq a => [a] -> [a] -> Bool

isInfixOf 函数接受两个列表并返回True，前提是第一个列表完整且完整地包含在第二个列表中的任何位置。

Prelude Data.List> isInfixOf "abc" "abcmhk"
True
Prelude Data.List> isInfixOf "abc" "uyabcmhk"
True
Prelude Data.List> isInfixOf "abc" "okaibcmhk"
False
Prelude Data.List> isInfixOf "abc" "amnabkaaabcmhk"
True

你可以像这样写你的函数

import Data.List (isInfixOf)

isSubb :: [Char] -> [Char] -> Bool
isSubb sub str = isInfixOf sub str

Answer 3

你的定义不正确！

 | s == st   = auxx safe ub r

带来问题。看，确定 "abc" 是否在 "afkjskgsbc" 中与确定 "bc" 是否在 "fkjskgsbc" 中是不一样的。因此，您需要考虑第一个字母可能是也可能不是您要查找的字符串的一部分。