c - C 函数 strcpy() 中的溢出

Question

这个问题在这里已经有了答案:





Undefined, unspecified and implementation-defined behavior

(9 个回答)


5年前关闭。




我在 Linux 环境中用 C 语言编程，并且
我很困惑为什么这段代码中没有出现段错误:

int main(){
 char buffer[4];
 char tmp="qqqqqqqqqqqqqqqqqqqqqqqq";
 char *r;
 r=strcpy(buffer,tmp);
 return 0;}

我使用的变量 tmp 比缓冲区长，尽管如此，我可以正确地标记缓冲区变量而不会出现任何错误。

此外，我不明白为什么在这种情况下:

int main(){
 static char buffer[4];
 int i=0;
 while(i<5){
    (*(buffer+i)='a');
      i++;}
 return 0;}

只有当我没有声明缓冲区静态时才会发生段错误。

先感谢您。

Answer 1

在第一种情况下，buffer大到可以容纳 4 个字符，通常这意味着它可以容纳 3 个字符 + 1 个 nul-char。 strcpy不允许您防止溢出，而 strncpy做。这是一个简单的写作问题:

const char *tmp = "your string"; // const char *, not char
char buffer[4];
strncpy(buffer, tmp, (sizeof buffer) - 1); // sizeof char array == number of characters buffer can store
buffer[3] = '\0';//add terminating nul char

在第二种情况下，最大的问题是您的 while循环正在访问超出范围的索引( i<5 表示最后一次迭代将具有 i == 4)。数组是零索引的，所以 buffer 的最后一个有效索引是 3. 将循环更改为:

while(i<3) {
    buffer[i++] = 'a';
}
buffer[i] = '\0';

您可以通过初始化 buffer 来取消 nul 字符。正确:

char buffer[4] = "";

所以我可能会写这样的东西:

int main ( void )
{
    const char *tmp = "some long string";
    char buffer[4] = "";
    strncpy(buffer, tmp, (sizeof buffer) - 1);
    return 0;
}