访问结构内的字符数组显示越界错误

Question

我有以下 C 结构并使用函数 getPerson(void) 返回指向我的结构的指针，使用用户输入返回指向新结构的指针。以下代码无法编译并给出以下错误：

     #include <stdio.h>  
     #include <stdlib.h>

     typedef struct {

         char name[50];
         int age;

     } person;

     person* getPerson(void) 
     {   
         person* newPerson = (person*)malloc(sizeof(person));
         int ageInput;
         char *nameInputPtr = (char*)malloc(50 * sizeof(char));

         printf("Please enter your name: \n");
         scanf("%s", nameInputPtr);
         printf("Please enter your age: \n");
         scanf("%d", &ageInput);

         newPerson->name[50] = *nameInputPtr;
         newPerson->age = ageInput;

         return newPerson;  
   }

我得到的错误：

struct.c:22:2: error: array index 50 is past the end of the array (which contains 50 elements)
  [-Werror,-Warray-bounds]
    newPerson->name[50] = *nameInputPtr;
    ^               ~~
struct.c:6:2: note: array 'name' declared here
    char name[50];
    ^

我设法通过第 22 行中的以下更改来修复我的错误：

22  newPerson->name[49] = *nameInputPtr;

所以我的更改是将数字 50 更改为数字 49，使其位于第 6 行的索引定义的范围内。

因此，我不明白为什么第 6 行和第 22 行会在我的原始代码中出现错误，我想解释一下这个错误以及我的解决方案的清晰度和功能。

Answer 1

C 中的数组索引基于 0。对于分配了 50 字节内存的数组，

 char name[50];

尝试使用[50] 作为索引是逐一并调用undefined behaviour。

也就是说，

 newPerson->name[50] = *nameInputPtr;

不是你复制一个字符串的方式。你需要使用strcpy()，比如

strcpy(newPerson->name, nameInputPtr);

此外，最好在使用scanf() 时限制输入字符串长度以避免可能的缓冲区溢出。改变

scanf("%s", nameInputPtr);

到

scanf("%49s", nameInputPtr);

但是，请记住，如果您已经有一个具有固定大小分配的设计，那么使用动态内存没有多大意义。您可以轻松地使用编译时分配的数组。

Answer 2

什么？

这个：

newPerson->name[50] = *nameInputPtr;

说“将*nameInputPtr 处的字符分配给name 中索引50 处的字符”。但是name 的长度只有 50 个字符，而且数组在 C 中是从 0 开始的，所以这超出了范围。

不过，该代码没有任何意义！你想要：

strcpy(newPerson->name, nameInputPtr);

复制整个字符串。但是，由于您没有限制 scanf() 中的输入，因此这会带来传播缓冲区溢出的风险。

所以，更好的是，既然你已经有一个person，只需输入它：

scanf("%49s", person->name);

记得检查返回值。

当然你应该对年龄做同样的事情，不需要一个单独的整数然后复制到结构中。

Answer 3

你必须使用sprintf

strcpy(newPerson->name, nameInputPtr);

注意C 中的数组是基于0 的，name[50] 不存在。

在您使用数组作为字符串的特定情况下，您必须验证数组的大小为STR_LEN_MAX+1，因为字符串以空值结尾。这意味着字符串中的最后一个字符后总是需要一个字节，可以插入'\0' 字符。