基于LLVM的自定义编程语言如何动态调用带可变参数的C库函数

你当前的静态包装方案只适配固定参数的C函数，无法支持可变参数的核心原因有3个：

• 调用约定（ABI）层面的差异
  固定参数C函数和可变参数C函数的参数传递规则在底层并不完全一致，比如x86_64平台的System V ABI中，可变参数函数需要额外标识传递浮点参数的XMM寄存器数量，不同类型参数的存储位置、对齐规则也有特殊要求。你当前的固定包装函数是编译期就确定了参数类型、数量，硬编码写死了参数读取逻辑，完全没有兼容可变参数的动态规则。
• 静态包装逻辑无法覆盖可变参数的动态场景
  你现在的方案是给每个固定参数的C函数预生成一个专属的包装函数，但是可变参数函数的入参数量、类型都是调用时才确定的，你不可能穷举所有参数组合提前生成所有可能的包装函数。Python调用C可变参数的底层逻辑是运行时动态根据传入的参数类型，按照对应平台的ABI规则完成参数编组（压栈/写入对应寄存器），不是用预生成的固定包装。
• va_list结构不兼容你的自定义参数数组
  C标准库的可变参数函数依赖va_list类型读取参数，而va_list的内存结构是平台相关的，比如x86_64平台的va_list是包含栈指针、寄存器备份指针的结构体，不是你自定义的void**参数数组，直接把你的参数数组强转为va_list传给原生C可变参数函数，根本读不到正确的参数。

• 如果仅需要支持常用的标准库可变参数函数，可以做特殊适配：比如针对printf/scanf这类函数，先解析格式化字符串拿到参数的数量、类型，再按照ABI规则动态编组参数。
• 如果需要通用支持任意可变参数函数，可以自己实现目标平台的ABI参数编组逻辑，运行时动态构造调用上下文，通过LLVM JIT或者内联汇编完成调用，不需要预生成固定包装函数。
• 也可以直接集成成熟的libffi库，不用自己手写多平台的ABI适配逻辑，直接通过库接口完成任意C函数（含可变参数）的动态调用。

内容的提问来源于stack exchange，提问作者Vic