剑指offer19 正则表达式匹配 C++

请实现一个函数用来匹配包含'. '和'*'的正则表达式。
模式中的字符'.'表示任意一个字符，而'*'表示它前面的字符可以出现任意次（含0次）。
在本题中，匹配是指字符串的所有字符匹配整个模式。
例如，字符串"aaa"与模式"a.a"和"ab*ac*a"匹配，但与"aa.a"和"ab*a"均不匹配。

示例 1:

输入:
s = "aa"
p = "a"
输出: false
解释: "a" 无法匹配 "aa" 整个字符串。
示例 2:

输入:
s = "aa"
p = "a*"
输出: true
解释: 因为 '*' 代表可以匹配零个或多个前面的那一个元素, 在这里前面的元素就是 'a'。因此，字符串 "aa" 可被视为 'a' 重复了一次。
示例 3:

输入:
s = "ab"
p = ".*"
输出: true
解释: ".*" 表示可匹配零个或多个（'*'）任意字符（'.'）。
示例 4:

输入:
s = "aab"
p = "c*a*b"
输出: true
解释: 因为 '*' 表示零个或多个，这里 'c' 为 0 个, 'a' 被重复一次。因此可以匹配字符串 "aab"。
示例 5:

输入:
s = "mississippi"
p = "mis*is*p*."
输出: false
s 可能为空，且只包含从 a-z 的小写字母。
p 可能为空，且只包含从 a-z 的小写字母以及字符 . 和 *，无连续的 '*'。

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/zheng-ze-biao-da-shi-pi-pei-lcof
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

递归回溯法

通过不停的剪去s和p相同的首部，直到某一个或两个都被剪空的时候，就可以得到结论。

首先从没有*的最简单情况来看，这时只需要扫一遍s和p，从首部开始比较对应的元素是否相同即可，如果相同就可以剪去，比较下一个即：

//第i个下标位置元素的比较，'.'代表任何元素
s[i] == p[i] || p[i] == '.'

那么现在添加 * ，需要注意题目要求，此时 * 前的元素可以出现0次或多次，那么注意在检测到p中第i个元素的下一个元素为 * 时，就会有两种情况：

• p的第i个元素在s中出现0次；此时，我们保持s不变，将p剪2个元素，继续调用isMatch。
  如：s = “bb”, p = “a*bb”, 将p的首部2个元素剪去，得到p = “bb”，继续比较；
• p的第i个元素在s中出现一次或多次；此时，比较i元素与s的首元素，如果相同，剪去s的首元素
  保持p不变继续调用isMatch。
  如：s = “aabb”, p = “a*bb”，那么比较首元素相同，再剪去s首元素的s = “abb”，再调用isMatch比较。

特殊情况： s = “abb”, p = “a*abb”;

按1来说，p剪去两个元素，s = "abb", p = "abb"，成功；
按2来说，s = "bb", p = "a*abb"，失败。

所以，这会把所有情况试一遍，就得到结果了。
详情b站正则表达式讲解

class Solution {
public:
    bool isMatch(string s, string p) {
        if(p.empty()) return s.empty(); //当模式为空时，只需判断字符串是否为空

        bool first_match = !s.empty() && (s[0] == p[0] || p[0] == '.'); //查看首元素是否一致

        if(p.size() >= 2 && p[1] == '*'){ //当模式中第i个元素的下一个元素为*时
            return (isMatch(s, p.substr(2)) || (first_match && isMatch(s.substr(1), p)));
        }
        else{
            return first_match && isMatch(s.substr(1), p.substr(1));
        }
    }
};

// p.substr(2) 就是截掉前面两个字符