通配符匹配函数，要求：给你一个输入目标串 (s) 和一个模式串 (p) ，设计一个算法实现一个支持 '?' 和 '*' 匹配， 规则： '?' 可以匹配任何单个字符。 '*' 可以匹配任意字符序列

通配符匹配函数是一种文本处理技术，用于在字符串中寻找满足特定模式的匹配。它通常在正则表达式中使用，特别是在像Python、JavaScript这样的编程语言的标准库中。给定的目标串(s)和模式串(p)，我们需要实现一个算法来判断p能否通过替换某些字符或者插入星号(*)来匹配s。

具体实现过程包括以下步骤：

1. **基础情况**：
- 如果模式串为空，表示可以匹配任何空字符串，所以当目标串也为空时返回true。
- 如果目标串的第一个字符和模式串的第一个字符都不匹配，且模式串的第一个字符不是'*'，那么直接返回false。

2. **递归遍历**：
- 当模式串的下一个字符是'*'时，有两种情况：
- 如果目标串剩余部分为空，说明'*'可以匹配任意长度的空串，返回当前模式串剩余部分是否能匹配。
- 否则，继续检查目标串剩余部分，如果匹配成功则返回true，如果失败则看下一个非*字符是否可以匹配。

3. **匹配普通字符**：
- 如果模式串的下一个字符是'?'，则可以尝试匹配目标串的下一个字符，然后移除这两个字符并继续递归。
- 如果模式串的下一个字符是其他字符，只需简单比较即可。如果目标串有该字符，则尝试匹配；如果没有则无法匹配，返回false。

算法的核心在于动态规划和回溯，需要不断尝试调整匹配策略直到找到所有可能的匹配路径。以下是伪代码形式：

def isMatch(s: str, p: str) -> bool:
    def match(i, j):
        # ... 具体递归逻辑 ...
    
    if not p:
        return not s
    i, j = 0, 0
    while i < len(s):
        if j < len(p) and (p[j] == s[i] or p[j] == '?'):
            i += 1
        elif j < len(p) and p[j] == '*':
            if i < len(s) and match(i + 1, j):  # 跳过字符
                i += 1
            elif j+1 < len(p) and match(i, j + 2):  # 匹配剩余字符
                j += 2
        else:
            return False
        j += 1
    return j == len(p)