让 Rust 与 C 互相调用,需要同时对齐调用约定、类型布局和资源语义。函数签名能告诉你参数是一个指针,却通常不能告诉你它指向多少元素、能保留多久、由谁释放,以及回调是否可能从其他线程执行。
bindgen 解决声明与布局的自动生成,安全封装负责把外部契约转成 Rust 能维护的不变量。把生成函数标成 unsafe 并没有完成安全封装。
三种“兼容”分别看
extern "C" 指定目标平台的 C 调用约定;repr(C) 指定结构体等类型的 C 布局规则;C 类型别名匹配目标平台的基础类型。三者互不替代。
| C 接口类型 | Rust 表达 | 需要核对 |
| int、long | core::ffi::c_int、c_long | 使用目标别名,不把宿主宽度写死 |
| size_t | bindgen 生成类型,常为 usize | 目标 ABI 与生成选项 |
| const char* | *const c_char | 是 NUL 结尾字符串,还是带长度字节区 |
| void* | *mut c_void | 所有权、实际对象类型与可空性 |
| 函数指针,可为 NULL | Option<extern "C" fn(...)> 等 | 参数、返回类型、unsafe 与线程约定 |
| C enum | 常用整数类型加常量或生成的新类型 | 所有可能输入值,而不只命名枚举项 |
常见 64 位 Unix 使用 LP64,64 位 Windows 使用 LLP64,所以 long 的宽度不同。解决方法是匹配实际 C long;在 Windows 强行换成 i64 会直接破坏声明,而不是修复可移植性。
repr(C) 不递归改变字段内部类型的默认布局;把 String 或 Vec 放进 repr(C) 结构体也不会变成 C 可理解的容器。字段兼容、对齐、packing 与编译选项需要一起核对。C enum 的底层类型还可能受编译器选项影响,且 C 可存放 Rust 枚举未定义的整数值;直接构造无效 Rust discriminant 会产生未定义行为。Rust 类型布局
一个完整 bindgen 工程
以下用一个同步读取字节切片的 C 函数说明契约。它不保留指针,n=0 时不访问 p;n>0 时调用方必须提供至少 n 个可读字节。结果是所有字节按位异或。
Cargo.toml:
[package]
name = "ffi-demo"
version = "0.1.0"
edition = "2024"
[build-dependencies]
bindgen = "0.72"
cc = "1"
wrapper.h:
#ifndef DEMO_WRAPPER_H
#define DEMO_WRAPPER_H
#include <stddef.h>
#include <stdint.h>
uint8_t demo_xor(const uint8_t *p, size_t n);
#endif
demo.c:
#include "wrapper.h"
uint8_t demo_xor(const uint8_t *p, size_t n)
{
uint8_t result = 0;
for (size_t i = 0; i < n; ++i)
result ^= p[i];
return result;
}
build.rs:
use std::{env, path::PathBuf};
fn main() {
println!("cargo:rerun-if-changed=wrapper.h");
println!("cargo:rerun-if-changed=demo.c");
cc::Build::new().file("demo.c").compile("demo");
let bindings = bindgen::Builder::default()
.header("wrapper.h")
.allowlist_function("demo_xor")
.parse_callbacks(Box::new(bindgen::CargoCallbacks::new()))
.generate()
.expect("generate bindings");
bindings.write_to_file(
PathBuf::from(env::var("OUT_DIR").expect("OUT_DIR"))
.join("bindings.rs"),
).expect("write bindings");
}
src/main.rs:
mod raw {
include!(concat!(env!("OUT_DIR"), "/bindings.rs"));
}
fn xor_bytes(bytes: &[u8]) -> u8 {
unsafe { raw::demo_xor(bytes.as_ptr(), bytes.len()) }
}
fn main() {
assert_eq!(xor_bytes(&[]), 0);
assert_eq!(xor_bytes(&[1, 2, 3, 4]), 4);
println!("FFI checks passed");
}
运行 cargo run 需要 C 编译器和 bindgen 使用的 libclang。cc 构建并链接 C 实现,bindgen 只负责生成 Rust 声明;仅 include 生成文件不会神奇地提供原生函数实现。bindgen 构建教程
交叉编译时,还必须让 Clang 的 target、sysroot、include 路径和宏与真正编译库的设置一致。生成成功只说明头文件能解析,不证明绑定与部署的二进制 ABI 一致。对关键结构可比较两端 sizeof、alignof 和字段偏移。
指针生命周期与释放方
CStr::from_ptr 要求有效的 NUL 终止字符串,其扫描范围与借用期间都要可读;它不验证任意裸地址,也不证明字节是 UTF-8。CString 则拥有 Rust 分配的 C 字符串,as_ptr 的借用不能超过对象生命周期。
跨边界移交资源应给出成对协议,例如 create/destroy 或 Rust 分配、Rust 导出的释放函数。不能随意用 C free 释放 Box/CString,也不能对不符合 Rust 分配布局契约的 C 内存调用 Vec::from_raw_parts。
若 C 会保存指针,临时栈对象或一次函数调用内的借用通常不够。需要一个所有权对象保证取消注册、等待在途回调完成后再释放;单纯把地址转成 usize 不会延长生命周期。
将 create/destroy 包装为一个不能随意复制的对象
同步切片示例只借用内存。若 C 返回长期资源,可以用不透明类型隐藏布局,让 Rust 只通过函数访问。以下是在前面工程上扩展的完整步骤:在 wrapper.h 的 #endif 之前追加声明。
typedef struct demo_counter demo_counter;
demo_counter *demo_counter_new(uint32_t initial);
uint32_t demo_counter_get(const demo_counter *p);
int demo_counter_add(demo_counter *p, uint32_t amount);
void demo_counter_free(demo_counter *p);
在 demo.c 追加实现。教学接口规定初值不能超过 100,创建失败返回 NULL;add 溢出返回 1 且不修改原值,成功返回 0。get/add 的参数必须指向仍存活的对象。
#include <stdlib.h>
struct demo_counter { uint32_t value; };
demo_counter *demo_counter_new(uint32_t initial) {
if (initial > 100) return NULL;
demo_counter *p = malloc(sizeof *p);
if (p) p->value = initial;
return p;
}
uint32_t demo_counter_get(const demo_counter *p) {
return p->value;
}
int demo_counter_add(demo_counter *p, uint32_t amount) {
if (UINT32_MAX - p->value < amount) return 1;
p->value += amount;
return 0;
}
void demo_counter_free(demo_counter *p) {
free(p);
}
build.rs 中将 allowlist_function("demo_xor") 改成 allowlist_function("demo_.*"),使新增函数也生成声明;所需参数类型会随依赖关系被纳入。随后将 src/main.rs 替换为下面的拥有型封装。bindgen allowlist
use std::ptr::NonNull;
#[allow(non_camel_case_types)]
mod raw {
include!(concat!(env!("OUT_DIR"), "/bindings.rs"));
}
struct Counter(NonNull<raw::demo_counter>);
impl Counter {
fn new(initial: u32) -> Result<Self, &'static str> {
let pointer = unsafe { raw::demo_counter_new(initial) };
NonNull::new(pointer).map(Self).ok_or("counter creation failed")
}
fn value(&self) -> u32 {
unsafe { raw::demo_counter_get(self.0.as_ptr()) }
}
fn add(&mut self, amount: u32) -> Result<(), &'static str> {
match unsafe { raw::demo_counter_add(self.0.as_ptr(), amount) } {
0 => Ok(()),
_ => Err("counter addition failed"),
}
}
}
impl Drop for Counter {
fn drop(&mut self) {
unsafe { raw::demo_counter_free(self.0.as_ptr()) }
}
}
fn main() {
assert_eq!(unsafe { raw::demo_xor(std::ptr::null(), 0) }, 0);
assert!(Counter::new(101).is_err());
let mut counter = Counter::new(10).expect("create counter");
counter.add(5).unwrap();
assert_eq!(counter.value(), 15);
assert!(counter.add(u32::MAX).is_err());
assert_eq!(counter.value(), 15);
drop(counter);
}
封装不实现 Clone,也不公开原始指针构造器,防止两个拥有者各自释放同一资源。&mut self 把更新要求表达给 Rust 调用者;如果原始库会自行从其他线程修改对象,还必须额外建立同步契约,单靠这个签名不够。
NonNull 不自动实现 Send/Sync,因此这个封装没有凭空承诺跨线程使用。它也不证明地址可读或对象类型正确,new 的外部保证才是有效性的来源。Drop 处理正常离开作用域与展开路径;mem::forget 或进程终止仍可能不释放资源,所以内存安全不能依赖“析构永远会执行”。NonNull
该创建接口将“初值不允许”和“分配失败”合并成 NULL,Rust 无法可靠重建被 C 丢掉的错误原因。需要区分时,应从 C 层设计状态码与输出句柄协议,而不是根据 NULL 猜测具体原因。
回调:线程、重入与注销比函数指针更重要
注册 callback + void* context 时,明确四件事:调用发生在哪些线程,是否并发,是否重入,以及注销返回后是否保证没有在途回调。Rust 侧再决定用锁、原子、线程限制或其他所有权结构封装。
不要因为 C 签名没有 const 就立刻构造 &mut T。独占引用要求在整个借用期间满足 Rust 的别名与有效性规则,外部回调的重入或并发访问可能违反它。Rustonomicon FFI
注销以后,谁还在访问 context?
把注销想成“关闭入口”还不够:在此协议中,入口关闭前已经开始的回调仍拥有一次访问机会。尝试在它结束前释放 context,模型会指出剩余依赖。真实安全封装必须从外部库获得“不会新增访问”和“最后一次访问已结束”这两个事实。
正在呈现知识画面
注销以后,谁还在访问 context?禁止新回调与等待已有回调结束缺一不可;函数指针签名不表达这些时序。
{"id":"rust-ffi-callback-lifetime","title":"注销以后,谁还在访问 context?","summary":"禁止新回调与等待已有回调结束缺一不可;函数指针签名不表达这些时序。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"actions\"><button id=\"enter\" data-i18n=\"enter\"></button><button id=\"leave\" data-i18n=\"leave\"></button><button id=\"unregister\" data-i18n=\"unregister\"></button><button id=\"free\" data-i18n=\"free\"></button><button id=\"reset\" data-i18n=\"reset\"></button></div><svg id=\"map\" class=\"diagram\" viewBox=\"0 0 360 180\" role=\"img\" data-i18n-label=\"heading\"></svg><div class=\"metrics\"><div><span data-i18n=\"active\"></span><strong id=\"active\"></strong></div><div><span data-i18n=\"registration\"></span><strong id=\"registration\"></strong></div></div><div class=\"copy\"><p id=\"explanation\" role=\"status\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"initial\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"safe\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"bad\"></p></div><details class=\"scope\"><summary data-i18n=\"scopeLabel\"></summary><p data-i18n=\"scope\"></p></details>","css":".intro{margin:8px 0 18px;color:var(--muted);font-size:14px}.caption,.hint{font-size:12px;color:var(--muted);margin-top:12px}.control{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;align-items:center;margin:14px 0;font-size:13px}.control label{font-size:13px}.control output{color:var(--accent);min-width:5em;text-align:right;font-variant-numeric:tabular-nums}.control input{grid-column:1/-1;width:100%;margin:0}.presets{display:flex;gap:4px;align-items:stretch}.presets button{flex:1 1 0;min-width:0;overflow-wrap:anywhere;font-size:13px}.actions{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0}.actions button{flex:1;min-width:0;font-size:13px;min-height:42px}.copy{display:grid;font-size:14px;margin:16px 0}.copy>*{grid-area:1/1;margin:0}.reserve{visibility:hidden}.scope{margin-top:14px;color:var(--muted);font-size:12px}.scope summary{padding:8px 0;cursor:pointer}.scope p{margin-top:10px}.two{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.card{border:1px solid var(--rule);border-radius:9px;padding:14px;min-width:0}.card header{font-size:14px;font-weight:600;margin-bottom:10px}.card button{font-size:12px;width:100%;min-width:0}.card small{display:block;font-size:12px;color:var(--muted)}.card code{font-size:12px;overflow-wrap:anywhere}.metrics{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.metrics>div{border-left:2px solid var(--accent);padding-left:10px;min-width:0}.metrics span{display:block;min-height:3.2em;color:var(--muted);font-size:12px}.metrics strong{font-size:23px;display:block;font-weight:550;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.formula{border-top:1px solid var(--rule);padding-top:12px;margin-top:14px;font-size:13px;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.value{font:550 20px ui-monospace,monospace}.legend{display:flex;flex-wrap:wrap;gap:6px 14px;font-size:12px;color:var(--muted);margin:12px 0}.legend span:before{content:'';display:inline-block;width:8px;height:8px;border-radius:2px;background:var(--accent);margin-right:6px}.legend .second:before{background:var(--second)}.check{display:flex;align-items:center;gap:8px;font-size:13px;margin:12px 0}.check input{width:16px;height:16px;flex-shrink:0;accent-color:var(--accent)}select,input[type=text],input[type=number]{background:var(--paper);color:var(--ink);font:inherit;font-size:13px;padding:10px;border:1px solid var(--rule);border-radius:7px;max-width:100%;min-width:0}select{width:100%;min-height:42px}.band{height:20px;display:flex;background:var(--surface);border-radius:4px;overflow:hidden}.band i{height:100%;display:block;background:var(--accent);transition:width .25s}.band i.second{background:var(--second)}button:disabled{cursor:default}.status{font-size:13px;min-height:4.8em}.mono{font-family:ui-monospace,monospace;font-variant-numeric:tabular-nums}.muted{color:var(--muted)}\n@media(max-width:480px){.two{gap:8px}.card{padding:12px 9px}.actions button,.presets button{font-size:12px}.metrics strong{font-size:20px}.metrics{gap:8px}}\n@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important}}\n.track-row{margin:16px 0}.track-row>span{display:block;font-size:12px;color:var(--muted);margin-bottom:7px}.track{display:flex;gap:5px;min-width:0}.cell{flex:1;min-width:0;min-height:48px;border:1px solid var(--rule);border-radius:5px;background:var(--surface);display:flex;align-items:center;justify-content:center;text-align:center;padding:5px 3px;font-size:12px;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.cell.on{background:var(--accent-soft);border-color:var(--accent)}.cell.gold{background:var(--second-soft);border-color:var(--second)}.cell.empty{border-style:dashed;color:var(--muted)}.cell.error{border-color:var(--second);text-decoration:line-through}.choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px;margin:14px 0}.choices button{min-width:0;padding:10px 4px;font-size:12px;overflow-wrap:anywhere}.choices button[aria-current=true]{border-color:var(--accent);background:var(--accent-soft)}.relation{display:grid;grid-template-columns:minmax(0,1fr) 28px minmax(0,1fr);align-items:center;gap:6px;margin:12px 0}.relation .cell{min-height:72px}.relation>i{text-align:center;font-style:normal;color:var(--accent)}.readout{font-size:13px;white-space:pre-line;min-height:6.4em;overflow-wrap:anywhere}.plot{position:relative;border-left:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:8px 0;margin:18px 0}.plot-row{height:28px;position:relative;margin:4px 0;background:var(--surface)}.plot-row i{position:absolute;inset-block:5px;background:var(--accent);min-width:2px;transition:width .2s,left .2s}.plot-row b{position:relative;padding:4px 6px;font:11px/28px ui-monospace,monospace;background:var(--paper);border-radius:3px}.axis{display:flex;justify-content:space-between;font-size:11px;color:var(--muted)}\n\n/* Action labels must remain readable across locales and narrow embeds. */\n.actions{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}\n.actions button{overflow-wrap:anywhere;white-space:normal;min-height:58px;padding:8px}\nbutton{overflow-wrap:anywhere}\n@media(min-width:640px){.actions{grid-template-columns:repeat(3,minmax(0,1fr))}}\n\n.metrics span{overflow-wrap:anywhere}\n.panel{border:1px solid var(--rule);border-radius:9px;padding:12px;margin:14px 0;min-width:0}.panel h3{font-size:13px;margin:0 0 10px;color:var(--muted)}.source{font:13px/1.8 ui-monospace,monospace;white-space:pre-wrap;overflow-wrap:anywhere;margin:12px 0}.source mark{background:var(--accent-soft);color:var(--ink);border-bottom:2px solid var(--accent)}.source .fault{background:var(--second-soft);border-color:var(--second)}.diagram{display:block;width:100%;height:auto;max-height:320px;margin:14px 0;overflow:visible}.diagram text{fill:var(--ink);font:12px ui-monospace,monospace}.diagram .edge{stroke:var(--muted);stroke-width:1.5;fill:none}.diagram .edge.on{stroke:var(--accent);stroke-width:3}.diagram .node{fill:var(--surface);stroke:var(--rule);stroke-width:1.5}.diagram .node.on{fill:var(--accent-soft);stroke:var(--accent)}.diagram .node.gold{fill:var(--second-soft);stroke:var(--second)}.log{font:12px/1.8 ui-monospace,monospace;white-space:pre-line;overflow-wrap:anywhere;min-height:7.2em}.table{display:grid;gap:5px;margin:14px 0}.table .tr{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px}.table .tr>*{padding:8px 5px;background:var(--surface);border-radius:4px;min-width:0;overflow-wrap:anywhere;font-size:12px}.table .tr .on{background:var(--accent-soft)}.table .tr .gold{background:var(--second-soft)}.choices button{min-height:44px}.metrics strong{min-height:1.6em}.code-line{display:block}.code-line.on{background:var(--accent-soft);border-left:2px solid var(--accent);padding-left:6px}.status-badge{font-size:12px;color:var(--accent)}.tile-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.tile-grid .cell{min-height:40px}.actions button{min-height:48px}.form-field{display:grid;gap:8px;margin:14px 0;font-size:13px}.form-field input{width:100%;font-family:ui-monospace,monospace}.metrics.three{grid-template-columns:repeat(3,minmax(0,1fr))}.formula{min-height:3.2em}.presets{flex-wrap:wrap}.presets button{flex-basis:25%;min-height:44px}\n\n.budget{display:flex;height:28px;margin:16px 0;background:var(--surface);border-radius:5px;overflow:hidden}.budget i{display:block;background:var(--accent);transition:width .2s}.budget i.gold{background:var(--second)}.intervals{margin:16px 0}.interval{position:relative;height:36px;background:var(--surface);margin:6px 0;border-radius:4px;overflow:hidden}.interval i{position:absolute;height:100%;background:var(--accent-soft);border-left:2px solid var(--accent)}.interval i.gold{background:var(--second-soft);border-color:var(--second)}.interval span{position:relative;z-index:1;font:12px/36px ui-monospace,monospace;padding-left:7px}.table .tr>*{min-height:4.8em}.formula{white-space:pre-line;min-height:7.2em}.actions:has(>button:only-child){grid-template-columns:1fr}.metrics strong{min-height:3.2em}.rangegrid{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:3px;margin:14px 0}.rangegrid .cell{min-height:30px;padding:3px 1px;font-size:10px}.message{min-height:7.2em;white-space:pre-line;font:13px/1.8 ui-monospace,monospace;overflow-wrap:anywhere}\n/* Allow CJK hanging punctuation without overflowing a metric's border box. */\n.metrics>div{padding-right:4px}.metrics span{line-break:anywhere}\n\n.chart-wrap{margin:18px 0}.chart-label{font-size:12px;color:var(--muted);min-height:3.2em}.curve{display:block;width:100%;height:auto;max-height:320px;overflow:visible}.curve text{font:11px ui-monospace,monospace;fill:var(--muted)}.gridline{stroke:var(--rule);stroke-width:1}.metrics strong{font-size:20px;min-height:3.2em}.formula{font:12px/1.8 ui-monospace,monospace;min-height:9em}.readout{min-height:8em}.presets button{flex-basis:30%}.scope p{overflow-wrap:anywhere} .unit-note{font-size:12px;color:var(--muted);margin:10px 0}\n\n.metrics span{word-break:break-all;line-break:strict}.metrics>div{padding-right:6px}\n\n.cell{min-height:72px}.metrics strong{min-height:3.6em}\n\n ","js":"const $=s=>document.querySelector(s);const set=(id,v)=>$('#'+id).textContent=v;const t=k=>viz.t(k);function cells(id,values){$('#'+id).replaceChildren(...values.map(v=>{const e=document.createElement('div');e.className='cell '+(v.cls||'');e.textContent=v.text;e.title=v.title||v.text;return e;}));}function pressed(mode){document.querySelectorAll('[data-mode]').forEach(e=>e.setAttribute('aria-pressed',String(e.dataset.mode===mode)));}const esc=s=>String(s).replace(/[&<>\"']/g,c=>({'&':'&','<':'<','>':'>','\"':'"',\"'\":'''}[c]));const fmt=s=>'{'+[...s].sort().join(', ')+'}';function graph(id,nodes,edges){const el=$('#'+id);el.setAttribute('viewBox','0 0 360 200');el.innerHTML='<defs><marker id=\"arrow-'+id+'\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"5\" markerHeight=\"5\" orient=\"auto-start-reverse\"><path d=\"M 0 0 L 10 5 L 0 10 z\" fill=\"var(--muted)\"/></marker></defs>'+edges.map(e=>{const a=nodes[e[0]],b=nodes[e[1]],dx=b.x-a.x,dy=b.y-a.y,d=Math.hypot(dx,dy)||1;if(edges.some(r=>r[0]===e[1]&&r[1]===e[0])){const nx=-dy/d,ny=dx/d;return '<path class=\"edge '+(e[2]?'on':'')+'\" d=\"M '+(a.x+dx/d*22+nx*12)+' '+(a.y+dy/d*22+ny*12)+' Q '+((a.x+b.x)/2+nx*38)+' '+((a.y+b.y)/2+ny*38)+' '+(b.x-dx/d*25+nx*12)+' '+(b.y-dy/d*25+ny*12)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}return '<line class=\"edge '+(e[2]?'on':'')+'\" x1=\"'+(a.x+dx/d*25)+'\" y1=\"'+(a.y+dy/d*25)+'\" x2=\"'+(b.x-dx/d*28)+'\" y2=\"'+(b.y-dy/d*28)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}).join('')+nodes.map(n=>'<g><circle class=\"node '+(n.cls||'')+'\" cx=\"'+n.x+'\" cy=\"'+n.y+'\" r=\"25\"/><text x=\"'+n.x+'\" y=\"'+(n.y+4)+'\" text-anchor=\"middle\">'+esc(n.name)+'</text>'+(n.sub?'<text x=\"'+n.x+'\" y=\"'+(n.y+43)+'\" text-anchor=\"middle\">'+esc(n.sub)+'</text>':'')+'</g>').join('');}function table(id,rows){$('#'+id).classList.add('table');$('#'+id).replaceChildren(...rows.map(r=>{const row=document.createElement('div');row.className='tr';row.style.gridTemplateColumns='repeat('+r.length+',minmax(0,1fr))';r.forEach(x=>{const c=document.createElement('div');if(typeof x==='object'){c.textContent=x.text;c.className=x.cls||'';}else c.textContent=x;row.append(c)});return row;}));}function band(id,parts,total){$('#'+id).replaceChildren(...parts.map((p,i)=>{const e=document.createElement('i');e.style.width=(100*p.value/total)+'%';e.className=i%2?'gold':'on';e.title=p.name+': '+p.value;return e}));}function intervals(id,items,total){$('#'+id).replaceChildren(...items.map(p=>{const row=document.createElement('div');row.className='interval';const bar=document.createElement('i');bar.style.left=(100*p.start/total)+'%';bar.style.width=(100*(p.end-p.start)/total)+'%';bar.className=p.cls||'';const label=document.createElement('span');label.textContent=p.label;row.append(bar,label);return row;}));}function plot(id,series,xr,yr,opts={}){const e=$('#'+id),X=x=>42+(x-xr[0])/(xr[1]-xr[0])*298,Y=y=>175-(y-yr[0])/(yr[1]-yr[0])*148;let out='<defs><clipPath id=\"clip-'+id+'\"><rect x=\"42\" y=\"27\" width=\"298\" height=\"148\"/></clipPath></defs>';for(let i=0;i<3;i++){let x=xr[0]+i*(xr[1]-xr[0])/2,y=yr[0]+i*(yr[1]-yr[0])/2;out+='<path class=\"gridline\" d=\"M '+X(x)+' 27V175M42 '+Y(y)+'H340\"/><text x=\"'+X(x)+'\" y=\"194\" text-anchor=\"middle\">'+esc(opts.xfmt?opts.xfmt(x):Number(x.toFixed(2)))+'</text><text x=\"36\" y=\"'+(Y(y)+4)+'\" text-anchor=\"end\">'+esc(opts.yfmt?opts.yfmt(y):Number(y.toFixed(2)))+'</text>';}out+='<g clip-path=\"url(#clip-'+id+')\">';for(const s of series){out+='<path fill=\"none\" stroke=\"'+(s.color||'var(--accent)')+'\" stroke-width=\"2.5\" '+(s.dash?'stroke-dasharray=\"5 4\"':'')+' d=\"'+s.pts.map((p,i)=>(i?'L':'M')+X(p[0]).toFixed(2)+','+Y(p[1]).toFixed(2)).join(' ')+'\"/>';}for(const p of opts.points||[])out+='<circle cx=\"'+X(p[0])+'\" cy=\"'+Y(p[1])+'\" r=\"4\" fill=\"var(--second)\" stroke=\"var(--paper)\" stroke-width=\"1.5\"/>';if(opts.cursor!==undefined)out+='<path d=\"M'+X(opts.cursor)+' 27V175\" stroke=\"var(--muted)\" stroke-dasharray=\"3 3\"/>';e.innerHTML=out+'</g>';e.dataset.curves=JSON.stringify(series.map(s=>s.pts));}const curve=(fn,lo,hi,n=120)=>Array.from({length:n+1},(_,i)=>{const x=lo+(hi-lo)*i/n;return[x,fn(x)]});function inputs(draw){document.querySelectorAll('input,select').forEach(e=>{e.addEventListener('input',draw);e.addEventListener('change',draw)});draw()}const n=id=>+$('#'+id).value;const show=(id,v,d=3)=>set(id,Number(v.toFixed(d)));let open=true,active=0,alive=true,msg='initial';function draw(){graph('map',[{name:'C API',x:60,y:90,cls:open?'on':''},{name:'calls',x:180,y:90,cls:active?'gold':''},{name:'context',x:300,y:90,cls:alive?'on':''}],alive?[...(open?[[0,2,true]]:[]),...(active?[[1,2,true]]:[])]:[]);set('active',active);set('registration',t(open?'open':'closed'));$('#enter').disabled=!open||!alive||active>=3;$('#leave').disabled=!active;$('#unregister').disabled=!open;$('#free').disabled=!alive;set('explanation',t(msg));document.body.dataset.alive=alive;}$('#enter').onclick=()=>{active++;draw()};$('#leave').onclick=()=>{active--;draw()};$('#unregister').onclick=()=>{open=false;draw()};$('#free').onclick=()=>{if(open||active)msg='bad';else{alive=false;msg='safe'}draw()};$('#reset').onclick=()=>{open=true;active=0;alive=true;msg='initial';draw()};draw();","audio":false,"strings":{"active":"在途回调","alive":"context 存活","bad":"拒绝释放:仍可能开始新回调,或已有回调仍会访问 context。","closed":"关闭","enter":"开始一个回调","free":"尝试释放 context","gone":"context 已释放","heading":"注销以后,谁还在访问 context?","initial":"先开始回调,再停止入口;在途调用不会因入口关闭而自动结束。","intro":"启动在途回调、停止新回调,再尝试释放 context。","leave":"结束一个回调","open":"开放","registration":"新回调入口","reset":"重置","safe":"入口已关闭且在途数为零,可以释放 context。","scope":"假设 unregister 只停止新的进入,另有 join/drain 确认已有调用结束。真实库需按其具体契约封装。","scopeLabel":"模型范围与约定","unregister":"停止新回调"}}
panic 与跨语言展开
普通 extern "C" 是不允许展开越过的 ABI。Rust panic 试图越过这种边界时会终止进程;不能继续沿用“所有 Rust panic 跨 C 边界必然 UB”的笼统说法。外部异常进入不允许展开的 Rust 边界则有未定义行为风险。
如果确实需要跨边界展开,应按双方工具链支持使用 C-unwind 并建立整体异常协议。普通 C 库接口更常见的做法是在 Rust 回调内部把可捕获的 panic 转成错误,但 catch_unwind 只捕获展开型 panic,不能捕获 panic=abort,也不是任意外部异常的通用捕获器。恢复后数据结构是否仍一致仍由应用负责。FFI 展开规则
Rust 2024 要求外部声明使用 unsafe extern 块;导出固定符号名使用 #[unsafe(no_mangle)] 等相应语法。unsafe 属性强调名字冲突等全局义务,它不会自动为函数加上 C 调用约定。Rust 外部块
自动生成的边界
bindgen 不会理解长度参数间的语义、不保留指针的承诺或线程约束。复杂 C++ 模板和内联函数的处理也不是简单的“全部不能支持”:有些场景可以生成包装、处理具体实例或额外编译辅助文件,取决于选项和限制;复杂 C++ 接口常值得先整理一个清晰的 C 接口层。bindgen FAQ
生成层保持机械、可重建;安全层记录每个 unsafe 所依赖的外部保证,并让调用者无法通过普通安全操作破坏它。更多契约推理见 unsafe 的 soundness。