C中不同类型的外部变量

Question

当我遇到这种情况时，我正在测试范围和可见性，我找不到解释：

我有两个 .c 文件：

F1.c

#include <stdio.h>

void Modify();

int i;
int j;

int main()
{
  i=1;

  printf("i (main 1) = %d\n", i);

  Modify();

  printf("i (main 2) = %d\n", i);

  return 0;
}

和F2.c

#include <stdio.h>

extern char i [10];
extern int j;

void Modify()
{
  j=0;
  i[0]='a';
  i[1]= 'b';
  i[4]= 'e';

  printf("i (Modify) = %c\n", i[0]);
  printf("j (Modify) = %d\n", j);
}

当我编译并链接它们以创建我启动的可执行文件时，结果如下：

我（主要 1）= 1

i (修改) = a

j（修改）= 0

我（主要 2）= 25185

怎么了？我会改变类型吗？给出一个大小的数组是否会压倒 F1.c 中 i 的声明？

谢谢！

Answer 1

这违反了 C 的规则。外部全局变量需要有一致的声明。（这就是我们使用标头来保持一致性的原因。）您已授予您的工具集将事情弄得一团糟的权限。

话虽如此，在您的情况下发生的事情是对象只是被覆盖了（可能为int, 和分配了足够的存储空间char[10]，有点像那里有一个union。如果只分配了 4 个字节（仅用于int，而不是数组），那么i[4]访问将覆盖某些内容或不太可能导致段错误。）。

25185is 0x6261，假设一个小端架构对应于{0x61, 0x62, 0x00, 0x00}, 即;, {'a', 'b', 0, 0 }。将'e'不包括在这个数字，因为你的架构的ints为4个字节大，'e'在第5个字节放。

同样，您处于 UB 领域，因此这些都不是保证行为。