为何未出现Multiple definition Error？程序如何区分同名static变量？

示例代码 #

#include <stdio.h>

#define MAX 5
 
static int data = 10; 
int increment(void *);

int increment(void *ptr)
{
    int *p = ptr;
    static int data =15;
    for (int loop=0; loop < MAX; loop++)
    {
        data++;
    }
    return data;
}
 
int main(void)
{
    printf("%d\n", data++);
    static int data = 25;
    for (int loop=0; loop < MAX ; loop++)
    {
        data++;
    }
    printf("%d\n", data++);
    data = increment(&data);
    printf("%d\n", data++);
    return 1;
}

问题说明 #

已知static变量会驻留内存直至程序结束，上述代码中存在全局static int data、main函数内的static int data，以及increment函数内的static int data（已知属于局部作用域）。认为这应该触发多重定义错误，但实际并未出现，这是为什么？程序是如何识别何时使用全局data，何时使用main函数内的data的？

解答 #

1. 为什么没有触发多重定义错误？

C语言中，多重定义错误仅针对作用域和链接属性重叠的变量，而这三个data变量的作用域与链接属性完全隔离：

• 全局static int data：链接属性为internal（仅当前编译单元可见），作用域覆盖整个当前源文件，但会被内层作用域的同名变量遮蔽。
• main函数内的static int data：作用域仅限main函数内部（从定义位置到函数结束），属于局部静态变量，仅在main内可见。
• increment函数内的static int data：作用域仅限increment函数内部，与其他两个变量完全独立，互相不影响。

三者的作用域没有重叠的冲突区域，因此编译器不会判定为多重定义。

2. 程序如何区分不同的data变量？

变量的查找遵循内层作用域优先的原则：当代码中引用变量时，会先在当前最内层的作用域中查找，找不到再依次向外层作用域查找：

• main函数的第一个printf：此时main内的static int data还未定义，作用域未覆盖到此处，因此使用的是全局static int data（初始值10，后置++输出10，全局data变为11）。
• 从static int data = 25;开始，main函数的内层作用域中存在同名变量，后续所有data引用都会优先使用这个局部静态变量：
  • 循环5次后，该变量从25变为30，后置++输出30，变量值变为31。
  • 调用increment(&data)时，传入的是这个局部静态变量的地址，但increment函数内操作的是自己的局部静态data（初始15，循环5次后变为20，返回20），赋值给main的局部静态data后，该变量变为20，后置++输出20，最终变为21。
• increment函数内的data仅在函数内部可见，与外部的两个data完全无关，函数内的操作不会影响其他作用域的变量。

内容的提问来源于stack exchange，提问作者fw08