C++の"double free or corruption (out)"の修正方法が知りたいです。おそらくvectorに問題がありそうな気がするのですが。

Question

以下のプログラムを動かした際に、"double free or corruption (out)"と表示されてしまいます。修正方法のご教授をお願いします。
ダブルフリー（メモリの2重解放）が原因とのことですが、どのタイミングで解放されているのかという所から理解できていません。

######　問題の切り分けのために、試したことは以下2点です。

1. 入力時に再現するデータ

・vector<int> B={5,3,2,1};//こちらだとエラーになる
・vector<int> B={4,1,3,2,5};//こちらだとエラーにならない
2. エラーの発生箇所の確認
・solotionメソッドの、return 0;の直前まで動作することを確認しています

######　エラーの内容

double free or corruption (out)

[1] 3070 abort (core dumped) ./a.out

再現環境

vscode上、codilityのサイト上の2か所共におきます。

C++コード

こちらの問題を解いていました。
PermCheck　https://app.codility.com/programmers/lessons/4-counting_elements/perm_check/

#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (n); ++i)
#define rep1(i, n) for (int i = 1; i <= (n); ++i)
using namespace std;
using ll = long long;
using P = pair<int, int>;

int max(std::vector<int> v)
{
    int maxVal = INT_MIN;       // 整数最小値
    for(int i = 0; i < (int)v.size(); ++i) {
        if( v[i] > maxVal )
            maxVal = v[i];
    }
    return maxVal;
}

int solution(vector<int> &A){
	vector<int> track(max(A),0);
	int Asize=A.size();

	for (int i=0;i<track.size();i++){
		track[A[i]-1]=1;
	}

	//Aと同じ要素数
	int cnt=0;
	while((track[cnt]==1) and (cnt < Asize)){
		cnt++;
	}

	if(cnt==Asize){
		return 1;
	}else{
		return 0; //※この箇所まで、プログラムが動作することを確認しています。
	}
}

int main(){
	vector<int> B={5,3,2,1};//こちらだとエラーになる
	//vector<int> B={4,1,3,2,5};//こちらだとエラーにならない
	cout << max(B) << endl;
	cout << solution(B) << endl;
	return 0;
}

Comments

[1T2R3M4]

solutionのforループの条件がおかしいのでは。

[ratera]

ご連絡ありがとうございます。
10分弱考えてみたのですが、ループ条件内のどのあたりがおかしいのかわかりませんでした。
お手数おかけしますが、補足いただけないでしょうか？
よろしくおねがいします。

配列外を指し示すことはなさそうなことは確認していますが、その他の点なのでしょうか。

[1T2R3M4]

>配列外を指し示すことはなさそうなこと
指し示すと思いますよ。

[ratera]

ご指摘ありがとうございました。私の確認不足でした。

貴重なお時間いただきありがとうございます！

Answer 1

Visual C++ で実行してみたところ赤枠の個所でエラーになっていました。
要素を超えてアクセスしているようです。

Comments

[ratera]

あああああああ！
やっと理解できました。ありがとうございます。

vscodeにいれた(gdb)Bash on windows lunchというデバッガでは止まらなかったため、気づきませんでした（？）配列外にアクセスした際にはコードが止まると思っておりましたが、そうではない場合もあるのかな。

お手数おかけして申し訳ございません。ありがとうございます。

Answer 2

vectorの範囲外アクセスがあります。
g++を使っているなら、プログラムの先頭に以下のコードを追加したうえでデバッグしてみてください。

#define _GLIBCXX_DEBUG

Comments

[ratera]

ありがとうございます！
該当のコードを利用すると、配列外を参照した場所でエラーを吐いてくれるようになりました。

以下も含めて、デバッグについて再確認しなおしたいと思います。自分で調べられるようになって嬉しいです。
https://aki33524.hatenablog.com/entry/2017/01/16/212526