[C++]関数内で動的確保後 -> ヒープが壊れていることが原因です[VC++2010]

いつもすみません。データ構造のスタックを実際にプログラムしてみようということで、クラステンプレート形式でつくってみたのですがデバックを実行し、return 0のとこまで処理が進んだところ、「ヒープが壊れています」と怒られました。
いろいろと検査しグーグル先生に見てみたところ、push()ないで領域を２倍に拡張する際に利用するresize()に問題があるらしいことまではわかったのですが、ダブルdeleteはしていないし、newで確保した領域以外にアクセスしているようなコードも（見落としがあるかもしれませんが）ないですし、途方に暮れています。
コピーする最初の数行ですが、copy宣言時のサイズを10、m_usageTopを5にしたり、m_usageTopの変化を観察したりしてみましたが特に異常はありませんでした。

bool Stack<T>::resize(){
// 今持っている領域の内容を別に移す
T* copy = new T[m_usageTop];
// const unsigned int csize = m_usageTop + 1; // コンストラクタで初期化だとコンパイル時に決定してないので不定
for(unsigned int i = 0; i < m_usageTop; i++){
copy[i] = item[i];
}

// 領域再確保
try{
	if(size <= 1)
		delete item;
	else
		delete[] item;
	item = nullptr;

	item = new T[2*size];
	size = 2 * size; // bad_allocがthrowされるとここは動作しない
}catch(std::bad_alloc){
	std::cout << "std::bad_alloc" << std::endl;
	if(item == nullptr)
		item = new T[size];
	else{
		delete[] item;
		item = new T[size];
	}
	if( m_usageTop <= 1)
		delete copy;
	else
		delete[] copy;
	copy = nullptr;

	return false;
}

// 移していた領域を確保先に移す
for(unsigned int i = 0; i < size; i++){
	if( i < m_usageTop)
		item[i] = copy[i];
	else
		item[i] = 0;
}
if( m_usageTop <= 1)
	delete copy;
else
	delete[] copy;
copy = nullptr;

return true;

行動規範の内容に同意します

回答3件

領域外のアクセス以外で関係ありそうなコアダンプの原因で思いつくのは 2 つです。

サイズ 0 で領域確保 new T[0]
配列用で領域を確保(new T[n])して、 1 つだけ削除(delete)
あるいはその逆(new T を delete[])

コンストラクターの方を見てないので、よくわかりませんが、この 2 つが原因じゃないかと思います。
ちなみに NULL を delete してもエラーではないので、コアダンプはしません。

あと、要素が 1 個の時で場合分けされていますが、要素が 1 個の配列 new T[1] は作れます。
それよりはサイズ 0 のスタックは作れた方が使い勝手がいいので、 0 と 1 以上で場合分けした方がわかりやすいコードになると思います。

投稿2014/11/25 10:00

yohshiy

総合スコア863

退会済みユーザー

2014/11/26 12:31

ありがとうございます。もう解決してしまいましたが、お返事を。delete関連ですが、その部分についてのみ、サイズの場合分けをしている（サイズが１ならdelete、サイズが２以上＝配列ならdelete[]）ので要素の場合分けも合わせて問題ないかと思います。サイズ０の宣言ですが、絶対にsizeは１以上になるようにつくっているのでそこも大丈夫だと思います。原因は実はclear()という別の関数にあったという落ちでした・・・。

行動規範の内容に同意します