C++で発生した「 _CrtIsValidHeapPointer(block)」と「is_block_type_valid(header->_block_use)」エラーについて

＜目次＞

(１) C++で発生した「 _CrtIsValidHeapPointer(block)」と「is_block_type_valid(header->_block_use)」エラーについて
　(１-１) 事象・発生状況
　(１-２) 原因
　(１-３) 対策
　(１-４) 参考

(１) C++で発生した「 _CrtIsValidHeapPointer(block)」と「is_block_type_valid(header->_block_use)」エラーについて

(１-１) 事象・発生状況

●エラーメッセージ

Debug Assertion Failed!

Program:
XXXX
Line XXX

Expression: _CrtIsValidHeapPointer(block)

（図１１１）

Debug Assertion Failed!

Program:
XXXX
Line XXX

Expression: is_block_type_valid(header->_block_use)

（図１１２）

●事象発生のサンプルプログラム

#include <iostream>
using namespace std;
int main(void) {

    int n1 = 10;
    int* n1p = &n1;
    delete[] n1p;

}

＞目次にもどる

(１-２) 原因

●メッセージ「_CrtIsValidHeapPointer」の原因

    int n1 = 10;
    int* n1p = &n1;
    delete[] n1p;

●メッセージ「is_block_type_valid(header->_block_use)」の原因

・こちらもメモリの使用や解放に関連しているケースが多く、例えば同じアドレスブロックを繰り返し削除した場合などに発生する様です。

（発生例）「new」していないのに「delete」している場合

    int n1 = 10;
    int* n1p = &n1;
    delete n1p;

＞目次にもどる

(１-３) 対策

上記の発生例の場合、対策としては「delete」対応する「new」の定義を設ける事で解決する事ができます。

（例）

    int* n1p = new int;
    n1p[0] = 10;
    delete n1p;

（図１３１）

なので、チェックする観点の例としては以下の通りです。

①「delete」しているのに「new」されていない箇所が無いかを確認する

②「new」に対しては「delete」で解放になっているかを確認する

③「new 型[N]」に対しては「delete[]」で解放になっているか確認する

＞目次にもどる

(１-４) 参考

●参考１

ちなみに、上記の②と③のケースはエラーではなく、下図のような警告になるようです。単一の非配列オブジェクトの場合は「new」と「delete」で、逆に配列オブジェクトの場合は「new []」と「delete[]」を使います。

・②がNGの例

⇒「new」に対して「delete[]」で解放している

 

・③がNGの例

⇒「new []」に対して「delete」で解放している

●参考２：②と③のNGで起きている事

「new[]」で返却されるポインタは常に割当てされたメモリの先頭を見るとは限りません。なぜなら、動的にメモリを割り当てる際は、その「サイズ」の情報を「先頭」に保持するため、その分だけオフセット（補正）されてしまい、先頭はサイズの情報となるためです。

 

int* n1p = new int[10];

 

例えば、下記のポインタ定義では要素を10つ確保していますが、このポインタのサイズ（要素10個）の情報を保持するため、先頭は1要素目のデータではなく、サイズになります。なので、ここで通常「delete[]」とすべき所を「delete」としてしまうと、そのオフセット分がミスマッチとなり警告に繋がっているようです。

 

＞目次にもどる