使用 dlsym() 时进行转换

标签 c dlopen dlsym

我在 C 中使用 dlsym() 我有一个问题 dlsym() 的返回值是否应该显式转换或者它是否被正确地隐式转换。这是函数:

double (*(compile)(void))(double x, double y)
{
    if (system("scan-build clang -fPIC -shared -g -Wall -Werror -pedantic "
           "-std=c11 -O0 -lm foo.c -o foo.so") != 0) {
        exit(EXIT_FAILURE);
    }

    void *handle;
    handle = dlopen("./foo.so", RTLD_LAZY);
    if (!handle) {
        printf("Failed to load foo.so: %s\n", dlerror());
        exit(EXIT_FAILURE);
    }

    foo f;
    f = (foo)dlsym(handle, "foo");
    if (!f) {
        printf("Failed to find symbol foo in foo.so: %s\n", dlerror());
        exit(EXIT_FAILURE);
    }
    return f;
}

compile() 函数不接受值并返回指向函数的指针,该函数将两个 double 作为输入并返回一个 double。然后我设置了一个系统调用来编译一个共享对象 foo.so。然后,我使用 dlopen() 打开 foo.so。然后 dlsym()foo.so 中找到 foo 并返回我在 a 中定义的 foo 类型的对象标题为:

typedef double (*foo)(double, double);

我必须转换 dlsym() 吗?

最佳答案

编写 C 标准是为了假设指向不同对象类型的指针,尤其是指向与对象类型相反的函数的指针,可能具有不同的表示形式。这就是为什么一般来说,您不想混合使用指针,或者如果您这样做,现代编译器会警告您,如果您想消除警告,您通常会使用显式强制转换。

dlsym,另一方面,由于它的存在本身就假定所有指针都几乎相同,因为它应该能够向您返回指向任何数据类型的任何指针 -- object 函数——在你的目标文件中。

换句话说,使用dlsym 的代码本质上是不可移植的,因为它不能广泛移植,因为它“仅”移植到所有指针都可以安全地相互转换的那些机器。 (当然,这几乎是当今所有流行的机器。)

所以,是的,您需要转换指针以使警告静音,这样做可能会使您的代码难以移植到所有指针都不相同的机器(以及警告,如果未静音) , 会正确地通知您您的代码将无法运行),但是无论如何 dlsym 永远不会在那些机器上运行(甚至以其当前形式存在)。

(如果 gcc -pedantic 警告您甚至从 void * 显式转换为函数指针类型,除了切换到不同的类型之外,您无能为力gcc 的版本,或者当然不要使用 -pedantic。)


附录:我的回答听起来好像在指向不同类型数据的指针之间进行转换可能是个问题,但这通常没有问题。类型 void * 被很好地定义为通用数据指针:它是 malloc 返回的内容,并且它被定义为可以安静地转换为任何对象指针类型——也就是说,你甚至不需要类型转换。所以对于 dlsym 的返回类型,它几乎是一个不错的选择,except 对于函数指针的小问题。 malloc 从来没有这个问题(你几乎不会尝试 malloc 一个指向函数的指针),而 dlsym 总是有这个问题(你通常试图在动态加载的目标文件中访问代码至少与访问数据一样频繁)。但是函数指针是 void * 不能保证转换成的,所以你很可能会收到警告,这就是你需要强制转换的原因,你可能会在 下收到警告 -迂腐,即使有类型转换也是如此。

关于使用 dlsym() 时进行转换,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31526876/

相关文章:

posix - 加载共享库时自动执行的函数

c++ - 在 C++ 中使用 dlopen() 和 dlsym() 从 .so 库中获取对象

我可以检测宏中局部变量的存在吗?

c - 端口更改后 UDP 客户端服务器无法交换消息

c++ - 是否可以从 .h 文件生成 dlsym 命令?

c - 将参数传递给共享函数 - C

linux - 为什么dlsym()返回的symbol的值可以为null?

c - 这个C程序的逻辑错误在哪里?

c - 指向整数转换错误的不兼容指针

c - LD_PRELOAD 和联动