二叉堆排序是一種利用二叉堆數據結構的排序算法，具有以下特點：
時間複雜度：二叉堆排序的時間複雜度為O(nlogn)，無論是最壞、最好還是平均情況。
穩定性：二叉堆排序是一種不穩定排序，這意味著相同的元素在排序後可能會交換位置。
實現方式：
建堆：首先將待排序的數組構建成一個大頂堆或小頂堆，這取決於排序的順序（升序或降序）。大頂堆的每個節點都大於或等於其子節點，適用於升序排序；小頂堆的每個節點都小於或等於其子節點，適用於降序排序。
排序：
升序排序：通過交換堆頂（最大值）與數組末尾的元素，然後將剩餘的n-1個元素重新調整為大頂堆，反覆此過程直到整個數組有序。
降序排序：類似地，通過交換堆頂（最小值）與數組末尾的元素，然後將剩餘元素重新調整為小頂堆，直到整個數組有序。
代碼實現：具體的實現代碼可以通過定義堆的基本操作（如向上調整、向下調整、交換節點等）來完成。這些操作確保了堆的性質在插入和刪除元素時得到維護。例如，Java代碼可以實現這些操作並對數組進行排序。
輔助空間：堆排序只需要一個記錄大小供交換用的輔助存儲空間，這是它相對於其他排序算法的一個優點。
綜上所述，二叉堆排序是一種高效的排序算法，適用於各種數據規模，且具有較好的時間複雜度表現。