实实在在的，符号很少，确实没有我之前写的函数。这就奇怪了，今天下午在网上搜了很久，原来是模板类的原因导致的：
因为在编译动态链接库中，我们并没有指定template class的type，那么静态链接库中自然不知道按照什么type去编译该class中成员函数。
参考文献：在动态库和静态库中使用模板（dynamic libraries ，static libraries）
有没有解决办法呢？答案是肯定的，只要我们在静态链接库中申明一个type，并调用该指定type的函数，那么静态链接库中就有函数原型了。
我觉得可以把该过程称为接口的“实例化”过程........
现在把lib_test.cc修改如下：
| //lib_test.cc #include <iostream> #include <stack> #include"stdlib.h" #include <time.h> #include "lib_test.h" using namespace std; template<class T> void SORT<T>::exchange(T a[], int i, int j) { T temp = a[i]; a[i] = a[j]; a[j] = temp; return; } template<class T> int SORT<T>::partition(T a[],int p,int r) { int i = p; int j = p-1; T ref = a[p]; int refId = p; srand((unsigned)time(NULL)); refId = (rand() % (r-p+1))+ p; //cout<<refId<<endl; ref = a[refId]; for(; i<=r; i++) { if(a[i] < ref) { j++; exchange(a, i, j); if(j == refId) { refId = i; } } } exchange(a, j+1, refId); return j+1; } template<class T> void SORT<T>::myQsort(T a[],int p,int r) { int q = 0; if(p<r) { q = partition(a, p, r); myQsort(a, p, q-1); myQsort(a, p+1, r); } return; } template<class T> void SORT<T>::myQsortNoRecur(T a[], int p, int r) { int start = p; int end = r; int mid = 0; std::stack<int> sortStk; sortStk.push(p); sortStk.push(r); while(!sortStk.empty()) { end = sortStk.top(); sortStk.pop(); start = sortStk.top(); sortStk.pop(); if(start < end) { mid = partition(a, start, end); sortStk.push(start); sortStk.push(mid -1); sortStk.push(mid + 1); sortStk.push(end); } } } namespace quick_sort_instance { void template_instance() { int a[]={1,2}; SORT<int>::myQsortNoRecur(a, 0, 1); } } |
好，重复上面的编译过程：
这些编译和执行过程就能正常进行了。
但是这种所谓的“实例化”过程有一个明显的缺点，那就是，本身这个SORT类是一个模板类，可以排序任意类型的数据，
就本例子而言，只“实例化”了一种int类型的接口。因此当我想排序一个float类型的数组时，我就必须在.a文件里面再“实例化”一个float接口。
显然，假如我想把该具有sort功能的类，抽象成一个独立的模块，但是我并不知道该.a的用户想排序的数据类型是什么，那么将必须穷举所有的数据类型
这显然是不可能的。这一局限性不只时模板类，同样的，模板函数也是如此。
