數組是計算機程序中常用的一種數據結構，它可以存儲多個相同類型的數據元素。然而，在使用數組時，我們必須遵循一些規定，其中之一就是數組元素的下標值必須為正整數。 如果我們將數組元素的下標值改成負數，會發

數組是計算機程序中常用的一種數據結構，它可以存儲多個相同類型的數據元素。然而，在使用數組時，我們必須遵循一些規定，其中之一就是數組元素的下標值必須為正整數。

如果我們將數組元素的下標值改成負數，會發生什么呢？在C 中，編譯程序后并不會提示錯誤，但運行程序時會發現運算結果是錯誤的。這意味著當數組元素的下標寫成負數時，編譯不會報錯，但運算結果會出錯。

另外一個問題是數組元素的個數應該在定義的數組下標范圍內使用。如果我們讓數組元素的下標超出定義的范圍，會發生什么呢？同樣地，在編譯程序時不會出現錯誤提示，但在運行程序時可能會出現錯誤。也就是說，當數組元素的下標超過數組定義范圍時，編譯不會報錯，但運行程序時會出現錯誤。

還有一種情況是當數組元素的下標值與定義的數組大小一樣時，也屬于超出定義范圍。因為數組元素的下標是從0開始的，所以當下標值等于數組大小時，實際上是訪問了數組定義之外的存儲空間。

以上兩種情況統稱為數組越界問題。由于程序在編譯時會通過，因此很難及時發現該錯誤。而且，數組越界可能導致程序在特定條件下出現怪異的運行結果，使程序不按照預期次序進行。

要檢測是否存在數組越界問題，并沒有特別好的方法，一般采用靜態檢查法。所謂靜態檢查就是通過仔細閱讀代碼，檢查程序是否符合設計要求。