为什么我可以用C语言定义一个变量两次？ [英] Why can I define a variable twice in C?

问题描述

我一直在测试全局变量，定义和声明，我在这种情况下停止了：

main.c：

#include "stdio.h"

void func(void);
int a;

int main(void) {
    a = 20;
    printf("in main: %d
", a);
    func();
    
    return 0;
}

add.c：

#include <stdio.h>

void func(void);
int a;

void func() {
    printf("in add: %d
", a);
}

所以C中的行

int a;

同时表示声明和定义，但是我们知道不允许多次定义一个变量。那么，如果我们有a的两个定义和两个声明，为什么要编译这段代码呢？ 我在Clion中工作，当我在Main中的a上按&go to Definition/Claimation&Quot；时，它会将指针移动到add.c中的a，当我在add.c中执行同样的操作时，它会移回main.c，因此我无法理解这里发生了什么。

推荐答案

在任何函数之外，int x;是暂定定义，某些编译器和链接器将其视为一种"协作定义"，其中标识符可以以这种方式在多个文件中声明，并将导致仅定义一个对象。

C对外部声明(函数外的声明)的规则由于历史原因有点复杂-C是随着不同的人开发和实验而发展起来的，而不是通过我们今天所拥有的知识进行设计。

定义：函数外部int x = 3;是一个定义。它既声明标识符x，又为int保留内存，并将int初始化为3。

声明：extern int x;是声明而不是定义。它声明标识符x，但不为其保留内存。

这两个声明都提供了x外部链接。这意味着，当它们出现在不同的源文件中时，标识符的两个实例将链接以引用内存中的同一项内容。

C标准规定，具有外部链接的标识符"最多只能有一个定义"(C20186.95)。(如果在程序中使用标识符，则必须有定义。如果未在表达式中使用，则不需要定义。)

暂定定义：int x;是混合体。这是一种特殊的可能定义，称为暂定定义。C标准规定，如果翻译单元中存在暂定定义(正在编译的源文件及其包含的所有文件)，并且没有常规定义，则暂定定义将成为常规定义。

现在，如果您违反了"应该有"最多一个定义的规则，会发生什么情况？事情是这样的：这不是一个程序必须遵守的规则。当C标准说"应当"时，意思是说，如果一个程序遵循这个规则，行为就会像C标准说的那样。如果程序不遵守此规则，则C标准不定义行为(C 2018 4 2)。相反，我们让编译器和链接器定义行为。

当程序最多违反关于一个定义的规则时，编译器和链接器中的常见行为是：

• 如果链接时有多个常规定义，则报告错误。
• 如果有多个临时定义，但只有零个或一个常规定义，请将它们合并为单个定义。

这是在GCC版本10之前的GCC和相关工具中定义的默认行为，并在2018年C标准关于通用扩展的信息部分(J.5.11)中明确提到。在当前版本的GCC中，默认情况下，任何类型的多个定义都被视为错误。您可以使用命令行开关-fcommon请求旧行为。

这篇关于为什么我可以用C语言定义一个变量两次？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！