C++中类定义可以写在.h文件，但函数定义却不行

前两个转自：http://bbs.csdn.net/topics/390542206?page=1#post-395264705

一、定义和声明

1) 定义就是声明，声明不一定就是定义，声明的意思是已经定义了。

   定义是直接说已经定义了，非定义声明，是间接说已经定义了。

   声明，不需要明白告诉你，定义成什么样子，你懂得就行。

   定义，必须清晰，不能含糊，因为要分配空间。

2) C类型定义，等同于声明。因为没有定义数据，和代码。

3) C++类内定义的成员函数，友元函数，静态函数，可以看作inline 定义，地位相当于声明。

   C++类内定义的成员变量，只是一种声明，不是真正的定义，只有用这个类定义对象，成员变量才真正有定义。

   C++静态变量，通常要在类外定义，除非是静态整型常量，用常量表达式定义，才可以定义在类内部 。

C++ 类定义，实际上也是类型定义，等同于声明。

只是，类内部可以定义函数，与C类型定义有所不同。

4)常量定义可以看做声明。

5)C++ 把文件静态变量的定义看作声明，可以放到头文件里。

6)C++ 模板，实际上也可以看做声明。

因为模板在使用的时候才会实例化，生成一个可以使用的类型或者函数。

所以，头文件里面，要么是声明。

要么是可以看做声明的定义。

这些东西，都不会造成命名冲突，于是放在头文件里。

二、请参考《C++ Primer中文版》第四版 人民邮电出版社 P58：

    因为头文件包含在多个源文件中，所以不应该含有变量或函数的定义。

    对于头文件不应该含有定义这一规则，有三个例外。头文件可以定义类、值在编译时就已经知道的const对象和inline函数。这些实体可在多个源文件中定义，只要每个源文件中的定义是相同的。

    在头文件中定义这些实体，是因为编译器需要它们的定义（不只是声明）来产生代码。

三、关于template<>只能定义在.h文件中：

在我写我的算法库AgAlgo的第一个算法（selection sort）时，就踩中了C++的一个坑，苦思苦搜两天不得其解，直到得到@吴磊达人的点拨才明白什么情况，果然相互学习是比较有效的学习方式。

这个问题是关于模版类的成员函数的定义方法的问题，具体可见github上代码的改变。我按照普通类的写法，在.h中声明类的成员函数，在.cpp中写该函数的定义，然后在main.cpp中只include这个.h文件，编译时把main.cpp和selection_sort.cpp放在同一个编译单元里面。按理这样就能生成可执行文件了，但是链接时却报错说找不到函数的定义：

原因是模版类在编译时是在使用的地方才实例化，但不同的.cpp文件是在link时才相互关联，因此编译main.cpp时只实例化了函数的声明，并且认为在某个地方已经实例化了函数的定义，悲剧的是编译selection_sort.cpp时并没有给main.cpp中的这个用法做实例化，于是linker就找不到main.cpp所需要的函数定义了。

于是只有两种解决办法，或者在selection_sort.cpp中给需要的实例化显示地做定义（这样做扩展性就很差），或者把template函数的定义也放在.h文件中。

于是我和@吴磊达人讨论为什么C++没办法直接在编译时跨文件实例化template，结论是源于C的单文件编译单元的效率考虑，使得编译时（链接之前）是没办法知道其他编译单元到底需要什么实例。如果linker能给compiler反馈机制，使得linker之后还能再编译一遍给做必要的实例化，应该能提供这个特性（填上这个反直觉的坑）了，或者在编译之前专门做一遍预编译，给每个使用的template跨文件标记出需要的实例化，从而编译时就能解决这个问题了。

以上转自： http://blog.ambling.org/?p=860

四：《C++标准程序库》P10

template并非一次编译便生出适合所有性别的代码，而是针对被使用的某个(或某组)性别进行编译。这导致一个重要的问题：实际处理template时，面对template fuction，你必须先提供它的某个实作品，然后才能调用，如此方可通过编译。所以目前唯一能够让template的运用具有可移植性的方式，就是在头文件中以inline function实现template function。