28. 找出字符串中第一个匹配项的下标

题目

KMP典中典，可惜我不会。

卡哥思路里的讲解也似懂非懂，跟着卡哥代码敲了一遍

class Solution {
public:
    void getNext(int *next, const string &s)
    {
        int j = -1;
        next[0] = j;
        for (int i = 1; i < s.size(); ++i)
        {
            while (j >= 0 && s[i] != s[j + 1])
                j = next[j];
            if (s[i] == s[j + 1])
                j++;
            next[i] = j;
        }
    }

    int strStr(string haystack, string needle) {
        if (needle.size() == 0)
            return 0;
        vector<int> next(needle.size());
        getNext(&next[0], needle);
        int j = -1;
        for (int i = 0; i < haystack.size(); ++i)
        {
            while (j >= 0 && haystack[i] != needle[j + 1])
                j = next[j];
            if (haystack[i] == needle[j + 1])
                j++;
            if (j == (needle.size() - 1))
                return (i - needle.size() + 1);
        }
        return -1;
    }
};

注意代码里 getNext(&next[0], needle);的写法，写成getNext(next, needle);会报错。

原因：

next 是一个 vector<int> 类型的对象，而不是 int* 类型的指针。vector<int> 是一个动态数组容器，不能直接传递给一个期望 int* 类型参数的函数。尽管 vector<int> 内部存储的是 int 类型的数据，但 vector<int> 本身并不是一个 int* 类型，它是一个类（即 std::vector<int>）。

当写成 getNext(&next[0], s) 时，传递的是 next 向量的第一个元素的地址，即 &next[0]。&next[0] 返回的是一个指向 next 向量第一个元素的指针，类型是 int，这就和 getNext 函数的参数类型 int 匹配了。因此，这种调用是合法的，编译不会报错。

如果要传递整个 vector<int> 给 getNext 函数，正确的做法是通过 next.data()（C++11 及以上版本）或者 &next[0] 来获取 next 向量的内存地址。next.data() 和 &next[0] 都会返回一个 int* 类型的指针，符合 getNext(int* next, const string& s) 函数的参数要求。