二项队列c语言实现里循环条件为什么有j*=2?其他划红线的地方怎么理解？