跨语言调用（FFI）：Python 与 C 语言的融合技术笔记

本笔记基于本次对话关于“Python 如何调用 C 语言”及“C 语言如何嵌入 Python”的探讨整理而成，旨在解析不同编程语言间实现交互的底层逻辑、技术路径及应用场景。

一、 核心概念：外部函数接口（FFI）

外部函数接口（Foreign Function Interface, FFI） 是允许一种编程语言调用另一种编程语言所编写的服务（函数、变量等）的机制。

1.1 为什么不同语言可以通信？

• 通用语（C 语言）：由于现代操作系统多由 C/C++ 编写，C 语言的调用约定成为了计算机底层的“通用协议”。
• 二进制机器码：无论源码为何种语言，最终都会被编译或解释为 CPU 运行的二进制指令。FFI 的本质是找到这些指令在内存中的入口并正确传递参数。

1.2 数据转换（Marshaling）

不同语言对相同数据的内存布局定义不同（例如 Python 的对象包含引用计数，而 C 的 int 仅为 4 字节）。调用过程涉及将数据从一种语言的格式“解包”并“重组”为另一种语言格式的过程。

二、 深层原理：双向交互模式

对话深入探讨了两种截然不同的交互逻辑：扩展（Extension） 与 嵌入（Embedding）。

2.1 扩展模式：在 Python 中调用 C

在此模式下，Python 是主程序，C 语言作为“加速插件”。

• 工作流：
  1. C 源码编译为动态链接库（.so 或 .dll）。
  2. Python 解释器通过系统调用加载库文件到内存。
  3. 通过符号查找定位函数地址并执行。

示例代码：使用 ctypes 加载动态库

Python

import ctypes

# 加载编译好的二进制库
lib = ctypes.CDLL('./math_utils.so') 

# 定义接口协议：指定参数与返回值类型（内存对齐）
lib.square_sum.argtypes = [ctypes.c_float, ctypes.c_float]
lib.square_sum.restype = ctypes.c_float

# 执行调用
result = lib.square_sum(3.0, 4.0)

2.2 嵌入模式：在 C 中调用 Python

在此模式下，C 语言是主程序，Python 被当作脚本引擎嵌入。

• 工作流：
  1. 在 C 程序中引入 Python.h。
  2. 启动并初始化 Python 解释器运行时环境（Runtime）。
  3. C 程序通过 API 发送字符串或字节码给解释器执行。

示例代码：C 语言嵌入 Python 解释器

C

#include <Python.h>

int main() {
    Py_Initialize(); // 初始化环境
    PyRun_SimpleString("print('Running Python from C!')"); // 执行脚本
    Py_Finalize();   // 销毁环境
    return 0;
}

三、 链接机制：动态与静态的权衡

链接是实现跨语言调用的工程化手段，决定了程序在何时、以何种方式“合体”。

3.1 动态链接（Dynamic Linking）

• 原理：程序运行时才去寻找库文件。
• 特点：灵活、文件体积小；但存在“环境依赖”问题（如找不到 DLL）。

3.2 静态链接（Static Linking）

• 原理：在编译阶段将 C 代码的二进制目标文件直接合并进 Python 解释器的执行文件中。
• 特点：
  • 独立性：生成单个可执行文件，无外部依赖。
  • 性能：允许编译器进行跨文件的全局优化（LTO）。
  • 安全性：代码被焊死在二进制文件中，难以被拦截或替换。

四、 综合回顾：技术选型指南

根据对话探讨的深度，不同场景下的技术路径选择如下：

知识建构总结：跨语言调用的本质是在内存布局上达成协议，在执行流上实现跳转。Python 的灵活性与 C 语言的高性能通过 FFI 这一桥梁，共同构建了现代高性能计算（如 NumPy、AI 框架）的基础支撑体系。