Leetcode 239. Sliding Window Maximum 单调队列，模拟队列和双端队列两种方法，与遇到的关于deque报错坑

• 滑动窗口在增加元素时，可以在O(1)时间复杂度中，通过将当前最大值和新元素比较而得到更大的元素
• 但它在删除头元素时，是无法做到直接O(1)复杂度来处理的
• 因此考虑到用单调队列，可实现O(1)复杂度达到目的，是由双端队列deque改写而来
• 其特点是，队首元素是最大元素，新加入元素后会依次从队尾向前比较大小，把小的直接删掉，直到队列空或者有更大元素“挡住”，这样能保证最大的一直在队首。这么做的目的是满足程序的需求，程序一直需要直到这个滑动窗口的最大值。
• 删除单调队列中的某个元素时，会看它在不在队首，不在的话不影响返回最大值，在队首则需要移除，此时的队首最大值就发生改变，原来第二大的现在成为新的最大值

双端队列实现

class Solution {
public:
    vector<int> maxSlidingWindow(vector<int>& nums, int k) {
        deque<int> dq;
        vector<int> res;
        for(int i = 0; i < nums.size(); i ++){
        	// 以下可查看每一时刻双端队列中的元素
            // cout << "num: " << nums[i] << ": "; 
            // int len = q.size();
            // for(int i = 0; i < len; i ++){
            //     cout << nums[q.front()] << " ";
            //     q.push(q.front());
            //     q.pop();
            // }
            // cout << endl;
            if(dq.size() && dq.front() < i - k + 1) dq.pop_front();
            while(dq.size() && nums[dq.back()] <= nums[i]) dq.pop_back();
            dq.push_back(i);
            if(i - k + 1 >= 0) res.push_back(nums[dq.front()]);
        }
        return res;
    }
};

模拟队列实现

class Solution {
public:
    static const int N = 1e5 + 10;
    int q[N];
    int hh, tt = -1;
    vector<int> maxSlidingWindow(vector<int>& nums, int k) {
        vector<int> res;
        for(int i = 0; i < nums.size(); i ++){
            if(i - k + 1 > q[hh]) hh++; // 头元素被滑到窗口外，删除
            while(hh <= tt && nums[q[tt]] <= nums[i]) tt --; // 从队尾朝队头找大于当前值的元素
            q[++tt] = i; // 插入当前元素 
            if(i + 1 >= k) res.push_back(nums[q[hh]]); // 返回对头，也就是最大的元素。 当切仅当构成一个窗口时( i + 1 >= k)
        }
        return res;
    }
};

复杂实现

class MonotonicQueue {
private:
    deque<int> data;
public:
    void push(int n){
        while(!data.empty() && data.back()<n)
            data.pop_back();
        data.push_back(n);
    }
    
    int max(){return data.front();}
   
    void pop(int n){
        if(!data.empty() && data.front()==n) //队首装的最大元素不是滑动窗口中要被删的元素
            data.pop_front();
    }
};

class Solution {
public:
    vector<int> maxSlidingWindow(vector<int>& nums, int k) {
        vector<int> res;
        MonotonicQueue window;
        for(int i=0; i<nums.size(); i++){
            if(i<k-1){ // 还没填满窗口
                window.push(nums[i]);
            }else{
                window.push(nums[i]); // 加上这个刚好填满窗口
                res.push_back(window.max()); // 求最值
                window.pop(nums[i-k+1]); // 去掉队首，为下次做准备
            }
        }
        return res;
    }
};

• 碰到的坑如下

 void push(int n){
        while(data.back()<n && !data.empty())
            data.pop_back();
        data.push_back(n);
 }

• 乍一看代码没什么问题，但运行后会出现如下报错

Line 153: Char 16: runtime error: reference binding to misaligned address 0xbebebebebebec0ba for type 'int', which requires 4 byte alignment (stl_deque.h)
0xbebebebebebec0ba: note: pointer points here
<memory cannot be printed>
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /usr/bin/../lib/gcc/x86_64-linux-gnu/8/../../../../include/c++/8/bits/stl_deque.h:162:16

• 问题就出在while()中两个条件的先后顺序上，显然如果data是空的，就不能执行data.back()这个函数，因此需要首先判断data是否空。故尽管&&表示两个条件并列，但先后顺序还是有讲究