ベクトルイテレータを使用するとプログラムが異常終了する

Question

このプログラムの問題点を教えてもらえますか？ ベクトル配列がこれらのすべての条件を満たしている場合は、「はい」と表示されます。配列要素は昇順にソートされません。 配列には異なる要素が含まれています。 すべての配列要素は1〜nの値を持ちます。 "いいえ"の場合 if（bSort）の行に到達すると、プログラムは異常終了します。 イテレータのインクリメントに問題はありますか？

#include <iostream> 
#include <string> 
#include <bits/stdc++.h> 

using namespace std; 

std::string solve(vector <int> &a, int n) { 
    vector<int> visited (n); 
    int i=0; 
    for(std::vector<int>::iterator it = a.begin(); it != a.end(); ++it) { 
     i++; 
     if((it+1)!=a.end() && (*it > *(it+1))) 
     { 
      bSort = false; 
     } 
     if(std::find(visited.begin(), visited.end(), *it)!=visited.end()) 
     { 
      return "No"; 
     } 
     else 
     { 
      visited[i] = *it; 
     } 

     if(*it <= 0 || *it > n) 
     { 
      return "No"; 
     }  

    } 
    if(bSort) 
     return "No"; 
    else 
     return "Yes"; 

} 

int main() { 
    int q; 
    cin >> q; 
    for(int a0 = 0; a0 < q; a0++){ 
     int n; 
     cin >> n; 
     vector<int> a(n); 
     for(int a_i = 0; a_i < n; a_i++){ 
      cin >> a[a_i]; 
     } 
     std::string result = solve(a,n); 
     cout << result << endl; 
    } 
    return 0; 
} 

問題は、次の入力のみで起こっているように見える：

1 
30 
18 8 24 20 7 17 5 9 26 21 25 12 11 15 30 13 19 16 22 10 14 1 3 29 23 2 6 28 4 27 

Answer 1

私は問題は特にイテレータに関係しているかわかりません。

ループの最初の部分では、変数iが使用される前にインクリメントされます。つまり、iの範囲になる数値のセットは[1, vector.size()]です。つまり、ある時点では、未定義の動作でプログラムをクラッシュさせるvector[vector.size()]にアクセスします。あなたのプログラムで

は、具体的には、あなたはいくつかの点でvisited[30]を呼び出してしまうことを意味する、あなたの例のコードの中の数字のどれが重複されていないので、std::find(...)条件文のelseブランチが常に実行され、指定した入力を与えられましたこれは再び境界外であり、定義されていない動作であり、潜在的にクラッシュを引き起こす。