c - 为什么 strcpy 在使用大小为 1 的目标字符串时省略源字符串中的第一个字符？

Question

在 C 语言中，strcpy 函数用于将源字符串复制到目标字符串中。

但是当我使用大小为 1 的目标 char 数组时，strcpy 正确地将源复制到目标中。但它也会更改源 char 数组。我想了解这在 C 中是如何工作的。

我已经对如何在程序中正确使用 strcpy 进行了一些研究，但它们都使用大于 1 的目标大小。我使用等于 1 的目标大小来编写程序。这就是问题所在是。

char a[] = "String ABC";
char b[1];

strcpy(b, a);
int i;
// printf("%c\n", *(&(a[0])-1));

printf("%s\n",a);
printf("%s\n",b);

我希望输出是

String ABC
String ABC

但我得到的输出是

tring ABC
String ABC

Answer 1

问题是您正在将更长的字符串复制到 1 字节字符串，从而导致未定义的行为。

如果你运行这个程序:

#include<stdio.h>
#include<string.h>

int main(int argc, char *argv[])
{
    char a[] = "String ABC";
    char b[1];
    printf("%p\n", &a);
    printf("%p\n", &b);

    strcpy(b, a);
    int i;
    printf("%c\n", *(&(a[0])-1));
    printf("%c\n", a[0]);
    printf("%s\n",a);
    printf("%s\n",b);
    printf("%p\n", &a);
    printf("%p\n", &b);
}

您看到 b 和 a 有连续的地址，并且 b 存储在 a 之前的内存地址中。很可能 strcpy 将字符串复制到 b 但由于 b 没有分配来存储这么长的字符串，它会覆盖下一个连续的内存单元似乎是 a。

让我用|| 表示一个存储字符的存储单元。假设 -b- 是存储一个字符长字符串的单元格。在复制之前你有

|-b-|---a memory allocation--|
|-b-|S|t|r|i|n|g| |A|B|C|D|\n|

现在 a 被复制到 b:第二个单元格是 a 现在包含 t

  |--a memory allocation-|
|S|t|r|i|n|g| |A|B|C|D|\n|

这就是我认为正在发生的事情。但请记住，将较长的字符串复制到较短的字符串中会导致未定义的行为。