关于变量重复定义的理解

在c语言中，以下代码会被认为是重复定义：

#include <stdio.h>
main()
{
    extern int i;
    int i = 1;
}

因为extern int i会让编译器认为外部已经定义了i，以后直接用就可以 了，可以直接对i赋值，例如i = 4。但如果外部居然没有定义i，则初始化i或对i赋值时，编译就会出现未知错误——你告诉了编译器外边定义了一个i，已经有了一个房间（地址），可是人家没找到，你让人家怎么办嘛。

编程语言是一种规则，而编译器则是实现这种规则的工具，以上体现的规则就是：变量不能重复定义。那么编译器是如何实现规则的呢？比如，如何识别其中某种变量重复定义错误？其中一个方法就是通过extern这个关键字，如果main函数中用extern修饰i，则编译器看到extern i时会认为i已经被定义了，意味着后面如果写一句int i来定义i时，就立马报错说你重复定义了，尽管事实上你没有定义i。