8

ある変数へのポインタが与えられた場合、それが静的に割り当てられたか動的に割り当てられたかを確認する方法はありますか？

4

8 に答える 8

11

あなたのコメントから引用：

基本的に構造体を取り除くメソッドを作成しています。mallocされているかどうかに応じて、解放したいものへのポインタであるデータメンバーがあります。

正しい方法は、構造体に別のメンバーを追加することです: 解放関数へのポインターです。

静的割り当てと動的割り当てだけではありません。可能なアロケータはいくつかmalloc()ありますが、そのうちの1 つにすぎません。

Unix ライクなシステムでは、次のようになります。

  • 静的変数
  • スタック上
  • スタック上にあるが動的に割り当てられる (つまりalloca())
  • で割り当てられたヒープ上malloc()
  • で割り当てられたヒープ上new
  • ヒープ上で、割り当てられた配列の途中new[]
  • ヒープ上で、割り当てられた構造体内malloc()
  • ヒープ上で、割り当てられたオブジェクトの基本クラス内new
  • で割り当てmmap
  • カスタムアロケータで割り当て
  • 上記のいくつかの組み合わせやバリエーションを含む、さらに多くのオプション

Windows では、複数のランタイム、、、LocalAlloc(簡単に作成できる複数のヒープを含む) などもあります。GlobalAllocHeapAlloc

使用したアロケータの正しい解放関数を使用して、常にメモリを解放する必要があります。したがって、メモリの割り当てを担当するプログラムの部分もメモリを解放するか、メモリを解放するコードに正しい解放関数 (またはその周りのラッパー) を渡す必要があります。

また、ポインターが常に特定のアロケーターで割り当てられるようにするか、アロケーターを自分で提供することで、問題全体を回避することもできます (メモリを割り当てる関数と、場合によってはメモリを解放する関数の形式で)。アロケーターを自分で提供する場合は、(タグ付きポインターなどの) トリックを使用して、静的割り当ても使用できるようにすることもできます (ただし、このアプローチの詳細についてはここでは説明しません)。

Raymond Chenのブログ投稿 (Windows 中心ですが、概念はどこでも同じです):モジュール境界を越えたメモリの割り当てと解放

于 2008-11-09T23:36:03.890 に答える
2

ACEライブラリはこれをあらゆる場所で実行します。あなたは彼らがそれをどのように行うかをチェックすることができるかもしれません。一般的に、そもそもこれを行う必要はないでしょう...

于 2008-11-09T22:55:37.043 に答える
2

ヒープ、スタック、および静的データ領域は一般に異なる範囲のメモリを占有するため、プロセスメモリマップを熟知していれば、アドレスを調べて、どの割り当て領域にあるかを判断できます。この手法は両方ともアーキテクチャです。コンパイラ固有であるため、コードの移植がより困難になります。

于 2008-11-09T23:01:40.307 に答える
2

ほとんどの libc malloc 実装は、ブロックのサイズに関する情報と「マジック」値を含むフィールド (free() 呼び出しで使用される) を持つ各返されたメモリ ブロックの前にヘッダーを格納することによって機能します。この魔法の値は、ユーザーが割り当てられていないポインターを誤って削除する (またはユーザーによって上書きされたブロックを解放する) のを防ぐためのものです。これは非常にシステム固有であるため、libc ライブラリの実装を調べて、どのような魔法の値があったかを正確に確認する必要があります。

それがわかったら、指定されたポインターをヘッダーに戻してから、マジック値を確認します。

于 2008-11-09T23:10:45.517 に答える
0

LD_PRELOADなどを使用して、mallocデバッガーのようにmalloc（）自体にフックできますか？もしそうなら、あなたはすべての割り当てられたポインタのテーブルを保持し、それを使用することができます。そうでなければ、私にはわかりません。mallocの簿記情報を入手する方法はありますか？

于 2008-11-09T22:52:55.240 に答える
0

標準機能ではありません。
mallocライブラリのデバッグバージョンには、これを行うための関数が含まれている場合があります。

于 2008-11-09T22:58:02.437 に答える
0

そのアドレスを静的であることがわかっているものと比較し、それがどこから来るべきかを知っていれば、それが遠くにある場合にのみマロックされていると言うことができますが、そのスコープが不明である場合、それを本当に信頼することはできません。

于 2008-11-09T23:01:03.820 に答える
-1

1.) 持っているコードのマップ ファイルを取得します。

2.) 基盤となるプロセス/ハードウェア ターゲット プラットフォームには、通常、メモリの開始アドレス (スタック、ヒープ、global0、そのブロックのサイズ、そのメモリ ブロックの読み取り/書き込み属性) を示すメモリ マップ ファイルが必要です。

3.) 1.) で mao ファイルからオブジェクト (ポインター変数) のアドレスを取得した後、そのアドレスがどのブロックに該当するかを確認します。あなたはいくつかのアイデアを得るかもしれません。

=西暦

于 2008-11-09T23:26:17.043 に答える