6.2.2 Linkages of identifiers

2 In the set of translation units and libraries that constitutes an entire program, each
  declaration of a particular identifier with external linkage denotes the same object or
  function. Within one translation unit, each declaration of an identifier with internal
  linkage denotes the same object or function. Each declaration of an identifier with no
  linkage denotes a unique entity.

4 For an identifier declared with the storage-class specifier extern in a scope in which a
  prior declaration of that identifier is visible, if the prior declaration specifies internal or
  external linkage, the linkage of the identifier at the later declaration is the same as the
  linkage specified at the prior declaration. If no prior declaration is visib, or if the prior
  declaration specifies no linkage, then the identifier has external linkage.

5 ... If the declaration of an identifier for an object has file scope and no storage-class specifier,
  its linkage is external.

6 The following identifiers have no linkage: ... a block scope identifier for an object declared without
  the storage-class specifier extern.

6.7 Declarations

3 If an identifier has no linkage, there shall be no more than one declaration of the identifier
  (in a declarator or type specifier) with the same scope and in the same name space, except
  for tags as specified in 6.7.2.3.

4 All declarations in the same scope that refer to the same object or function shall specify
  compatible types.

5 A declaration specifies the interpretation and attributes of a set of identifiers. A definition
  of an identifier is a declaration for that identifier that:
  — for an object, causes storage to be reserved for that object;
  — for a function, includes the function body;
  — for an enumeration constant or typedef name, is the (only) declaration of the
    identifier.

6.9 External definitions

5 An external definition is an external declaration that is also a definition of a function
  (other than an inline definition) or an object. If an identifier declared with external
  linkage is used in an expression (other than as part of the operand of a sizeof operator
  whose result is an integer constant), somewhere in the entire program there shall be
  exactly one external definition for the identifier; otherwise, there shall be no more than
  one.

6.2.2 标识符的链接

2  // 主要内容是说外链接和内链接的标识符是用来表记同一个对象或函数的，而无链接的标识符只用来表记唯一的项
  （在这一条中没有提，我补充一下。它的意思是，有些对象或函数可以声明不只一次，这样会引发一些覆盖呀隐藏之类的行为。
   严格意义上讲，覆盖之后同名的标识符并不是同一个对象，这条正是限制了它们的同一性。而无链接的标识符本来就不允许声明
   一次以上，从而事实上，它也只能表记唯一的项。）

4 // 主要内容是说用 extern 声明的标识符，其链接性是看这个标识符前一次出现的情况。前一次是内链接这次这个标识符也是
  内，前一次是外，这次也是外。要是前面没有，或者是不可见，或者是无链接，则这次这个标识符是外链接。

5 ... 如果一个声明对象的标识符拥有文件作用域且没有储存类修饰符(储存类修饰符是指 extern, auto, static, register 这类修饰符)，则它是外链接。

6 下列标识符为无链接标识符： ... 没有储存类修饰符的块作用域的对象声明标识符。
  （我省略了一些种类，主要是因为和这个问题没什么关系。）

6.7 声明

3 在同一作用域和同一名空间中，一个无链接的标识符至多声明一次，除非它是标签声明符(这里就是指枚举类型)，见 6.7.2.3

4 在同一作用域中，所有引用至同一对象或函数的声明都应指定兼容的类型。

5 声明将指定一组标识符的解释方法和属性（不太好翻译，意思是说声明会告诉编译器如何看待这个标识符）。标识符的定义是满足
  条件的该标识符的声明：
  -- 对于对象，它引发对该对象储存空间的分配。
  -- 对于函数，它包含函数体。
  -- 对于枚举，常量或者 typedef，则（就）是该声明本身。（就是说不用什么其它条件了…）

6.9 外定义

5 外定义就是拥有外链接属性的（非内联）函数定义或对象定义。如果一个外链接标识符被用于表达式（除了 sizeof 运算符，它的
  结果是个整型常量），则程序的其它地方应该当有且仅有该标识符的一个外定义；否则，外定义应当不多于一个。
  （这条其实就是说外定义只能有一个，不过 sizeof 是个例外，在这种情况下，可以一个定义都没有。）

以下是引用BlueGuy在2011-8-27 09:44:29的发言：

不久前做过手机游戏，当时的java代码写的也不规范(现在也不是很排斥，觉得也挺紧凑)，很多变量声明在中间，
有个同事移植为c的时候，把所有的变量复制一份到了文件首，后来这恶心的代码由我维护，代码能跑起来
pclint一下出现上千个warning, 我写代码基本没警告的， 哪经的住这架势，
背后骂了几个星期， 靠!

这个问题一直也没深究是什么原因，为什么没报错，