java中，实现一个循环队列，其中的边界条件有些弄不明白，请看我的代码：

//我做了一个测试类，你运行一下试试吧
//问题的关键在于这个类的设计似乎是，假设size是3，但是数组的size是4
//putloc是0,但是put的位置在数组中是1
//总觉得这个类的设计很怪，既然size是3，底层实现也做成3就好了。

import java.util.Arrays;

public class CircularQueue {
private char q[];
private int putloc, getloc;

public static void main(String[] args) {
CircularQueue circularQueue = new CircularQueue(3);
circularQueue.put('1');
circularQueue.put('1');
circularQueue.put('1');
circularQueue.put('1');
}

private void paint(String s) {
System.out.println(s + ": putloc=" + putloc + " getloc=" + getloc + " "
+ Arrays.toString(q));
}

public CircularQueue(int size) {
q = new char[size + 1];// 注意：这里数组长度加 1。
putloc = getloc = 0;
paint("create!");
System.out.println();
}

public void put(char ch) {
paint("before put");
if (putloc + 1 == getloc | ((putloc == q.length - 1) & (getloc == 0))) { // 第一个边界条件想不清楚，为什么putloc+1==getloc
System.out.println("--Queue is full.");
return;
}
putloc++;
if (putloc == q.length)
putloc = 0;
q[putloc] = ch;
paint("after put");
System.out.println();
}

public char get() {
paint("before get");
if (getloc == putloc) {
System.out.println("--Queue is empty.");
return (char) 0;
}
getloc++;
if (getloc == q.length)
getloc = 0;
paint("after get");
System.out.println();
return q[getloc];
}
}