循环内变量范围

Question

这也许是我遇到过的最奇怪的事情之一。我不用C编程太多，但从我知道的是真实的，再加上在线检查不同的来源，变量宏名称和宏体只在while循环的范围内定义。所以每次循环运行，我期待marcoName和宏体获得新的地址，并成为完全新的变量。但是，这不是事实。

我发现，即使循环再次运行，两个变量共享相同的地址，这导致我严重头痛的链表，我需要检查元素的唯一性。我不知道这是为什么。不应该宏名称和macroBody每次while循环运行时都会得到全新的地址？

我知道这是问题，因为我打印的地址和他们是一样的。

while(fgets(line, sizeof(line), fp) != NULL) // Get new line 
{ 
    char macroName[MAXLINE]; 
    char macroBody[MAXLINE]; 

    // ... more code 

    switch (command_type) 
    { 
     case hake_macro_definition: 
      // ... more code 

      printf("**********%p | %p\n", &macroName, &macroBody); 
      break; 

     // .... more cases 
    } 
} 

代码是我的链接列表代码的一部分。

struct macro { 
    struct macro *next; 
    struct macro *previous; 
    char *name; 
    char *body; 
};  

检查元素是否已存在于链接列表中的函数。但由于*名称具有相同的地址，因此我总是在if条件内结束。

static struct macro *macro_lookup(char *name) 
{ 
    struct macro *temp = macro_list_head; 

    while (temp != NULL) 
    { 
     if (are_strings_equal(name, temp->name)) 
     { 
      break; 
     }  

     temp = temp->next; 
    } 

    return temp; 
} 

Answer 1

这些数组在栈中分配：

char macroName[MAXLINE]; 
char macroBody[MAXLINE]; 

编译器已预分配给你，你的功能开始存在空间。换句话说，从计算机的角度来看，这些数组的位置与您在函数体顶部的循环体之外定义它们的位置相同。

C中的范围仅指示标识符可见的位置。因此，编译器（但不是计算机）强制执行在循环体之前或之后不能引用macroName和macroBody的语义。但是从计算机的角度来看，这些数组的实际数据在函数启动后就存在，并且只有在函数结束时才会消失。

如果您要查看代码的程序集转储，您可能会发现机器的帧指针减少了足够大的数量，以使函数的所有局部变量具有空间，包括这些变量阵列。

Answer 2

我需要什么，除了chrisaycock的回答说：你不应该使用指针外函数的局部变量，这些变量定义考虑这个例子：

int * f() 
{ 
    int local_var = 0; 
    return &local_var; 
} 
int g(int x) 
{ 
    return (x > 0) ? x : 0; 
} 
int main() 
{ 
    int * from_f = f(); // 
    *from_f = 100; //Undefined behavior 
    g(15); //some function call to change stack 
    printf("%d", *from_f); //Will print some random value 
    return 0; 
} 

一样的，实际上，适用于块。从技术上讲，块结束后可以清除块本地变量。因此，在循环的每次迭代中，旧地址可能无效。这不会是真的，因为C编译器的确因为性能原因将这些变量放到相同的地址，但是你不能依赖它。

你需要了解的是如何分配内存。如果你想实现一个列表，它是一个增长的结构。记忆从哪里来？您不能从堆栈分配太多内存，并且一旦从函数返回，内存就会失效。所以，你需要从堆中分配它（使用malloc）。