if(heap[2*k]>heap[2*k+1]&&heap[k]>heap[2*k+1]){
    swp(k,2*k+1);
    xl(2*k+1,s);
}

注意你的堆是否判等。