我在$next[p][s[i]-'a']$假如这个是$0$就是进入$if$判断了，那么肯定是一个新出现的字符串，生成一个变量初始为$false$，如果进入$if$判断就改成$true$，说明多了个新的串呀，感觉没啥毛病。

void insert(char *s) {
  int p = 0;
  bool is = false;
  for (int i = 0; s[i] != '\0'; ++i) {
    if (!next[p][s[i] - 'a']) is = true, next[p][s[i] - 'a'] = ++idx;
    p = next[p][s[i] - 'a'];
  }
  if (is) ++cnt;
}