最近，我发现一些情况绝对违反了C++的ODR规则，但在C编译器中仍能正常编译通过。
例如，以下奇怪的情况（与我有关）：
源代码1
int var_global=-3;
来源2
#include <stdio.h>
#include <conio.h>
unsigned int var_global;
int main() {
printf("%d \n",var_global);
getch();
return 0;
}
我得到的打印结果是 -3（即使在源2中var_global是unsigned），并且没有关于var_global的重新定义的错误。
我知道C和C ++有不同的规则，但我认为它们之间的差异不会像这样大。
我已经谷歌搜索并阅读了很多结果，但没有找到C ++官方的类似结果。
所以问题是：
C是否像C ++一样具有“单一定义规则”？
以及：
它正式叫什么名字？
我需要将其与C ++的规则进行比较，以便更深入地理解两种语言。
p / s：我使用Visual Studio 2010编译上面的代码。
我认为你要找的是C11标准中第§6.2.7章节，名为“兼容类型和复合类型”，（强调是我的）
所有引用同一对象或函数的声明必须具有兼容类型；否则，行为未定义。
关于兼容类型：
如果两种类型相同，则它们具有兼容类型。
在你的情况下，int和unsigned int不是兼容类型。因此会导致未定义行为。
只是为了更清晰地说明，在你的source 2中，unsigned int var_global;是一个声明，它与其他声明（和定义）不匹配，因此这是未定义行为。
话虽如此，像这样的语句：
printf("%d \n",var_global);
如果类型和格式说明符不匹配，则始终将参数的类型视为int。在这种情况下，会再次引发未定义行为。
编辑：
在编辑后，答案是使用-fno-common以获取所需的错误。（我相信您烦扰的是缺少extern）。
引用在线GCC手册中的语句：
-fno-common在C代码中，控制未初始化全局变量的放置方式。Unix C编译器传统上允许在不同的编译单元中通过将变量放置在公共块中多次定义此类变量。这是由-fcommon指定的行为，并且是大多数目标的GCC的默认值。另一方面，ISO C不需要此行为，并且在某些目标上可能会对变量引用造成速度或代码大小的惩罚。-fno-common选项指定编译器应该将未初始化的全局变量放置在对象文件的数据段中，而不是生成它们作为公共块。这具有如下效果：如果在两个不同的编译中声明了相同的变量（没有
extern），则在将它们链接时会发生多重定义错误。在这种情况下，您必须使用-fcommon进行编译。使用-fno-common对于提供更好性能的目标是有用的，或者如果您希望验证程序将在始终将未初始化变量声明此方式的其他系统上运行，则可以使用-fno-common。
我不知道C标准中是否提到了“一个定义规则”的措辞，但是您可以查看附录§J.5.11，多个外部定义，
可能会存在对象标识符的多个外部定义，有或没有显式使用关键字
extern; 如果定义不符，或者有多个已初始化，则其行为是未定义的。
int为unsigned int的影响，对此您应该是明白的，对吧？ - Sourav Ghosh%d期望有符号值有关，因此在你的实现中几乎肯定会将其视为带符号值。7.19.6.1 fprintf函数/9（我引用了C99，但C11在这方面基本相同）：6.2.7 兼容和复合类型和6.2.5 类型清楚地表明，有符号和无符号变体不兼容：