后缀排序的其中一段

for (int i = 2; i <= n; i++) {
      x[sa[i]] = (y[sa[i - 1]] == y[sa[i]] && y[sa[i - 1] + k] == y[sa[i] + k] ? p : ++p);
    }

既然有 sa[i] + k 那我的数组大小理论上应该开 $2$ 倍啊？为啥只开一倍不会 $RE$ 呢？

不是很理解