答案错误

看起来,10.1.4 的答案是错误的。如果 tail[Q]+1 == head[Q],则检查是不够的,因为在这种情况下,我们有 tail[Q] = length[Q] 且 head[Q] == 1,这将导致溢出,但提供的解决方案无法检测到。更好的解决方案是检查 head[Q] == tail[Q] + 1 或 ( tail[Q] == length[Q] 且 head[Q] == 1 )。