C++ ODR规则与dlopen 问题

问题

开发平台*.so插件的时候遇到相同的函数名称出现在不同的.so文件中,假设分别为a.so和b.so,b.so要使用a.so中的定义函数 a(),而在dlopen会先加载a.so然后加载b.so,打开b.so时,会报空指针错误。

  基本概念

ODR在C++标准中被解释为:

1.任何编译单元都不能包含变量、函数、枚举、类或者模板的定义一次以上。

2.所有程序必须且只能包含一次其中用到的所有非内联函数和对象。

3.在需要类的完整定义的编译单元中,类的定义必须且只能出现一次。

4.包括类、枚举、类模板......等等在内的一些定义可以在一个程序中出现多次,但是必须满足以下条件:

(1)所有定义的token序列必须相同(token你可以认为就是有效的语言要素,出了空白、换行注释之类的)

(2)所有的命名查找必须指向同一个实体,也就是说,你不能搞一些命名空间 typedef之类的,让这些相同的token表示不同的意义

(3)所有运算符必须表示同一个重载

(4)对于你要定义的实体中的所有带默认参数的函数,默认参数必须满足以上三条

(5)对于类定义,构造函数中调用的基类构造函数必须是同一个

总而言之,这个第四条的意思就是不同的定义之间不能有任何歧义。

解决方案:

通过分析可知,对于这种情况下跨.so调用函数,需要将函数名称在编译的时候就要对外暴露,不然外部.so会查找不到该函数的定义。

具体方式,在a.so编译中添加a.map文件,其中需要添加要对外暴露的函数。同事需要修改Makefile文件。具体内容如下:

暴露方式为在文在a.map文件中设置Global和Local的函数名称 并通过编译参数指定该内容进行编译:

编译命令:

 gcc -Wall -g -fPIC -shared ./a.c -o a.so -Wl,--version-script=a.map

Map文件a.map

 {
global:
global_fun_name;
local:*;
};
上一篇:json数据处理技巧(字段带空格、增加字段)


下一篇:GO语言学习笔记1-输入带空格的字符串