概述

在C語言中，當你有一個指向數組中某個元素的指針時，你可以對該指針執行某些算術運算，例如加法或減法。這些運算可以用來遍歷數組中的元素，如ptr[i]等價于*(ptr + i)。然而，如果你的操作使得指針指向了數組以外的位置（除了數組結束位置之后的一個位置之外），那么這個指針的行為就是未定義的。

例如：

如果ptr指向數組的第一個元素，那么ptr + 1將指向第二個元素。

如果ptr指向數組的最后一個元素，那么ptr + 1將指向數組結束之后的一個虛構位置，這是允許的，但是試圖訪問該位置（如*(ptr + 1)）將導致未定義行為。

如果ptr指向數組的最后一個元素，那么ptr + 2指向的位置超出了數組的范圍，這將導致未定義行為。

未定義行為意味著編譯器可以做出任何事情，包括但不限于程序崩潰、數據損壞或其他不可預測的結果。因此，在編寫涉及指針操作的代碼時，確保指針始終在安全范圍內是非常重要的。在實際編程中，常常會用到邊界檢查來防止這類問題的發生。

詳述

創建一個指向數組末尾之后的指針在標準中是有明確定義的，并且本規則允許這種操作。但是，引用通過這種方式創建的指針會導致未定義的行為，并且此規則禁止這樣做。

本規則適用于所有形式的數組索引：

整數表達式 + 整數表達式

指針表達式 + 整數表達式

指針表達式 += 整數表達式

指針表達式 -= 整數表達式

++ 指針表達式

-- 指針表達式

指針表達式++

指針表達式--

整數表達式 [指針表達式]

指針表達式 [整數表達式]

注意：對于指針算術的目的，標準將不是數組成員的對象視為具有單個元素的數組。

理由

雖然一些編譯器可以在編譯時確定數組邊界是否超出，但在運行時通常不會對無效數組下標進行檢查。使用無效數組下標可能導致程序出現錯誤行為。

由于它們不容易通過靜態分析或手動審查來檢查，因此運行時推導出的數組下標值最令人擔憂。如果可能的話，應該提供代碼以檢查此類下標值的有效性，并根據需要采取適當的行動。

如果從上述表達式之一獲得的結果不是一個指向由指針表達式所指向的數組元素或一個超過該數組末尾的一個元素的指針，則其行為是未定義的。有關更多信息，請參閱C90第6.3.6節、C99第6.5.6節。

多維數組是“數組的數組”。本規則不允許導致指針指向不同子數組的指針算術。不應使用數組下標跨越“內部”邊界的數組下標，因為這樣的行為是未定義的。

示例

使用+運算符也會違反規則18.4。

int32_t f1( int32_t * const a1, int32_t a2[10][1]) 
{
  /* Compliant/non-Compliant depending on the value of a1 */
  int32_t *p = &a1[3];     
return*(a2+9);/*Compliant*/
}


void f2(void)
{
    int32_t data = 0;
    int32_t b = 0;
    int32_t c[10] = {0};
    // 5-element array of 2-element arrays of int32_t
    int32_t d[5][2] = {0}; 
 
    int32_t *p1 = &c[0];    //Compliant
    int32_t *p2 = &c[10];   // Compliant - points to one beyond
    int32_t *p3 = &c[11];   // Non - compliant - undefined, points to two beyond
    
    data = *p2;




    data = f1(&b, c);
    data = f1(c, c);
    
    p1++;         /*Compliant*/
    c[-1] = 0;    /*Non-Compliant - undefined, array bounds exceeded*/
    data = c[10];    /*Non-Compliant - undefined,dereference of address one beyond*/
   
    d[3][1] = 0;         /*Compliant*/
    data = *(*(d + 3) + 1);      /*Compliant*/
    data = d[2][3];      /*Non-compliant - undefined, internal boundary exeeded*/
    
    p1 = d[1];
    data = p1[1];
}