原来构造一个堆只需要线性时间. 而且对一个数组建堆 in place