調試斷言失敗（向量下標超出范圍）

Question

我發現我的result.push_back(make_pair(a[i], b[j])); ，這導致了這個錯誤，但我不知道為什么（我什至不訪問vector<pair<int,int>>result; ）

#include<iostream>
#include<vector>
#include<algorithm>
#include<math.h>
#include<utility>
using namespace std;
void input(int n,vector<int>&a) {
    int temps;
    for (int i = 0; i < n; i++) {
        cin >> temps;
        a.push_back(temps);
    }
}
int main() {
    //input
    long n, m;
    cin >> n; //6
    vector<int>a, b;
    input(n, a); //{2 5 4 1 7 5}
    cin >> m; //7
    input(m, b); //{2 3 1 3 2 4 6}
    //algorithm
    long max = *max_element(a.begin(), a.end()) + *max_element(b.begin(), b.end());
    long min = *min_element(a.begin(), a.end()) + *min_element(b.begin(), b.end());
    vector<pair<int, int>>result;
    int possible = max, plate = 0; 
    for (int check = max; check >= min; check--) {
        int j = 0, i = 0, plate2 = 0;
        for (; i < a.size(); i++) {
            if (a[i] >= check) {}
            else {
                if (j > b.size() - 1) { break; }
                if (a[i] + b[j] >= check) {
                    j++; plate2++;
                    result.push_back(make_pair(a[i], b[j]));
                }
                else {
                    i--; j++;
                }
            }
        }
        if (i > a.size() - 1) { possible = check; plate = plate2; break; } 
    }
    cout << possible << " " << plate << endl; //5 3 
    return 0;
 }
    

如果刪除行result.push_back(make_pair(a[i],b[j]); ，則不再有錯誤消息，所以我認為我不會訪問錯誤的 a[i] 和 b[j] 元素

Answer 1

if (j > b.size() - 1) { break; }  //(1)
           if (a[i] + b[j] >= check) {  //(2)
               j++; plate2++;   // HERE IS YOUR PROBLEM (3)
               result.push_back(make_pair(a[i], b[j]));   //(4)

假設開始時j == b.size()-1 。 if (j > b.size() - 1)子句為假，因此循環不會break 。 它繼續（2），這沒關系。 在 (3) 中，您將 +1 添加到 j，因此現在j == b.size() 。 在 (4) 中，您嘗試訪問b[j] ，現在是b[b.size()] ，這是無效的，因為 indizes 從 0 開始。

IOW：您試圖確保 j 永遠不會超過有效元素的數量，但是在該測試之后您增加了 j 並訪問了無效內存。