觉得样例有点问题？

ABA的next不应该是0 0 0么？

如果是0 0 1的话，

怎么能在a[2]失配的时候去尝试匹配a[1]呢？

而且按照LRJ蓝书上的代码写下来，全错了，都是在next上出错的？

莫非是我的理解有什么问题？

请大神指教。