我應該如何處理此C語句在給定要求的情況下的執行情況？

Question

我目前試圖創建一個滿足這些以下要求的源代碼：

要求：

//從指數陣列的一部分的深層副本第一到最後一個索引

//包括的。如果成功，則返回一個指向新分配的intarr_t的指針，其中包含指定部分的副本。

//如果發生錯誤，即數組爲空，則第一個或最後一個超出界限，首先返回<，或者內存分配失敗，則返回空指針。

我已經完成了前兩個要求，但似乎我的第三個邏輯是錯誤的，無論我測試多少，我似乎無法找到發生的角落案例。

我的代碼：

intarr_t* intarr_copy_subarray(intarr_t* array, 
       unsigned int first, 
       unsigned int last) 
{ 
    intarr_t *tmp; 
    tmp = malloc((last-first)*sizeof(intarr_t)); 
    // it seems that my if statement is not meeting the requirement in bold. 
    if(first>=0 && last<= array->len && array != NULL && first > last && tmp != NULL) 
    { 
     //perform copying here 
     return tmp; // pointer to new array containing the copied stuff 
    } 
    else 
    { 
     return NULL; 
    } 
} 

typedef struct { 
    int* data; 
    unsigned int len; 
} intarr_t; 

似乎有它時，它不應該返回NULL的情況下，它與我的if語句做。請注意，我正在傳遞我的函數一個typedef結構，其中包含指向數組的指針和長度，但這不是問題。我應該使用OR語句而不是AND語句嗎？

Answer 1

功能可以像

intarr_t* intarr_copy_subarray(const intarr_t *array, 
           unsigned int first, 
           unsigned int last) 
{ 
    if (array == NULL || array->data == NULL || last < first || array->len <= last) 
    { 
     return NULL; 
    }  

    intarr_t *tmp = malloc(sizeof(intarr_t)); 

    if (tmp) 
    { 
     tmp->data = malloc((last - first + 1) * sizeof(int)); 
     if (tmp->data == NULL) 
     { 
      free(tmp); 
      tmp = NULL; 
     } 
     else 
     { 
      tmp->len = last - first + 1; 
      for (unsigned int i = 0; i < tmp->len; i++) 
      { 
       tmp->data[i] = array->data[first + i]; 
      } 
     } 
    } 

    return tmp; 
} 

Answer 2

所有檢查空第一首先：

if(!array ) 
    return NULL ; 

然後不分配，只是還沒有，但檢查如果你的論點是界限：

if(first>=0 && last< array->len && first <= last) 
{ 

然後分配內存，如果成功複製數組到新的子數組。

由於intarr_t（_t是一個保留的標識符），你的示例分配是不正確的，它保存了一個指向int數組的指針。您應該分配一個intarr_t然後陣列它指向：

intarr_t tmp = malloc(sizeof(intarr_t)) ; 
if(tmp) 
{ 
    tmp->data = malloc(sizeof(int) * (last - first + 1)) ; 
    //check if malloc succeeded again 
    tmp->len = last - first + 1 ; 
    ...