如何让编译器捕获两个C源文件中全局变量类型不一致的问题

Question

my1.c

extern float e;
void f1(){ e=3.0;}

my2.c

#include <stdio.h>
int e=0;
void f1();
void main(){
  printf("%d in main \n", e);
  f1();
  printf("%d in main \n", e);
}

这里全局变量e在两个源文件中被错误地声明为float和int。

如何让链接器因这种不一致而引发错误？

Answer 1

我们使用头文件而不是链接器来减轻这种风险。多个翻译单元中引用的任何内容都应在一个头文件中声明：

MyGlobal.h：

extern float e;

任何使用它的文件都应包含头文件：

main.c：

#include "MyGlobal.h"

…
    printf("e is %f.\n", e);

只有一个文件应定义它，并包含头文件：

MyGlobal.c ：

#include "MyGlobal.h"

float e = 0;

通过使用头文件，所有翻译单元中的声明都是相同的。由于定义标识符的源文件还包括头文件，因此编译器会报告任何不一致。

头文件之外的任何外部声明（不是定义）都是可疑的，应该避免。

Answer 2

1.c

static float e;
void f1(){ e=3.0;} 

2.c

#include <stdio.h>
static int e=0;
void f1();
void main()
{
printf("%d in main \n", e);
f1();
printf("%d in main \n", e);
}