爲什麼要將函數參數複製到局部變量中？

Question

是什麼strlcpy.c之所以參數複製到本地變量：

size_t 
strlcpy(char *dst, const char *src, size_t siz) 
{ 
    char *d = dst; 
    const char *s = src; 
    size_t n = siz; 

    /* Copy as many bytes as will fit */ 
    if (n != 0) { 
     while (--n != 0) { 
      if ((*d++ = *s++) == '\0') 
       break; 
     } 
    } 

    /* Not enough room in dst, add NUL and traverse rest of src */ 
    if (n == 0) { 
     if (siz != 0) 
      *d = '\0';  /* NUL-terminate dst */ 
     while (*s++) 
      ; 
    } 

    return(s - src - 1); /* count does not include NUL */ 
} 

更新

我增加了身體。

Answer 1

一個非常普遍的原因是變量在函數中被修改，然後在一個表達式中與參數一起使用。

例如，該功能可能修改變量n，並且稍後進行例如return siz - n;。

代碼SIZ和src其餘

Answer 2

實際需要計算一些東西：

/* Not enough room in dst, add NUL and traverse rest of src */ 
if (n == 0) { 
    if (siz != 0) 
     *d = '\0';  /* NUL-terminate dst */ 
    while (*s++) 
     ; 
} 

return(s - src - 1); /* count does not include NUL */ 

但我不明白爲什麼DST被複制到本地。也許只是爲了對稱。

Answer 3

至少對於src參數，它用於計算要返回的長度。該函數的最後一行顯示：

return(s - src - 1); 

在dst參數方面，它實際上沒有必要的，但它可能已經一致性完成。這可能並不重要，因爲體面的優化編譯器可能不會受到這個看似額外的變量的影響。

Answer 4

對於dst和d，我想，只是爲了simmetry。對於其他變量，它們在「代碼」中用於初始值和更新值。

Answer 5

size_t 
strlcpy(char *dst, const char *src, size_t siz) 
{      ^-------------------------->constant so must not be modified. that's why a temp variable is needed for modification.  
    char *d = dst;  <-- useless may be. 
    const char *s = src; 
    size_t n = siz;  

    /* Copy as many bytes as will fit */ 
    if (n != 0) {   
     while (--n != 0) { 
      if ((*d++ = *s++) == '\0') 
       break; 
     } 
    } 

    /* Not enough room in dst, add NUL and traverse rest of src */ 
    if (n == 0) {     <-- new n arg. 
     if (siz != 0)    <--- original siz arg 
      *d = '\0';  /* NUL-terminate dst */ 
     while (*s++) 
      ; 
    } 

    return(s - src - 1); /* count does not include NUL */ <-- using the original and modified values of s and src together. 
}