请用 Python 实现一个求数组前 K 个最大元素（TopK）的算法，并说明时间与空间复杂度。

回答思路

1. 能正确实现 TopK 并处理边界情况（如 K 大于数组长度）
2. 说明基于堆的解法时间复杂度 O(n log k) 与空间 O(k)
3. 能结合 heapq.nlargest 说明其内部原理及适用场景
4. 有主动讨论小顶堆、排序对比、数据规模影响等进阶意识