cpp/container/priority queue/empty