在编译链接过程中定义与声明的区别

       声明仅仅是将一个符号引入到一个作用域。而定义提供了一个实体在程序中的唯一描述。在一个给定的定义域中重复声明一个符号是可以的,但是却不能重复定义,否则将会引起编译错误。但是在类中的成员函数和静态数据成员却是例外，虽然在类内它们都是声明，但是也不能有多个。

      明白了声明与定义的区别，还需要明白 内部链接、外部链接。只有明白了它们你才会知道开头提出的问题。         

      在编译时，编译器只检测程序语法和函数、变量是否被声明。如果函数未被声明，编译器会给出一个警告，但可以生成目标文件。而在链接程序时，链接器会在所有的目标文件中找寻函数的实现。如果找不到，那到就会报链接错误码（Linker Error）。在VC下，这种错误一般是：Link 2001错误，意思说是说，链接器未能找到函数的实现。       

       链接把不同编译单元产生的符号联系起来。有两种链接方式：内部链接和外部链接。

       如果一个符号名对于它的编译单元来说是局部的，并且在链接时不可能与其他编译单元中的同样的名称相冲突，那个这个符号就是内部链接。内部链接意味着对此符号的访问仅限于当前的编译单元中，对其他编译单元都是不可见的。         

       static关键字作用在全局变量时，表示静态全局变量。但是作用域仅仅在当前文件作用域内。其他文件中即使使用extern声明也是无法使用的。const也类似。        

       带有static、const关键字和枚举类型的连接是内部的。         

       具有内部链接的符号无法作用于当前文件外部，要让其影响程序的其他部分，可以将其放在.h文件中。此时在所有包含此.h文件的源文件都有自己的定义且互不影响。

       类的定义具有内部链接，由于它是定义，因此在同一编译单元中不能重复出现。如果需要在其他编译单元使用，类必须被定义在头文件且被其他文件包含。仅仅在其他文件中使用class a;声明是不行的，原因就是类的定义是内部链接，不会在目标文件导出符号。也就不会被其他单元解析它们的未定义符号。理解这一点很重要。      

       内联函数也具有内部链接。        

       在一个多文件的程序中，如果一个符号在链接时可以和其他编译单元交互，那么这个名称就有外部链接。外部链接意味着该定义不仅仅局限在单个编译单元中。它可以在.o文件中产生外部符号。可以被其他编译单元访问用来解析它们未定义的符号。因此它们在整个程序中必须是唯一的，否则将会导致重复定义。        

         非内联成员函数、非内联函数、非静态自由函数都具有外部链接。

         内联函数之所有具有内部链接，因为编译器在可能的时候，会将所有 对函数的调用替换为函数体，不将任何符号写入.o文件。         

          判断一个符号是内部链接还是外部链接的一个很好的方法就是看该符号是否被写入.o文件。         

           前面说的是定义对链接方式的影响，接下来说下声明对链接方式的影响。由于声明只对当前编译单元有用，因此声明并不将任何东西写入.o文件。 如extern int a;

                                          int func(); 
       这些声明本身不会影响到.o文件的内容。每一个都只是命名一个外部符号，使当前的编译单元在需要的时候可以访问相应的全局定义。 函数调用会导致一个未定义的符号被写入到.o文件。如果a在该文件中没有被使用，那么没有被写入到.o文件。而func函数有对此函数的调用。也就会将此符号写入目标文件。此后此.o文件与定义此符号的.o文件被连接在一起，前面未定义的符号被解析。类声明和类定义都是内部链接。只是为当前编译单元所用。