unsortedTypeLinkedについて

Question

これはheapがFulかどうかを調べる関数の実装コードという事ですが、なぜこれでヒープが調べられるのかが分かりません。
少し分かりやすく説明していただけると、とてもうれしいです。先輩方、よろしくお願いします

コード
bool UnsortedTypeLinked::IsFull() const{
	// no limits on size, so checks if heap is full ...
	NodeType* location;
	try{
		location = new NodeType;
		delete location;
		return false;
	} catch(bad_alloc exception){
		return true;
	}
}

Answer 1

C++ではnewでメモリ確保に失敗するとstd::bad_allocオブジェクトがスローされます。newは通常ヒープ領域からメモリを確保するので、確保に失敗==空き領域がない（ヒープ領域がフル）と判定しているのだと思います。

ただし、このコードが意図通りに動く保証はありません。コンパイラーによっては（特に古い場合）newが失敗したときにbad_allocをスローせずにNULLを返すものがあるからです。

また、Linuxの場合、メモリの確保ではなくアドレス空間の予約だけを行って、何かデータを書き込もうとしたときに初めて物理メモリを確保する、という仕組みなので、NodeTypeがコンストラクタで書き込みを行っていなければ、実際に空きメモリがなくてもnewが成功してしまうかもしれません。

さらに困ったことに、LinuxではOOMキラー(Out Of Memory Killer)というやっかいな仕組みがあるので、そのコードによって他のプロセスを強制終了させてしまうかもしれません。

ですので、実際にメモリを確保できたかどうかで空き領域がない（ヒープ領域がフル）かどうかをチェックするのはやめた方がいいです。

Comments

[reotantan]

なるほど、location = new NodeType;で入れてみて、それだけでは不安だからdelete location;で消せるか試したという事ですね。

[catsforepaw]

> 消せるか試したという事ですね。
そういうことではなくて、この関数の目的がnewできるかどうかなので、それが判ったらnewしたオブジェクトは不要なので即deleteしているのです。

[reotantan]

分かりました、osによって意味が変わってしまうコードを書くべきではありませんね。
linuxの話もとてもためになりました。ありがとうございました。