可変長配列がスタック/ヒープ上に作成されているかどうかを確認する方法はありますか？

Question

次のコードは可変長配列を生成することを理解しています（C++の非標準拡張を介して）。

int main() 
{ 
    int valone = rand(); 
    int valtwo = rand(); 
    int array[valone][valtwo]; 
    // Printing size 
    cout << sizeof(array) << endl; 
} 

スタックまたはヒープで生成されたかどうかを確認する方法はありますか？ウィキペディアの説明hereは、gccが同じスタックを生成すると言いますが、上記のコードを試してみると、ほとんどの場合、配列のサイズは大きすぎてスタックに収まらないようですが、それは不平を言うことはありません。

注：このコードは、Visual Studioとgccの&打ち鳴らすとない

Answer 1

のようないくつかのことを試してみましたが、配列のサイズがスタックに収まるには大きすぎるようだが、それは文句はありません。

"決して文句を言う"とは、プログラムがクラッシュしないということです。

割り当てたメモリに手を触れることは決してありません。コンパイラはそれを証明するのに十分なほどスマートで、何も配置しませんでした。

は、私たちは、変数のアドレスを見てみましょう、そして他の場所で定義された関数に送信：今すぐ

int array[valone][valtwo] = {}; 
cout << &array << endl; 

、コンパイラは、配列がアクセスされることはありませんことをそれほどわかりませんでした。これは、別の翻訳単位で実装されているストリーミング演算子に入ることができないためです。おそらくオペレータはポインタを間接参照するでしょう。配列が存在することを確認する必要があります。

Segfaultが私の最初の試みでこのプログラムをクラッシュしました。スタックがオーバーフローしました。

---

この種のクラッシュテストは、VLAがスタックにあるかどうかをテストする方法です。

自動変数の隣接関係をVLAと比較するためのMikhailのコメントは、適切なプラットフォームに依存した考えですが、プログラムをクラッシュさせないようにVLAを十分に割り当てると機能します。

Answer 2

まずでのみ動作し、私はあなたが明示的に割り当てを解除しない限り、malloc関数または新規のいずれかを使用して、ヒープに割り当てられたメモリチャンクがプログラム全体の寿命を続けていることを知っていると仮定。したがって、変数の長さの配列がスコープ内にのみ存在し、プログラムの存続期間内に存在しない場合は、おそらくスタック内に割り当てられていると結論づけることができます。

メモリチャックがヒープに割り当てられているが、スタックのメンバーであるかのように動作するかどうかはわかりません。そのためのアセンブリコードを参照することをお勧めします。そのような実装はおそらく、動的割り当て関数/ syscallsをボンネットの下で使用します。

アヒルのように見えたら、アヒルのように歩き、アヒルのように話すなら、それはアヒルであると仮定するのが安全でなければなりません（ほとんどの場合）。

Answer 3

それは難しい質問かもしれないと私は

#include "iostream" 

int Stack_or_heap(void* ptr) 
{ 
int dummy; 
return ptr > &dummy; 
} 

int main(int argc, char** argv) 
{ 
    int* i = new int(); 
    int x, y, z; 
    std::cout << Stack_or_heap(&x) << Stack_or_heap(&y) << Stack_or_heap(&z) << Stack_or_heap(i); 
}