C语言全局变量那些事儿
这篇讲的是C语言全局变量多重定义的“危险”与“微妙”行为。作者从全局变量在不同视角(程序员、编译器、计算机)下的不同含义切入,通过三个递进的代码示例,深入剖析了编译链接器对“强符号”与“弱符号”的解析规则。 文章揭示了一个常被忽略的隐患:C语言实际上“允许”全局变量的多重定义(只要不是多个强符号),这可能导致内存被意外覆盖。示例中,同一个变量名在不同文件里可以是结构体或整型,却链接到同一块内存,其初始化值会发生覆盖。作者进一步展示了在多进程(fork)环境下,这种行为如何与操作系统的“写时拷贝”机制相互作用,使得不同进程的同一虚拟地址映射到不同的物理内存,从而产生隐蔽的状态差异。 最后,通过将代码编译为静态库链接,作者验证了这种行为在静态链接下依然存在。这篇文章的价值在于,它用具体而震撼的运行结果,将抽象的链接原理和潜在风险可视化,提醒开发者谨慎对待全局变量,尤其是非static限定的全局变量。