上述问题都可以归结为语言、意识与存在、联系的问题。
声明是对符号的说明；
定义是对符号的实现；
对符号的实现在计算机的世界里就是有内存存在的意思。
声明分为一下几类：
变量，
函数，
类型；
类型的声明和定义是一个概念。
问题：实现的说明部分是否需要重复声明的说明部分？
结论：需要；不重复的话会导致符号重定义。系统对符号类型的缺省实现是int类型。
如果声明和定义都是int类型，但是实现没有重复int说明，会出现编译器警告。
其它的类型不一致会直接导致出错。
强符号与弱符号的关系；
存在与联系的关系。
它的定义通过链接器链接时，引用符号与本体符号的强制关系说明。