为什么要将函数参数复制到局部变量中？

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. 
}