cffi 的 `ffi.include()` 方法在多模块场景下，主要用于共享 c 类型定义和实现 python 层面符号访问，而非直接解决 c 编译层面的库间动态链接依赖。当一个 cffi 生成的 c 模块需要调用另一个 cffi 模块提供的 c 符号时，直接的 `include()` 无法满足 c 编译器的符号查找需求，导致链接错误。本文将探讨 cffi 动态链接的机制，并提供多种有效策略来解决 c 模块间的符号依赖问题，包括合并 ffi 实例、采用标准 c 库链接以及通过运行时函数指针赋值解耦 c 编译依赖。
在使用 CFFI 将 C 代码编译为 Python 可调用的模块时，开发者常常会遇到涉及多个 C 库之间依赖关系的场景。一个常见的误解是，CFFI 的 ffibuilder.include(other_ffibuilder) 方法能够自动处理 C 编译层面的动态链接，使得一个 CFFI 模块（如 ffi_foo_b.so）可以直接调用另一个 CFFI 模块（如 ffi_foo_a.so）中定义的 C 函数。然而，这种理解并不完全准确。
实际上，ffibuilder.include() 主要目的是在 Python 层面共享 CFFI 实例的 C 类型定义（cdef 部分）以及允许通过一个 FFI 实例访问另一个 FFI 实例所加载库中的符号。例如，如果 ffi_a 定义了 struct MyStruct 和函数 bar，而 ffi_b 通过 ffi_b.include(ffi_a)，那么 ffi_b.ffi.cdef() 中可以使用 MyStruct，并且 ffi_b.lib 可以在 Python 运行时访问 ffi_a.lib.bar。
但是，当 ffi_foo_b 的 C 源代码（通过 set_source 提供）直接尝试调用 ffi_foo_a 中定义的 C 函数 bar 时，问题就出现了。在 C 编译和链接阶段，ffi_foo_b.c 被编译成 ffi_foo_b.so（或 .pyd），此时编译器和链接器需要解析 bar 这个符号。如果 ffi_foo_a.so 没有被正确地链接到 ffi_foo_b.so，或者 ffi_foo_a.so 中的 bar 符号没有被导出（尤其是在 Windows 等平台上需要显式导出），链接器就会报告“未定义符号”错误。这意味着 ffi.include() 并不能在 C 编译层面自动将依赖库的符号信息传递给当前模块的构建过程。
以下面的简化示例为例，foo_b 依赖 foo_a 中的 bar 函数：
from cffi import FFI
from pathlib import Path
# 创建 C 源代码和头文件
Path('foo_a.h').write_text("""\
int bar(int x);
""")
Path('foo_a.c').write_text("""\
#include "foo_a.h"
int bar(int x) {
return x + 69;
}
""")
Path('foo_b.h').write_text("""\
int baz(int x);
""")
Path('foo_b.c').write_text("""\
#include "foo_a.h" // foo_b.c 依赖 foo_a.h
#include "foo_b.h"
int baz(int x) {
return bar(x * 100); // 在 C 层面直接调用 bar
}
""")
# 构建 ffi_a 模块
ffi_a = FFI()
ffi_a.cdef('int bar(int x);')
ffi_a.set_source('ffi_foo_a', '#include "foo_a.h"', sources=['foo_a.c'])
ffi_a.compile()
# 构建 ffi_b 模块，并尝试 include ffi_a
ffi_b = FFI()
ffi_b.cdef('int baz(int x);')
ffi_b.include(ffi_a) # 期望通过 include 解决依赖
ffi_b.set_source('ffi_foo_b', '#include "foo_b.h"', sources=['foo_b.c'])
ffi_b.compile()
# 运行时测试
import ffi_foo_a
if ffi_foo_a.lib.bar(1) == 70: print('foo_a OK')
else: raise AssertionError('foo_a ERR')
# 导入 ffi_foo_b 将会失败，因为在编译 ffi_foo_b 时未找到 bar 符号
# import ffi_foo_b # 此处会抛出 ImportError: undefined symbol: bar上述代码在导入 ffi_foo_b 时会遇到 ImportError: undefined symbol: bar 错误，这正是 C 编译链接阶段符号未解析的体现。
针对上述问题，有几种推荐的解决方案，它们旨在正确处理 C 编译层面的依赖关系。
最直接的解决方案是将所有相关的 C 代码和 cdef 定义都集中到一个 FFI 实例中进行编译。这样可以避免跨模块的 C 符号链接问题，因为所有函数都在同一个编译单元中。
from cffi import FFI
from pathlib import Path
# ... (foo_a.h, foo_a.c, foo_b.h, foo_b.c 文件创建部分不变) ...
# 合并到一个 FFI 实例
ffi_combined = FFI()
ffi_combined.cdef("""
int bar(int x);
int baz(int x);
""")
# 将所有 C 源文件一起编译
ffi_combined.set_source('ffi_combined_foo',
'#include "foo_a.h"\n#include "foo_b.h"',
sources=['foo_a.c', 'foo_b.c'])
ffi_combined.compile()
# 运行时测试
import ffi_combined_foo
if ffi_combined_foo.lib.bar(1) == 70: print('bar OK')
else: raise AssertionError('bar ERR')
if ffi_combined_foo.lib.baz(420) == 42069: print('baz OK')
else: raise AssertionError('baz ERR')这种方法简单有效，但如果项目结构复杂，模块众多，可能会导致单个 FFI 构建脚本过于庞大。
如果需要保持 C 模块的独立性，可以先将 C 代码编译成标准的共享库（.so 或 .dll），然后 CFFI 再去加载这些预编译的库。这种方法将 C 编译和链接的复杂性交给了标准的 C 工具链（如 gcc 或 clang）。
步骤：
编译 foo_a.c 为共享库 foo_a.so：
gcc -shared -o foo_a.so foo_a.c
编译 foo_b.c 为共享库 foo_b.so，并链接 foo_a.so：
gcc -shared -o foo_b.so foo_b.c -L. -lfoo_a
这里的 -L. 告诉链接器在当前目录查找库，-lfoo_a 则链接 libfoo_a.so（或 foo_a.dll）。
使用 CFFI 加载这些预编译的库：
from cffi import FFI
from pathlib import Path
# 假设 foo_a.so 和 foo_b.so 已经通过上述 gcc 命令生成
# ffi_a 加载 foo_a.so
ffi_a = FFI()
ffi_a.cdef('int bar(int x);')
# 对于预编译库，使用 ffi.dlopen 或 ffi.verify
lib_a = ffi_a.dlopen('./foo_a.so')
# ffi_b 加载 foo_b.so
ffi_b = FFI()
ffi_b.cdef('int baz(int x);')
# ffi.include(ffi_a) 在这里仍然有用，但仅用于 Python 层面共享类型和符号访问
ffi_b.include(ffi_a)
lib_b = ffi_b.dlopen('./foo_b.so')
# 运行时测试
if lib_a.bar(1) == 70: print('foo_a OK')
else: raise AssertionError('foo_a ERR')
if lib_b.baz(420) == 42069: print('foo_b OK')
else: raise AssertionError('foo_b ERR')这种方法是处理复杂 C 依赖的“黄金标准”，它将 CFFI 的角色限制为 C 库的 Python 绑定层，而不是 C 库的构建系统。
这是一种巧妙的 CFFI 特有解决方案，它将 C 模块间的函数调用依赖从编译时推迟到运行时。核心思想是，在 foo_b.c 中不直接调用 bar()，而是通过一个全局函数指针 _glob_bar 来调用。这个函数指针在 Python 运行时被动态地赋值为 foo_a 中 bar 函数的地址。
步骤：
修改 foo_b.c 和 ffi_b.cdef：
// foo_b.c
#include "foo_b.h"
static int (*_glob_bar)(int); // 声明一个全局函数指针
int baz(int x) {
return _glob_bar(x * 100); // 通过函数指针调用
}# ffi_b.cdef 相应修改
ffi_b.cdef("""
int (*_glob_bar)(int); // 在 cdef 中声明函数指针
int baz(int x);
""")Python 运行时初始化函数指针：
from cffi import FFI
from pathlib import Path
# ... (foo_a.h, foo_a.c, foo_b.h 文件创建部分不变) ...
# 修改 foo_b.c
Path('foo_b.c').write_text("""\
#include "foo_b.h"
static int (*_glob_bar)(int);
int baz(int x) {
return _glob_bar(x * 100);
}
""")
# 构建 ffi_a
ffi_a = FFI()
ffi_a.cdef('int bar(int x);')
ffi_a.set_source('ffi_foo_a', '#include "foo_a.h"', sources=['foo_a.c'])
ffi_a.compile()
# 构建 ffi_b
ffi_b = FFI()
ffi_b.cdef("""
int (*_glob_bar)(int); // 声明函数指针
int baz(int x);
""")
ffi_b.set_source('ffi_foo_b', '#include "foo_b.h"', sources=['foo_b.c'])
ffi_b.compile()
# 导入模块
import ffi_foo_a
import ffi_foo_b
# 运行时赋值函数指针
ffi_foo_b.lib._glob_bar = ffi_foo_a.ffi.addressof(ffi_foo_a.lib, "bar")
# 运行时测试
if ffi_foo_a.lib.bar(1) == 70: print('foo_a OK')
else: raise AssertionError('foo_a ERR')
if ffi_foo_b.lib.baz(420) == 42069: print('foo_b OK')
else: raise AssertionError('foo_b ERR')这种方法在 CFFI 层面实现了 C 模块间的“软链接”，避免了 C 编译时的硬依赖，非常适合那些希望保持 CFFI 构建流程，但又需要解决 C 符号交叉引用的场景。
理论上，可以通过添加平台和编译器特定的选项（如 GCC 的 -fvisibility=default 来导出符号，或在链接时指定 -Wl,--export-dynamic 等）来解决问题。然而，这种方法通常会导致代码的可移植性差，且配置复杂，不推荐作为通用解决方案。
在 CFFI 中处理多个 C 模块之间的动态链接和符号依赖时，理解 ffi.include() 的真正作用至关重要。它主要服务于 Python 运行时环境下的类型和符号访问，而非 C 编译时的链接。
选择哪种方法取决于项目的具体需求、C 代码的结构以及对编译复杂度和运行时灵活性的权衡。在多数情况下，推荐方案 2 或 3，它们在保持模块独立性或 CFFI 构建流程的同时，提供了可靠的符号解析机制。
以上就是深入理解 CFFI 中的 C 库动态链接与符号解析的详细内容，更多请关注php中文网其它相关文章！
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移，垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是，许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号
808
收藏
