对于循环向量中的循环队列，写出求队列长度的公式。

正确答案:公式如下（设采用第二种方法，front指向真正的队首元素，rear指向真正队尾后一位置，向量空间大小）