C语言变量 static extern 动态 静态 全局 局部 内部 外部 释疑

变量的作用域和存储类型的描述包括“动态/静态,全局/局部,内部/外部”，这些都是中文的习惯叫法。
从程序语言出发，我们重点看static和extern修饰函数和变量时，各自有什么效果。
假设有多个.c源程序，每个里面都有定义变量和函数。
函数默认是可跨文件使用的，函数定义的时候不需要用extern修饰。用static修饰后，其它源程序就不能调用了，如果没有static修饰，其它源程序要使用，需要在使用前用extern声明一下。
函数内定义的变量，作用范围只在函数内，从定义处到函数结束，属于局部变量。没有static修饰的是动态存储，用static修饰的话改为静态存储，就只赋一次初值（默认是0），可使其值在每次函数执行后保存下来，但作用范围不变。函数内的“定义的”变量用extern修饰，表面上看像是定义变量，其实仅仅是声明变量（数据类型标识符可以省去），声明它的定义在函数内的下部，或函数外的下部，或者其它源程序的函数外部，属于先声明，再使用，最后定义。
函数外定义的变量，在本文件内的作用范围是从定义处或extern声明处到本文件结束，默认是可以跨文件使用的，属于全局变量（全局变量自然是静态存储），并且变量定义的时候不需要用extern修饰。如果用static修饰，则其它源程序不能使用，其它源程序要使用，需要在使用前用extern声明一下（可在函数内用extern声明），作用范围也是extern声明处到该文件结束。
extern可以扩展全局变量的作用范围，跟存储方式没关系，全局变量本身就是静态存储。
extern修饰变量的定义时，并不表示变量的定义，仅仅表示变量的声明，变量是在本文件的下方或者其它源程序文件中定义的。
例如：main()函数内有用extern修饰变量，然后使用变量，main()函数下面有定义变量，定义时用static修饰了，那么该变量不能被其它源程序使用了。
程序编译的时候，编译器总是从使用extern进行外部变量声明的地方开始在本文件中查找外部变量的定义，如果外部变量的定义在本文件中被找到，那么外部变量的作用域就在本文件中进行扩展，如果在本文件中无法找到外部变量的定义，那么编译器就会从工程中的其它文件中查找外部变量定义，这时变量的作用域就扩展到其它文件中，如果还是没找到，编译器就会报出编译错误。
因为函数不能嵌套定义，所以子函数的定义都是在main函数外面的，所以子函数内不能引用在main函数中定义的变量。