1 // 在 haystack 中查找 needle 子字符串
 2 const unsigned char *horspool_memmem(const unsigned char *haystack, size_t hlen,
 3                                      const unsigned char *needle, size_t nlen)
 4 {
 5   size_t scan = 0;
 6
 7   // 单个字符的位移对照表
 8   size_t bad_char_skip[UCHAR_MAX + 1];
 9
10   // 参数检查
11   if (nlen <= 0 || !haystack || !needle)
12     return NULL;
13
14   // 初始化位移对照表，缺省值是 needle 的长度，即遇到不匹配时将搜索窗口往后移动 needle 长度
15   // 比如：如果遇到 needle 中没有的字符时，就可以将搜索窗口后移 needle 长度，以跳过该字符
16   for (scan = 0; scan <= UCHAR_MAX; scan = scan + 1)
17     bad_char_skip[scan] = nlen;
18
19   // needle 最后一个字符的下标
20   size_t last = nlen - 1;
21
22   // 遍历 needle 的字符（排除最后一个字符），计算该字符到最后一个字符的位移。
23   // 此处遍历需要从头开始，因为 needle 中可能会出现重复字符，同一个字符必须使用其最后出现位置的位移。
24   //
25   // 排除 needle 最后一个字符的原因是：如果 needle 的最后一个字符在 needle 中是唯一的，那么其位移对照表中的值是 nlen，
26   // 只要当次搜索匹配失败，并且搜索窗口上 haystack 的最后一个字符就是 needle 的最后一个字符，那么就应该将搜索窗口后移 nlen，
27   // 因为该字符没有重复出现 needle 的其它位置上，就可以安全的跳过当前窗口。
28   for (scan = 0; scan < last; scan = scan + 1)
29     bad_char_skip[needle[scan]] = last - scan;
30
31   // 开始搜索匹配
32   // 由于搜索窗口不断往后移动，即 haystack 指针值向后移动，hlen 保存 haystack 的剩余字符串长度。
33   // 当 hlen 的长度小于 nlen 时，查找失败。
34   while (hlen >= nlen) {
35     // 从搜索窗口的尾部向前匹配
36     for (scan = last; haystack[scan] == needle[scan]; scan = scan - 1) {
37       if (scan == 0)  // 头部字符匹配则查找成功，返回子字符串位置
38         return haystack;
39     }
40
41     // 如果匹配失败则基于搜索窗口上 haystack 的最后一个字符 haystack[last] 后移搜索窗口
42     hlen     -= bad_char_skip[haystack[last]];
43     haystack += bad_char_skip[haystack[last]];
44   }
45
46   // 到达此处说明查找失败
47   return NULL;
48 }

原始串
haystack: efaboxcbcabcdsdxzcxx
needle:   abcd初始化
last: 3
bad_char_skip['a'] = 3
bad_char_skip['b'] = 2
bad_char_skip['c'] = 1
bad_char_skip['d'] = 1循环1
last: 3
haystack[last]: b
bad_char_skip[haystack[last]]: 2
haystack: aboxcbcabcdsdxzcxx
needle:   abcd循环2
last: 3
haystack[last]: x
bad_char_skip[haystack[last]]: 4
haystack: cbcabcdsdxzcxx
needle:   abcd循环3
last: 3
haystack[last]: a
bad_char_skip[haystack[last]]: 3
haystack: abcdsdxzcxx
needle:   abcd循环4
匹配成功