GlobalVariable 在文件1中被声明，这个声明同时是定义。为了在文件2中使同一个标识符指称相同实体，它必须被声明具有外部链接。ISO C要求函数或对象的标识符若被使用则有且仅有一个外部定义，或未被使用时可以没有定义或具有一个定义，否则行为未定义。通常除非使用扩展（例如弱符号），实现（链接器）一般会有检查。ISO C++规定合式(well-formed)必须在符合语法规则、可诊断语义规则的同时遵守One Definition Rule，其中多个翻译单元内的同一个实体必须具有唯一定义，这包括具