非初始化的不同类型但具有相同名称的全局变量 - 奇怪的链接行为

Question

首先,请帮助我找到一个更准确描述情况的更好的标题.我在调试真实世界(嵌入式)代码时创建了以下简要版本的问题.

请考虑以下文件代码t1.c:

#include <stdio.h>

int A;

void f() { printf("%d\n", A); }

extern void g();

void main(void)
{
    g(); A=1; g();
    A++;
    f();
}

和代码t2.c:

#include <stdio.h>

double A;

void g()
{
    A += 1.0;
    printf("%f\n", A);
}

现在编译并运行如下代码:

gcc -Wall t1.c t2.c -o t && ./t

给

1.000000
2.000000
1

请注意,这两个文件都包含一个A具有不同类型的全局变量调用.我期望链接错误,因为符号A存在多次.

当我初始化两个变量中的一个时,我实际上得到一个链接警告(对象大小在不同的.o中发生变化),当我初始化它们时,一个错误(多个定义).

我用gcc 4.7和4.4试过这个.

这是预期的行为吗？如果是这样,我可以做些什么来指示工具链(基于gcc)来警告它吗？

这是一个错误吗？

Answer 1

是的，使用-fno-common选项进行编译以获取链接器错误：

$ gcc -Wall -fno-common -c t1.c
$ gcc -Wall -fno-common -c t2.c
$ gcc t1.o t2.o -o t
t2.o:t2.c:(.bss+0x0): multiple definition of `_A'
t1.o:t1.c:(.bss+0x0): first defined here
collect2: error: ld returned 1 exit status
$

如果您想在一行中编译它，您还可以将其传递--warn-common给链接器（这里--fatal-warnings有一个错误而不是警告）：

$ gcc -Wl,--fatal-warnings,--warn-common -Wall t1.c t2.c -o t
/tmp/cc1xQo79.o: warning: common of `_A' overriding smaller common
/tmp/ccLnhxoe.o: warning: smaller common is here
collect2: error: ld returned 1 exit status
$

默认情况下，gcc作为扩展执行 C 未定义行为的各种优化。C 允许任何实现在存在此类程序时停止翻译，因此除非您有充分的理由这样做，否则您应该避免它。