Question

我测试了以下代码：

在文件 a.c / a.cpp

中

int a;

在文件 b.c / b.cpp

中

int a;
int main() { return 0; }

当我使用 gcc * .c -o test 编译源文件时，它会成功。

但是当我使用 g ++ * .c -o test 编译源文件时，它会失败：

ccIJdJPe.o:b.cpp:(.bss+0x0): multiple definition of 'a'
ccOSsV4n.o:a.cpp:(.bss+0x0): first defined here
collect2.exe: error: ld returned 1 exit status

我真的很困惑。 C和C ++中的全局变量之间有什么区别吗？

Answer 1

以下是该标准的相关部分。请参阅标准文本下面的解释：

§6.9.2/ 2外部对象定义

具有没有初始化程序的文件范围且没有存储类说明符或存储类说明符为静态的对象的标识符声明构成暂定定义。如果翻译单元包含一个或多个标识符的暂定定义，并且翻译单元不包含该标识符的外部定义，那么行为就像翻译单元包含该标识符的文件范围声明一样，复合类型为翻译单元结尾，初始化程序等于0。

ISOC99§6.9/ 5外部定义

外部定义是外部声明，它也是函数（内联定义除外）或对象的定义。如果在表达式中使用通过外部链接声明的标识符（而不是作为sizeof运算符的操作数的一部分，其结果是整数常量），则整个程序中的某个地方应该只有一个标识符的外部定义;否则，不得超过一个。

使用C版本，'g'全局变量被“合并”为一个，因此在一天结束时只会声明两次。这是可以的，因为不需要extern，或者可能没有退出。因此，这是出于编写旧代码的历史和兼容性原因。这是此旧版功能的 gcc扩展。

它基本上使gcc为名为'a'的变量分配内存，因此可以有多个声明，但只有一个定义。这就是为什么即使使用gcc，下面的代码也无效。

这也称为暂定定义。 C ++没有这样的东西，就在它编译的时候。 C ++没有暂定声明的概念。

暂定定义是没有存储类说明符且没有初始化程序的任何外部数据声明。如果到达翻译单元的末尾并且没有出现具有标识符的初始化器的定义，则暂定定义变为完整定义。在这种情况下，编译器会为定义的对象保留未初始化的空间。

但请注意，即使使用gcc，以下代码也不会编译，因为这是暂定的定义/声明，并且已分配值：

在文件“a.c / a.cpp”

中

int a = 1;

在文件“b.c / b.cpp”

中

int a = 2;
int main() { return 0; }

让我们通过进一步的例子来超越这个。以下陈述显示了正常定义和暂定定义。注意，静态会使它有点不同，因为那是文件范围，并且不再是外部的。

int i1 = 10;         /* definition, external linkage */
static int i2 = 20;  /* definition, internal linkage */
extern int i3 = 30;  /* definition, external linkage */
int i4;              /* tentative definition, external linkage */
static int i5;       /* tentative definition, internal linkage */

int i1;              /* valid tentative definition */
int i2;              /* not legal, linkage disagreement with previous */
int i3;              /* valid tentative definition */
int i4;              /* valid tentative definition */
int i5;              /* not legal, linkage disagreement with previous */

更多详细信息可以在以下页面中找到：

http://c0x.coding-guidelines.com/6.9.2.html

有关详细信息，请参阅此博客文章：

http://ninjalj.blogspot.co.uk/2011/10/tentative-definitions-in-c.html

Answer 2

gcc实现了一个遗留功能，其中未初始化的全局变量放在一个公共块中。

虽然在每个翻译单元中，定义是暂定的，但在ISO C中，在翻译单元的末尾，如果临时定义尚未合并为非暂定定义，则将其“升级”为完整定义。 / p>

在标准C中，即使这些定义来自临时定义，在一个翻译单元中定义具有外部链接的相同变量也始终是错误的。

要获得与C ++相同的行为，您可以使用带有gcc的-fno-common开关，这将导致相同的错误。（如果您使用的是GNU链接器而不使用-fno-common，您可能还需要考虑使用--warn-common / -Wl,--warn-common选项来突出显示遇到多个常见和非常见时的链接时间行为 - 具有相同名称的共同符号。）

来自gcc手册页：

-fno-common

在C代码中，控制未初始化全局的放置   变量。 Unix C编译器传统上允许多个        不同编译单位中此类变量的定义        将变量放在公共块中。这是行为        由-fcommon指定，并且是大多数GCC的默认值        目标。另一方面，ISO不要求这种行为        C和某些目标可能会带来速度或代码大小的惩罚        变量引用。 -fno-common选项指定        编译器应将未初始化的全局变量放在数据中        目标文件的一部分，而不是将它们生成为常见文件        块。这具有如果声明相同变量的效果        （没有extern）在两个不同的编辑中，你会得到一个        链接它们时出现多重定义错误。在这种情况下，你        必须使用-fcommon进行编译。用。编译        -fno-common对其提供更好的目标非常有用        性能，或者如果您希望验证程序是否有效        在其他系统上总是处理未初始化的变量        以这种方式声明。

gcc的行为是一个常见的行为，它在标准的附件J中描述（不是规范性的），它描述了标准的常用扩展：

J.5.11多个外部定义

对象的标识符可能有多个外部定义，用或   没有明确使用关键字extern;如果定义不同意或不同   一个被初始化，行为未定义（6.9.2）。

C和C ++中的全局变量有什么区别？

2 个答案:

§6.9.2/ 2外部对象定义

ISOC99§6.9/ 5外部定义