檢查超出C的範圍

Question

這段代碼是否真的檢查出數組的邊界？

在這種情況下，限制爲0 - 20在2D陣列

int noOfNeighbors(game *g, int row, int column){              
    int aliveCounter = 0; 

    for(int rows=-1; rows<=1; rows++) { 
     for(int cols=-1; cols<=1; cols++) { 

      if((rows || cols)) { 
       if(row+rows < (*g).rows && row+rows >= 0){ 
        if(column+cols < (*g).columns && column+cols >= 0){ 
         if(isAlive(g,row+rows,column+cols)){ 
          aliveCounter++; 
         } 
        } 
       } 
      } 
     } //end cols 
    }//end rows 
    return aliveCounter; 
}//end noOfNeighbors 

凡

typedef struct { 
    char current; 
    char next; 
} cell; 


typedef struct { 
    cell field[MAX_ROWS][MAX_COLUMNS]; 
    int rows; 
    int columns; 
    char aliveChar; 
    char deadChar; 
} game; 

和行和列被設置爲20

更新後的代碼，現在它支票0-19

Answer 1

此代碼是否真實檢查數組的邊界嗎？

是。你能告訴我們你不明白的地方嗎，我們可以更具體嗎？

此外，您可以更改：

(*g).rows 

到

g->rows 

它更易於閱讀。

編輯：我剛剛注意到，問題中的代碼已被編輯和修復。所以我想你自己發現了這個問題：在最初的問題中，比較中存在問題（<=而不是<）。

Answer 2

這不是一個答案，但過長的註釋：

你呈現的代碼有很多問題：我將只針對這些：

正如其他已經在評論和另一個答案中指出：使用g->行代替（* g）.rows

在代碼段：

int noOfNeighbors(game *g, int row, int column){              
    int aliveCounter = 0; 

    for(int rows=-1; rows<=1; rows++) { 
     for(int cols=-1; cols<=1; cols++) { 

      if((rows || cols)) { 
       if(row+rows < (*g).rows && row+rows >= 0){ 

它被寫入的方式，最後一行的結果是不確定的。也就是說，內循環，第一個達到1是cols（行仍然是-1），並且在比較中(*g).rows && row+rows >= 0)`（* g）.rows尚未初始化。

然後，在該行下面：

    if(column+cols < (*g).columns && column+cols >= 0){ 

出於同樣的原因，會有不確定的結果。

基礎上提出了什麼，有沒有辦法確切知道何時執行流程將最終得到循環的核心：

     if(isAlive(g,row+rows,column+cols)){ 
         aliveCounter++; 
        } 

建議：第一，你提供與相符的代碼段SSCCE，並可能解釋確切的意圖是什麼，以及它未達預期的地方。