存储在全局链表中的本地结构（并在其他函数中访问）适用于 VC2010。这是正确的 C99/ANSI 吗？

Question

以下代码工作正常：

typedef struct node_s {
    void *data;
    struct node_s *next;    
} NODE;

typedef struct test_s
{
    int asdf;
}TEST;
NODE *list_create(void *data)
{
    NODE *node;
    if(!(node=malloc(sizeof(NODE)))) return NULL;
    node->data=data;
    node->next=NULL;
    return node;
}

NODE *list_insert_after(NODE *node, void *data)
{
    NODE *newnode;
    newnode=list_create(data);
    newnode->next = node->next;
    node->next = newnode;
    return newnode;
}

NODE *list, *second, *third;

void localstructtest()
{
    TEST t;
    t.asdf = 10;

    third = list_insert_after(second, (void*)&t);
}

int main()
{
    TEST th;
    TEST* hrm;

    /* Create initial elements of list */
    list=list_create((void*)"First");
    second=list_insert_after(list, (void*)"Second");
    localstructtest();

    hrm = (TEST*)third->data;
    th = *hrm;
    return 1;
}

该结构是在 main 之外的函数中本地创建的，但我能够从 localstructtest() 范围之外的链接列表中检索数据。局部变量是在堆栈上创建的，这个结构也是如此吗？或者它实际上是在堆上创建的并且指针/引用仍然有效？当我测试它时，我预计这会严重失败。我承认我是一名 C++ 程序员，我可能不完全理解 C 中没有传递引用的后果。如果可以像这样使用结构数据，那么数据什么时候会得到释放了？

谢谢！

Answer 1

未定义的行为。它可能有效，也可能无效，它可能会将您的计算机变成疣猪，这一切都取决于月相.

说真的：这可能在一个小示例程序中有效，但随着程序的增长，它肯定会在你面前爆炸。

至于按引用传递：在 C 中，您可以通过传递指针来实现。基本内存分配规则与 C++ 中的相同：本地struct 在堆栈上分配，并在超出范围时销毁。主要区别在于，从来没有析构函数，因此您无法获得完整的 RAII。

Answer 2

它适用于大多数系统的原因是当帧弹出时堆栈不会清零。如果您对程序进行了看似无关的小更改，它将停止工作。

int junk()
{
    char junkdata[100] = {0};
    return 42;
}

int main()
{
    TEST th;
    TEST* hrm;

    /* Create initial elements of list */
    list=list_create((void*)"First");
    second=list_insert_after(list, (void*)"Second");
    localstructtest();
    junk();

    hrm = (TEST*)third->data;
    th = *hrm;
    return 1;
}

发生这种情况是因为 junk() 用零覆盖了堆栈上的结构。