Как понять циклический алгоритм очереди?

Question

[gleendo]

Более менее с фиксированной очередью разобрался, но теперь не могу понять проверку условия в циклической очереди.
Есть вот такой кусок кода с реализацией метода put().

public class CircularQueue {
    private char[] q;
    private int putLoc, getLoc;

    public CircularQueue(int size) {
        q = new char[size + 1];

        putLoc = getLoc = 0;
    }

    public void put(char ch) {
        if (putLoc + 1 == getLoc | ((putLoc == q.length - 1) & (getLoc == 0))) {
            System.out.println("Очередь заполнена");
            
            return;
        }
        
        if (putLoc == q.length) {
            putLoc = 0;
        }
        
        q[++putLoc] = ch;
    }
}

Объясните пожалуйста, как понять то что проверяется в методе put().
Вот как понять эту строку if (putLoc + 1 == getLoc | ((putLoc == q.length - 1) & (getLoc == 0)))?

Comments

[Денис Загаевский]

этот код вообще работать не будет, putLoc не изменяется, а должен

[gleendo]

Денис Загаевский: забыл плюсануть. Так будет работать q[++putLoc] = ch;

[Денис Загаевский]

evg_: Я бы, например, от условия избавился. putLoc = (putLoc + 1) % q.length;

Answer 1

[15432]

Пусть это ваша очередь:
--++++---
(Плюсы где занято)
putloc - индекс места в массиве, куда кладутся данные (последнее место куда положили плюс, самый правый), getloc - откуда плюсы забирают (самый левый плюс)
--[++++]---
Так как очередь циклическая, правая граница плюсов может догнать левую
++][+++++++
это и проверяется (putloc+1 = getloc)
Ну и если граница ровно на конце массива, нужно второе условие проверки
[+++++++++]

Comments

[gleendo]

15432 Вот я и нем мог понять зачем первая часть проверки...Потом нарисовал все, пробежал по очереди и понял что putLoc может оказаться перед getLoc.
Спасибо за ответ.