题目源自于Leetcode。

只需要支持两个匹配符*和.。

'.' Matches any single character.
'*' Matches zero or more of the preceding element.

本题的要求是能够全部匹配整个母字符串，而不是包含有。

The matching should cover the entire input string (not partial).

思路：母字符串和模式串双指针移动。会遇到最大的难点在于模式串遇到 .* 之后，母字符串该如何向后移动的问题，因为.*太灵活了，只有先知道之后的匹配情况才能对.*进行适合的匹配，因此存在一个回溯的问题。

把循环改成递归，是一种很常用的策略。

若当前问题可以判定结果，则返回判定结果；

若在当前问题无法确定、需要依赖于之后的问题的时候，使用返回递归来求解之后的问题。

代码：

class Solution {
public:
    bool isMatch(const char *s,const char *p) 
    {   
        if (s == NULL || p == NULL) 
            return false;
        if (*p == '\0') 
            return *s == '\0';
     
        if (*(p + 1) == '*') //当前出现任意匹配
        {
            while ((*s != '\0' && *p == '.') || *s == *p) //出现.*
            {
                if (isMatch(s,p + 2)) 
                    return true;
                ++s;
            }
            return isMatch(s,p + 2);
        }
        else if ((*s != '\0' && *p == '.') || *s == *p) //当前是正常匹配or.匹配
        {
            return isMatch(s + 1,p + 1);
        }
        else //当前是错误匹配
            return false;
    }
};

比较关键的一处是第11行为什么要用while循环。

首先要知道while循环的是母字符串从当前位置开始~直到~遇到不匹配或结尾的所有字符。为什么要这样？因为正则匹配符*是任意次数的匹配，我自己并不知道到底应该匹配多少次，所以只能每一次可以的匹配都做一遍，即每个状态空间子树都尝试一下。这些状态空间子树，注定是失败居多，少数或唯一一个成功，只要有一个子树是匹配的，当前状态就是匹配的。

这个逻辑是挺难理解的，多看几次。递归思想+分治思想。

1、考虑递归结束条件，即最原子化的问题。

2、只关注当前问题，子问题交给递归来做。