c while循环将循环中的局部变量视为全局变量，为什么？

Question

下面是一个小型的 C 应用程序。它会要求您输入一个单词。它不再询问何时获得四个独特的单词。但在下面所示的表单中，除非取消注释相关行，否则它将无法正常运行。

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

#define WORDS_COUNT 4

int main()
{
    char* words[WORDS_COUNT];

    int words_added = 0;
    while (words_added<WORDS_COUNT)
    {

        puts ("\n-------enter a word-------");

        char response[250];

        scanf("%s", response);

        int i;
        int duplicate_flag = 0;
        for (i=0; i < words_added; i++)
        {
            if (strcmp(words[i], response) == 0)
            {
                duplicate_flag = 1;
                break;
            };
        };

        if (duplicate_flag == 0)
        {
            //char tmp[250];
            //strcpy(tmp, response);
            words[words_added] = response; //words[words_added] = tmp;
            puts("that's new!");
            words_added ++;
        } else {
            puts("you've said that already...");
        };

    };
    return 0;
};

您可以看到，主要区别在于 words[words_added] = response 和 words[words_added] = tmp 之间。

为什么 tmp 变量起作用，而 response 不起作用？

我猜测 response 每次迭代都会有完全相同的地址，而 tmp 每次迭代都会得到一个新地址。但为什么？但它们都是在同一个 while 循环中声明的？？？

Answer 1

当您分配 words[words_added] = response 时，您会将 response 的地址（而不是内容）复制到数组中。因此，在原始形式中，您的代码应该将第二个单词和每个后续单词视为重复项。当您使用 tmp 时，代码会将每个新的 response 与存储在 words[]（每个位置）中的先前 tmp 进行比较，然后将其复制到tmp（如果它不是重复的）。

因此，我怀疑您的代码会检测到紧随原始内容之后的重复项，但不会检测到在 2 个或更多单词之后出现的重复项。

words 数组包含 4 个指针，但尚未为这些指针分配内存。
您需要为 words 数组的每个元素分配内存，然后将每个字符串复制到其中：

if (duplicate_flag == 0)
{
  words[words_added++] = strdup(response); // allocates mem and copies the string
  puts("that's new!");
} else {
  ...
}

然后一定要在程序末尾释放内存：

for (i = 0; i < words_added; ++i) {
  free(words[i]);
}

Answer 2

你做错了 - 你指向一个指针数组 - words[words_added] - 指向每次迭代都会更改的变量 - response

你需要在每次迭代中为 words[words_added] 分配存储空间，然后再进行 strcpy：
strcpy(words[words_added], response);

PS 不要放右大括号后的分号 }