在子类化priority_queue c ++时,size()函数搞乱了

时间:2016-04-01 17:09:34

标签: c++ templates stl subclass priority-queue

我已经修改了此stackoverflow q / a中的代码以满足我的需求。 How to make STL's priority_queue fixed-size。它工作得相当好,但队列为空时队列大小存在问题。在普通的priority_queue中,我注意到即使队列为空,pop()仍继续运行,但队列仍将注册为空。我想这是我可以期望的最好的功能,而不会严重修改stl priority_queue代码。这是我修改过的priority_queue:

#include <queue>
#include <algorithm>

template<class T,
                 class Container = std::vector<T>,
                 class Compare = std::less<typename Container::value_type>
> class fixed_priority_queue : public std::priority_queue<T,Container,Compare> {
  public :
    //FIXME pass comparator as function pointer
    fixed_priority_queue(unsigned int size) : 
      std::priority_queue<T,Container,Compare>(),fixed_size(size) {}
    void inline push(const T &x) {
      // If we've reached capacity, find the FIRST smallest object and replace
      // it if 'x' is larger'
      if(this->size() == fixed_size)
      {
        // 'c' is the container used by priority_queue and is a protected member.
        std::vector<Msg*>::iterator beg = this->c.begin();
        std::vector<Msg*>::iterator end = this->c.end();
        std::vector<Msg*>::iterator min = std::min_element(beg, end,
            this->comp);
        if(x > *min)
        {
            *min = x;
            // Re-make the heap, since we may have just invalidated it.
            std::make_heap(beg, end);
        }
      }
      // Otherwise just push the new item.
      else          
      {
        //fixed_priority_queue<T,Container,Compare>::push(x);
        std::priority_queue<T,Container,Compare>::push(x);
      }     
    }
    private :
    //FIXME pass comparator as function pointer
        fixed_priority_queue() : std::priority_queue<T,Container,Compare>()
      {fixed_size = 10;} // Default size 10.    
        const unsigned int fixed_size;
        // Prevent heap allocation
        void * operator new (size_t);
        void * operator new[] (size_t);
        void operator delete (void *);
        void operator delete[] (void *);
};

这是我的自定义比较功能:

class MsgCmp {
  public:
    bool operator() (const Msg *m1, const Msg *m2) const {
      return m1->get_type() < m2->get_type();
    }
};

我从另一个文件中调用它如下:

  // Construct with fixed_size parameter
  fixed_priority_queue <Msg*,vector<Msg*>,MsgCmp> q(2);

  q.push(&smsg);
  q.push(&dmsg);

  cout << "queue size: " << q.size() << endl;
  cout <<q.top()->repr()<<endl;
  cout << "popping top element" << endl;
  q.pop();
  cout << "queue size: " << q.size() << endl;
  cout <<q.top()->repr()<<endl;
  cout << "popping top element" << endl;
  q.pop();
  cout << "empty?\t" << q.empty() << endl;
  cout << "queue size: " << q.size() << endl;

  cout << "pushing dynamic element" << endl;
  q.push(&new_dmsg);
  cout << "pushing dynamic element" << endl;
  q.push(&dmsg);
  cout << "pushing static element" << endl;
  q.push(&smsg);

  cout << "queue size: " << q.size() << endl;
  cout <<q.top()->repr()<<endl;
  cout << "popping top element" << endl;
  q.pop();
  cout << "empty?\t" << q.empty() << endl;
  cout << "queue size: " << q.size() << endl;
  cout <<q.top()->repr()<<endl;
  cout << "popping top element" << endl;
  q.pop();
  cout << "empty?\t" << q.empty() << endl;
  cout << "queue size: " << q.size() << endl;
  cout <<q.top()->repr()<<endl;
  cout << "popping top element" << endl;
  q.pop();
  cout << "empty?\t" << q.empty() << endl;
  cout << "queue size: " << q.size() << endl;

这是输出。我用'#'注释输出。我的队列按类型排序,更高的类型具有更高的优先级:

queue size: 2
type 1
7,5,3,1,3,9,5,
popping top element
queue size: 1
type 0
5,3,1,3,9,5,7,4,8,0,
popping top element
empty?  1
queue size: 0
pushing dynamic element # type 1
pushing dynamic element # type 1
pushing static element # type 0
# so far the output is consistent with the intended functionality
queue size: 2
type 0 # As you can see, the sorting is no longer correct.
# Maybe this is related, maybe not.
5,3,1,3,9,5,7,4,8,0,
popping top element
empty?  0
queue size: 1
type 1
7,5,3,1,3,9,5,
popping top element
empty?  1
queue size: 0
# Queue is empty, but still showing top element. This is also true of
# STL priority_queues, though.
type 1
7,5,3,1,3,9,5,
popping top element
# For some reason, the queue is no longer empty.
empty?  0
# Psychobilly freakout.
queue size: 18446744073709551615

因此,在队列为空之后,似乎队列大小参数以某种方式被赋予了垃圾值。可能与此相关,我的队列在实例化为大小1时,在弹出单个元素后不会显示empty()为真。

1 个答案:

答案 0 :(得分:3)

欢迎来到undefined behavior的世界。当您致电pop时,它会在底层矢量上调用pop_back。从表101 - C ++ 14标准a.pop_back()中的可选序列容器操作要求a.empty()应为false。当队列为空时调用pop时,您违反了该要求。

你看到的任何东西都是那种未定义行为的神器,你无法推断你是如何获得你所获得的价值的。