深入理解libffi：可移植的外函数接口库

深入理解libffi：可移植的外函数接口库

什么是libffi？

libffi是一个提供可移植外函数接口（Foreign Function Interface，FFI）的库。它允许程序在运行时动态调用编译好的函数，而无需在编译时知道这些函数的具体签名。

调用约定与ABI

高级语言编译器生成的代码遵循特定的调用约定（calling convention），这是编译器对函数入口时参数存放位置的一组假设。调用约定也指定了函数返回值的存放位置，有时也被称为应用二进制接口（ABI）。

libffi的主要作用就是为这类场景提供桥梁：

• 解释器在运行时才知道要调用函数的参数数量和类型
• 动态语言需要与编译代码交互
• 需要绕过传统编译时类型检查的特殊场景

libffi基础用法

核心概念

使用libffi调用函数需要三个关键信息：

1. 目标函数的指针
2. 参数的数量和类型
3. 返回值类型

基本API

1. 准备调用接口（CIF）

ffi_status ffi_prep_cif(ffi_cif *cif, 
                       ffi_abi abi,
                       unsigned int nargs,
                       ffi_type *rtype,
                       ffi_type **argtypes);

• cif: 调用接口对象
• abi: 使用的ABI（通常用FFI_DEFAULT_ABI）
• nargs: 参数数量
• rtype: 返回值类型描述
• argtypes: 参数类型描述数组

2. 执行调用

void ffi_call(ffi_cif *cif,
             void *fn,
             void *rvalue,
             void **avalues);

• fn: 要调用的函数指针
• rvalue: 存放返回值的缓冲区
• avalues: 参数值指针数组

简单示例

#include <stdio.h>
#include <ffi.h>

int main() {
    ffi_cif cif;
    ffi_type *args[1];
    void *values[1];
    char *s;
    ffi_arg rc;
    
    // 准备参数类型信息
    args[0] = &ffi_type_pointer;
    values[0] = &s;
    
    // 初始化调用接口
    if (ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
                    &ffi_type_sint, args) == FFI_OK) {
        s = "Hello World!";
        ffi_call(&cif, (void(*)())puts, &rc, values);
        
        s = "This is cool!";
        ffi_call(&cif, (void(*)())puts, &rc, values);
    }
    return 0;
}

类型系统

libffi提供了丰富的类型描述支持：

基本类型

• 各种整数类型：ffi_type_uint8, ffi_type_sint32等
• 浮点类型：ffi_type_float, ffi_type_double
• 指针类型：ffi_type_pointer
• void类型：ffi_type_void（仅用于返回值）

结构体处理

要传递结构体，需要先创建对应的ffi_type描述：

typedef struct {
    int a;
    double b;
} my_struct;

// 创建类型描述
ffi_type my_struct_type;
ffi_type *my_struct_elements[3];

my_struct_type.size = 0;
my_struct_type.alignment = 0;
my_struct_type.type = FFI_TYPE_STRUCT;
my_struct_type.elements = my_struct_elements;

// 设置结构体成员类型
my_struct_elements[0] = &ffi_type_sint;    // int a
my_struct_elements[1] = &ffi_type_double;  // double b
my_struct_elements[2] = NULL;              // 终止标记

大小和对齐

libffi会自动设置类型的size和alignment字段。要获取这些信息，需要先通过ffi_prep_cif或ffi_get_struct_offsets进行布局。

数组和联合体

虽然libffi没有直接支持数组和联合体，但可以通过结构体模拟：

// 模拟int[5]数组
ffi_type array_type;
ffi_type *elements[6];  // 5个元素+NULL终止

for (int i = 0; i < 5; ++i)
    elements[i] = &ffi_type_sint;
elements[5] = NULL;

array_type.size = array_type.alignment = 0;
array_type.type = FFI_TYPE_STRUCT;
array_type.elements = elements;

高级特性

可变参数函数

对于可变参数函数，使用ffi_prep_cif_var代替ffi_prep_cif：

ffi_status ffi_prep_cif_var(ffi_cif *cif,
                           ffi_abi abi,
                           unsigned int nfixedargs,
                           unsigned int ntotalargs,
                           ffi_type *rtype,
                           ffi_type **argtypes);

闭包API

libffi还支持创建闭包（closure），允许将C函数作为回调暴露给其他语言。这需要：

1. 分配闭包内存
2. 准备CIF
3. 绑定函数指针和用户数据
4. 设置权限（如果需要）

实际应用场景

1. 语言解释器：Python、Ruby等动态语言的C扩展
2. 动态代码生成：JIT编译器需要调用生成的函数
3. 跨语言调用：不同语言间的互操作
4. 插件系统：动态加载和调用插件函数

注意事项

1. 类型提升：小于int的整型参数会被提升为int
2. 结构体布局：不同ABI可能有不同的结构体布局
3. 内存管理：确保类型对象的生命周期足够长
4. 线程安全：检查具体平台的实现

libffi为需要动态调用编译代码的场景提供了强大而灵活的支持，是许多高级语言运行时和工具链的重要组成部分。