C++（g ++編譯器）動態初始化靜態聲明的數組導致內存問題

Question

我們今天在我的數據結構類中討論了不同的編譯器行爲。下面的例子（加上我的一些cout'ing和其他修補）作爲一個程序，可以在g ++上編譯，但不一定在所有其他編譯器上。

#include <iostream> 

using namespace std; 

int main(void) 
{ 
    int i; 
    int j = 5; 

    cout << "i address: " << &i << " -- j address: " << &j 
     << endl << "enter size: "; 
    cin >> i; 
    cout << "value i: "<< i << "; size memory of i (ints): "<<(&i - &j)<< endl; 

    int a[i]; 

    cout << "address of array a start: " << a << endl; 

    int b = 14; 

    cout << "value b: " << b << "; b address= " << &b << endl 
     << "distance bt j and b(ints): "<< (&j - &b) << endl; 
    cout << "distance bt b and start of array(ints): " << (&b - a) << endl; 
} 

玩弄輸入（和學習一些關於如何動態數組在過程中分配的內存）後，我決定進入0是最有趣的。輸出：

i address: 0x7fff5b303764 -- j address: 0x7fff5b303760 
enter size: 0 
value i: 0; size memory of i (ints): 1 
address of array a start: 0x7fff5b3036b0 
value b: 14; b address= 0x7fff5b303754 
distance bt j and b(ints): 3 
distance bt b and start of array(ints): 41 

我的問題：

1. 如何G ++知道治療陣列作爲一個需要被動態創建VS立即試圖靜態地創建一個與任何的默認值我是或拋出某種編譯時錯誤？

2. j和b之間的距離是3int的內存而不是預期的1.這是怎麼回事？我懷疑，純粹是通過玩弄該計劃收集的經驗證據，它與該cout有關，但我不熟悉如何/爲什麼他們會以似乎隨機的數量存儲在內存中。

3. 我爲數組a的大小輸入了0，並且基於以不同大小玩耍，我認爲長度爲0的動態數組不可能被初始化爲長度爲41.因此，如果它不是數組佔用所有這41個內存值，然後存儲在b（堆棧中存儲的最後一個數據）和數組a（第一個數據有目的地存儲在堆中）之間的內容是什麼，爲什麼它存在於那裏？

Answer 1

a是一個可變長度排列構成的非標準C++但克++擴展的一部分。 g ++知道它不是編譯時確定大小的常規數組，因爲i不是編譯時常量，例如const int i = 3;a不存儲在堆上。它存儲在堆棧中。我想j和b之間的地址距離取決於分配給a的大小，只能在運行時才知道。我不知道如何計算大小爲0的b和a之間的距離。如果您構建在調試模式下，則可能會在陣列後添加一些額外的隱藏緩衝區，以便檢測超出範圍的意外覆蓋陣列。