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

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

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

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

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

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

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