Я хочу реализовать систему очередей по таймеру, используя адаптер контейнера C++ STL priority_queue.
Моя проблема в том, что я хочу иногда отменять таймер, однако нет интерфейсов, которые позволяют мне легко удалить элемент в priority_queue, который не является верхним элементом.
Какие-либо предложения?.
Спасибо за помощь.