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