Linux静态链接库与模板类的处理方式

在阅读本文之前,小编先给大家介绍一篇相关文章:Linux静态链接库使用类模板的快速排序算法

大家首先看下以上的文章对理解下面的知识点会有很大的帮助。

当模板遇到静态链接库会发生什么呢。

我们先按照常规思路去考虑一个静态链接库的步骤:

1.将某些功能提取出来,放进一个cpp文件,并将接口或者对外导出的类放在头文件中

2.gcc -c编译该文件,生成.o

3.ar命令将.o文件打包成.a,即静态链接库

4.编译main函数,并将该静态链接库链接,生成可执行文件。

OK,按照这个思路,我们将之前写的快速排序代码修改后,如下:

lib_test.h:

//lib_test.h
//head file of quick sort
//users should realise operator > and <
#ifndef LIB_TEST_H
#define LIB_TEST_H
template<class T>
class SORT
{
public:
static void myQsort(T a[],int p,int r);
static void myQsortNoRecur(T a[],int r);
private:
static int partition(T a[],int r);
static void exchange(T a[],int i,int j);

};

#endif

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 j)
{
T temp = a[i];
a[i] = a[j];
a[j] = temp;
return;
}

template<class T>
int SORT<T>::partition(T a[],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 r)
{
int q = 0;
if(p<r)
{
q = partition(a,p,r);
myQsort(a,q-1);
myQsort(a,p+1,r);
}

return;

}

template<class T>
void SORT<T>::myQsortNoRecur(T a[],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);
}
}
}

OK,我们尝试编译.a静态链接库

 接下来,只需要将静态链接库编入main函数,就算完成了

出问题了,发现我们编译的静态链接库里面居然没有这个myQsortNoRecur函数,可是我明明在快速排序这个类SORT里面实现了这个函数啊。

用nm命令看下:

实实在在的,符号很少,确实没有我之前写的函数。这就奇怪了,今天下午在网上搜了很久,原来是模板类的原因导致的:

因为在编译动态链接库中,我们并没有指定template class的type,那么静态链接库中自然不知道按照什么type去编译该class中成员函数。

参考文献:http://blog.csdn.net/xiexievv/article/details/8500234

有没有解决办法呢?答案是肯定的,只要我们在静态链接库中申明一个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[],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,1);
}

}

好,重复上面的编译过程:

这些编译和执行过程就能正常进行了。

 

但是这种所谓的“实例化”过程有一个明显的缺点,那就是,本身这个SORT类是一个模板类,可以排序任意类型的数据,

就本例子而言,只“实例化”了一种int类型的接口。因此当我想排序一个float类型的数组时,我就必须在.a文件里面再“实例化”一个float接口。

显然,假如我想把该具有sort功能的类,抽象成一个独立的模块,但是我并不知道该.a的用户想排序的数据类型是什么,那么将必须穷举所有的数据类型

这显然是不可能的。这一局限性不只时模板类,同样的,模板函数也是如此。

结论:最好不要在静态链接库中使用模板,同样的,动态链接库也一样。

想到这里,脑子里忽然蹦出来一个想法:C++的STL到底是动态链接韩式静态链接的呢?STL使用了大量的模板,按照这篇博客在讨论的内容,似乎是矛盾的。在网上找了半天

参考知乎的大神们是怎么解释的吧:

https://www.zhihu.com/question/46098144

以上就是本文的全部心得和内容,如果大家还有所疑问和建议,可以在下面的留言区讨论。

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


学习编程是顺着互联网的发展潮流,是一件好事。新手如何学习编程?其实不难,不过在学习编程之前你得先了解你的目的是什么?这个很重要,因为目的决定你的发展方向、决定你的发展速度。
IT行业是什么工作做什么?IT行业的工作有:产品策划类、页面设计类、前端与移动、开发与测试、营销推广类、数据运营类、运营维护类、游戏相关类等,根据不同的分类下面有细分了不同的岗位。
女生学Java好就业吗?女生适合学Java编程吗?目前有不少女生学习Java开发,但要结合自身的情况,先了解自己适不适合去学习Java,不要盲目的选择不适合自己的Java培训班进行学习。只要肯下功夫钻研,多看、多想、多练
Can’t connect to local MySQL server through socket \'/var/lib/mysql/mysql.sock问题 1.进入mysql路径
oracle基本命令 一、登录操作 1.管理员登录 # 管理员登录 sqlplus / as sysdba 2.普通用户登录
一、背景 因为项目中需要通北京网络,所以需要连vpn,但是服务器有时候会断掉,所以写个shell脚本每五分钟去判断是否连接,于是就有下面的shell脚本。
BETWEEN 操作符选取介于两个值之间的数据范围内的值。这些值可以是数值、文本或者日期。
假如你已经使用过苹果开发者中心上架app,你肯定知道在苹果开发者中心的web界面,无法直接提交ipa文件,而是需要使用第三方工具,将ipa文件上传到构建版本,开...
下面的 SQL 语句指定了两个别名,一个是 name 列的别名,一个是 country 列的别名。**提示:**如果列名称包含空格,要求使用双引号或方括号:
在使用H5混合开发的app打包后,需要将ipa文件上传到appstore进行发布,就需要去苹果开发者中心进行发布。​
+----+--------------+---------------------------+-------+---------+
数组的声明并不是声明一个个单独的变量,比如 number0、number1、...、number99,而是声明一个数组变量,比如 numbers,然后使用 nu...
第一步:到appuploader官网下载辅助工具和iCloud驱动,使用前面创建的AppID登录。
如需删除表中的列,请使用下面的语法(请注意,某些数据库系统不允许这种在数据库表中删除列的方式):
前不久在制作win11pe,制作了一版,1.26GB,太大了,不满意,想再裁剪下,发现这次dism mount正常,commit或discard巨慢,以前都很快...
赛门铁克各个版本概览:https://knowledge.broadcom.com/external/article?legacyId=tech163829
实测Python 3.6.6用pip 21.3.1,再高就报错了,Python 3.10.7用pip 22.3.1是可以的
Broadcom Corporation (博通公司,股票代号AVGO)是全球领先的有线和无线通信半导体公司。其产品实现向家庭、 办公室和移动环境以及在这些环境...
发现个问题,server2016上安装了c4d这些版本,低版本的正常显示窗格,但红色圈出的高版本c4d打开后不显示窗格,
TAT:https://cloud.tencent.com/document/product/1340