name: ffi-designer
description: “设计和实现用于调用其他语言代码的外部函数接口。”
version: “1.0.0”
tags: [运行时, ffi, 互操作性, pldi]
difficulty: 高级
languages: [c, rust, python, haskell]
dependencies: [llvm-backend-generator, type-checker-generator]
FFI设计器
外部函数接口（FFI）使程序能够调用用其他语言编写的代码。它们桥接语言运行时并启用现有库的重用。
何时使用此技能
- 从高级语言调用C库
- 语言运行时之间的互操作性
- 绑定生成
- 性能关键的互操作
- 嵌入解释器
此技能的作用
- 类型映射：在语言之间转换类型
- 调用约定：处理ABI差异
- 内存管理：管理跨边界的内存
- 回调支持：允许外部代码回调
- 错误处理：跨FFI传播异常
关键概念
| 概念 |
描述 |
| ABI |
应用二进制接口 |
| 调用约定 |
参数如何传递 |
| 类型编组 |
跨边界转换类型 |
| 回调 |
传递给外部代码的函数指针 |
| 绑定 |
FFI的粘合代码 |
提示
- 使用绑定生成器处理大型库
- 小心处理内存所有权
- 记录所有权语义
- 使用消毒剂测试
- 考虑线程安全
常见用例
- 调用C库
- 系统编程
- 性能关键代码
- 原生GUI绑定
- 游戏引擎集成
相关技能
llvm-backend-generator - 生成FFI代码type-checker-generator - 类型安全的FFImemory-allocator - 内存管理
规范参考
| 参考 |
为何重要 |
| ctypes文档 |
Python FFI |
| JNI规范 |
Java本地接口 |
| "FFI和PL设计"论文 |
设计原则 |
权衡和限制
方法权衡
| 方法 |
优点 |
缺点 |
| ctypes |
简单，Python |
慢 |
| cffi |
快 |
更复杂 |
| 原生绑定 |
最快 |
语言特定 |
何时不使用此技能
限制
评估标准
高质量实现应具备：
| 标准 |
寻找什么 |
| 类型安全 |
正确的类型映射 |
| 内存安全 |
适当的所有权 |
| 性能 |
最小开销 |
| 可用性 |
易于使用 |
质量指标
✅ 好：类型安全，正确处理内存，干净API
⚠️ 警告：需要一些手动内存管理
❌ 差：类型不安全，内存泄漏，崩溃
研究工具与工件
真实世界的FFI系统：
| 工具 |
为何重要 |
| cffi (Python) |
Python的C FFI |
| JNI |
Java本地接口 |
| SWIG |
简化包装生成器 |
| clang绑定 |
基于LLVM的FFI |
关键系统
- GHC Haskell FFI：类型安全的FFI
- Rust FFI：带所有权的安全FFI
研究前沿
当前FFI研究：
| 方向 |
关键论文 |
挑战 |
| 安全FFI |
“安全FFI” (2018) |
内存安全 |
| 零成本 |
“零成本FFI” |
性能 |
| 双向 |
“外部函” |
双向互操作 |
热门话题
- WebAssembly FFI：Wasm FFI设计
- 多语言运行时：GraalVM多语言
实现陷阱
常见FFI错误：
| 陷阱 |
真实示例 |
预防 |
| 内存泄漏 |
不释放原生内存 |
所有权规则 |
| 类型不匹配 |
错误ABI |
使用绑定 |
| GC问题 |
GC回收原生指针 |
保持引用 |
| 编码 |
字符串编码问题 |
使用适当编码 |