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

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

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

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

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

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

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