KMP算法实现的一些问题

看《算法训练营》中的KMP算法并按着实现了一下，看起来运行得很好，然后从网上找了个例子运行

出来的结果和预想的不一样。本来是没有匹配的，但是程序直接输出了“成功”，还带着子字符串出现的位置是0. 为啥呢？

遂开始调试，先用vscode调了半天，没结果；又打开visual studio，这下看出了问题：

如图所示，a.size()和b.size()，它们的数据类型是unsigned int,而lb可能取负值。

lb=-1时，按照我们的想法，判断条件是满足的，应该进入循环执行下一句if，但事实上，由于unsigned int，判断的条件实际上是不成立的，因此直接退出循环，且此时la的值为3，所以最后输出了一个“成功”，且位置为3-4+1=0。

所以在这里要加一个类型转换，转成有符号的整数。

代码如下：（忽略上面的希尔排序）

#include<iostream>
#define _USE_MATH_DEFINES
#include<math.h>
#include<vector>
using namespace std;
void shellsort(vector<char>& v) {//希尔排序
    int h = 1;
    while (h < v.size() / 3) {
        h = h * 3 + 1;
    }
    printf("%d ", h);
    while (h >= 1) {
        for (int i = h; i < v.size(); i++) {
            for (int j = i; j >= h && v[j] < v[j - h]; j -= h) {
                int temp = v[j];
                v[j] = v[j - h];
                v[j - h] = temp;
            }
            for (int ll = 0; ll < 16; ll++) {
                printf("%c ", v[ll]);
            }
            cout << endl;
        }
        h /= 3;
    }
}
void getnext(vector<int>& next, string b) {
    int k = -1;
    int j = 0;
    next[0] = -1;
    while (j <=b.size()-2) {
        if (k == -1 || b[j] == b[k]) {
            next[++j] = ++k;
        }
        else {
            k = next[k];
        }
    }
}
void matching_process(string a, string b, vector<int> next) {
    int la = 0;
    int lb = 0;
    printf("%d %d", a.size(), b.size());
    while (la < (int)a.size() && lb <(int) b.size()) {
        if (lb == -1 || a[la] == b[lb]) {
            la++;
            lb++;
        }
        else {
            lb = next[lb];
        }
    }
    if (lb >= b.size()) {
        printf("位置是：");
        printf("%d", la - b.size() + 1);
    }
    else {
        printf("匹配失败");
    }
}
int main() {
    string a, b;
    cin >> a >> b;
    vector<int> next(b.size());
    getnext(next, b);
    for (int i = 0; i < b.size(); i++) {
        printf("%d ", next[i]);
    }
    matching_process(a, b, next);
    return 0;
}