Malloc不需要創建內部陣列

Question

我想完全包圍malloc和內存分配。我最近遇到了一個讓我擡頭的情況。

當擺弄數組時，我創建了一個數組數組。在我的腦海中會看起來像這樣： [[0, 1, 2, 3, 4], [0, 1, 2, 3, 4], ...] 當我這樣做時，我想到因爲我需要malloc來創建外部數組。我還需要爲我創建的每個內部數組調用malloc。我很快意識到，當我跳過這一步對我沒有意義時，我會得到相同的輸出。

請考慮以下腳本。

int main(int argv, char* argc[]){ 

    // initialize outer array 
    int* outer = malloc(5 * sizeof(int)); 

    int i, j; 

    // for each slot in outer array 
    // create a new array and assign it 
    // to that slot. 
    // NOT NEEDED. 
    for(i = 0; i < 5; i++){ 
     int* inner = malloc(5 * sizeof(int)); 
     *(outer + i) = *inner; 
    } 
    // If I comment out the above four lines 
    // the output remains the same. 

    // assign to each slot in each inner array 
    for(i = 0; i < 5; i++) 
     for(j = 0; j < 5; j++) 
      *(outer + i * 5 + j) = j; 

    // print each element in each inner array 
    for(i = 0; i < 5; i++){ 
     for(j = 0; j < 5; j++){ 
      printf(
       "%d ", 
       *(outer + i * 5 + j) 
      ); 
     } 
     puts(""); 
    } 
} 

從該腳本的輸出如下：

0 1 2 3 4 
0 1 2 3 4 
0 1 2 3 4 
0 1 2 3 4 
0 1 2 3 4 

這是我所期待的。但是當我在腳本中註釋掉第一個for循環時，我會得到相同的輸出。爲什麼是這樣？我不需要爲內部數組分配內存嗎？很明顯，答案是否定的，但我試圖理解這是爲什麼。

Answer 1

簡短回答：Undefined behavior。

當您未能爲內部數組分配內存時，指針未初始化，因此它們指向某些未指定的內存位置。

由於未定義的行爲，您的程序可能會崩潰，它可能會以某種意外的方式運行，或者可能（如您的情況）似乎正常工作。看似無關的更改（如添加未使用的變量）可能會導致程序行爲發生更改。