调试断言失败（向量下标超出范围）

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 并访问了无效内存。