第k大

求数据流中的第 k 大：维护一个大小为 k 的小根堆，每来一个数就 push，超过 k 个就弹掉堆顶（最小的）。堆里始终是最大的 k 个，堆顶就是第 k 大。