Extern变量-多个文件

Question

当我在另一个具有不同类型的文件中重新定义extern变量时，VS编译器不会给出错误消息。据我所知，它应该会引发一个错误，因为它被全局定义为另一个文件中的extern。这种行为的原因是什么？

source1.cpp

extern int x;

source2.cpp

int x = 5;

test.cpp

#include <iostream>
double x = 455;
    
int main()
{
    std::cout << x; // writes 455
}

Answer 1

一种定义规则

需要在整个程序(包括任何标准和用户定义的库)中显示odr使用的每个非内联函数或变量的一个定义(也是唯一的一个定义)。编译器不需要诊断这个违反，但是违反它的程序的行为是未定义的。