一种相当高效的字符串匹配的算法