我可以将 char* 数组而不是几个参数传递给函数吗？

Question

我正在尝试编写一个程序，该程序将运行动态库中的函数，其名称、参数及其类型由用户输入。我可以使用dlsym(func_name) 获得指向此函数的 void* 指针，但是我事先不知道参数的类型及其数量，因此我无法以正常方式取消引用此指针。

如果我将所有参数的字节表示复制到char * 数组中，我可以调用一个以该数组作为参数的函数吗？例如，在汇编中调用 printf 时，我可以将参数和格式字符串推送到堆栈并调用 printf。也许我可以在 C 中做类似的事情，或者使用程序集插入？

例如，假设函数是void func(int, double);，我得到了参数int a 和double b。然后我会创建一个数组：

char buf[sizeof(int) + sizeof(double)]
memcpy(buf, &a, sizeof(int))
memcpy(buf + sizeof(int), &b, sizeof(double))

并将其用作压入堆栈的参数。

用户输入函数的名称、描述其类型的字符串以及参数本身。例如：

func_name
viid
5
6
2.34

func_name 是将在 dlsym 中使用的函数的名称。 viid 表示该函数具有 void func_name(int, int, double) 类型（第一个 char 是返回类型，其余是参数。v = void，i = int，d = double）。其余的都是参数。

Answer 1

不，除非可能在 ABI 中纯粹在堆栈上传递参数。任何计算环境都有参数如何传递的规范。 （此规范是平台的应用程序二进制接口 [ABI] 规范的一部分。）参数类型和大小会影响它们是否在通用寄存器、浮点寄存器或其他位置传递，以及它们的对齐方式。很少有这样的规范（如果有的话）将参数作为原始字节转储传递给堆栈。

可以编写代码来解码参数的描述并构造调用函数所需的状态。这样的代码需要至少部分地用汇编或各种语言扩展来编写。 （我希望有些人可能已经编写了这样的代码并提供了它，但没有这样的参考。）在大多数情况下，这可能是实施成本过高的解决方案；您应该寻找其他方法来实现您的基本目标。

如果 ABI 确实指定所有参数都放在堆栈上，那么可以在包含 unsigned char 数组的结构中传递任意参数：

• 必须确定最大大小，例如 struct { unsigned char bytes[128]; }，因为标准 C 不支持可变大小的结构。
• 对于任何具有最严格对齐的参数，结构必须按照要求对齐。
• 所有参数的字节必须在结构中正确对齐。
• 将通过将结构本身作为参数传递来调用该函数。注意 ABI 必须说即使是大型结构也直接在堆栈上传递。有人可能会说传递了一个指向结构（副本）的指针。

请注意，ABI 可能包含影响函数调用的其他细节，例如说某个寄存器必须包含参数的数量或以某种方式设置，即使它本身不包含参数。