裸指针允许表达不能直接放进 Rust 引用模型的状态,例如可空外部句柄、容器内部的尚未初始化存储、底层分配与硬件接口。FFI 是重要用途,但不是唯一用途。
*const T 与 *mut T 本身不携带可被借用检查器完整追踪的生命周期。它们可以为空或不对齐;只有当你执行具体访问时,才必须满足该操作要求的全部条件。
取得指针 来源分配与 provenance;数值地址并非全部信息 1 确认存储仍有效 对象生命周期、访问范围、对齐与初始化 2 选择访问方式 读、写、未对齐访问或构造引用有不同前提 3 维护别名与并发约束 存在多个指针不等于允许任意同时访问 4 空或悬空指针值可以存在;能够保存它与能够解引用它是两回事。 裸指针从地址走向一次合法访问,需要逐项补齐条件
指针存在与访问有效不同
fn main ( ) {
let value = 42_ u32 ;
let pointer = & raw const value;
let copied = unsafe { pointer.read ( ) } ;
assert_eq! ( copied, 42 ) ;
let null = std:: ptr:: null:: < u32 > ( ) ;
assert! ( null.is_null ( ) ) ; }
多个 *mut T 可以指向同一位置,但这不授权你制造同时有效且互相冲突的 &mut T,或进行非原子并发读写。指针的 const/mut 是允许通过该类型表达的访问方向,不会让原本只读或受共享引用保护的对象自动变得可写。指针模块
ptr.read 对非 Copy 类型会按位读出一个拥有值,调用者必须避免随后把同一资源当作两份独立所有权释放。ptr.write 又不会先析构原值,覆盖前是否需要释放已有资源也要单独处理。
裸指针转引用会增加承诺
&*ptr 或 &mut *ptr 不是“换个更方便的语法”。新引用要求非空、对齐、有效的目标值以及整个借用期间的相应访问约束,即使之后没有立即读写,也不能忽略这些要求。
同样,slice::from_raw_parts 的长度为零时通常仍要求非空且对齐的指针;C 接口允许 NULL+0 不代表可以直接构造 Rust 空切片。外部缓冲必须先核对各自接口的要求。
返回引用的安全封装还应把生命周期绑定到真正持有存储的对象,不能凭一个没有所有者信息的裸指针,给调用者任意长的借用。这一点比在函数体外加上 unsafe 标记更重要。
对 NULL + 0 单独分支,但别把 null 检查当完整验证
下面的函数按字节计算异或校验,允许空缓冲以 NULL + 0 表达。使用 unsafe fn,是因为非空指针对应的内存有效性无法仅靠整数检查证明。
unsafe fn xor_bytes ( data : *const u8 , len : usize ) -> Result< u8 , & 'static str > {
if len = = 0 { return Ok ( 0 ) ; }
if data.is_null ( ) { return Err ( " 非空长度对应空指针" ) ; }
if len > isize :: MAX as usize { return Err ( " 长度过大" ) ; }
let bytes = unsafe { std:: slice:: from_raw_parts( data, len) } ;
Ok ( bytes.iter ( ) .fold ( 0 , | result , byte | result ^ byte ) )
}
fn main ( ) {
let bytes = [ 1 u8 , 2 , 3 , 4 ] ;
assert_eq! ( unsafe { xor_bytes ( bytes.as_ptr ( ) , bytes.len ( ) ) } , Ok ( 4 ) ) ;
assert_eq! ( unsafe { xor_bytes ( std:: ptr:: null( ) , 0 ) } , Ok ( 0 ) ) ;
assert! ( unsafe { xor_bytes ( std:: ptr:: null( ) , 1 ) } .is_err ( ) ) ;
}
检查 data 非空、len 没溢出后,仍不知道缓冲实际有多大,也不知道它是否已释放;因此不能把函数改为任意安全调用的指针验证器。from_raw_parts 的 len 按元素而非字节计,换成 u32 时还要考虑对齐与总字节尺寸。from_raw_parts
若上层本来就持有 &[u8],直接接收切片即可;只有真正跨越缺少 Rust 生命周期信息的边界时,才需要维护这里的额外前提。不要为了展示 unsafe 而把可靠的切片先拆成指针,再在另一处猜回长度。
provenance:不是整数地址相等就可互换
指针除了地址还带有其访问来源等语义。整数往返、越界指针运算和跨分配拼接都可能破坏操作前提。两个分配即使恰好相邻,也不能自动合成一个 Rust slice。
add/offset 等操作有范围和溢出要求;wrapping_add 可放宽计算阶段的条件,却不使最终解引用合法。需要调整地址时,了解 addr、with_addr 等保留来源的接口,比任意 as usize 再转回更易表达意图。Rust 的完整别名模型仍在发展,应依赖明确的标准库契约,而不是把某个解释器模型当作所有细节的最终规范。
重叠复制与非重叠复制是不同契约
fn main ( ) {
let mut bytes = [ 1 u8 , 2 , 3 , 4 , 5 ] ;
let pointer = bytes.as_mut_ptr ( ) ;
unsafe { std:: ptr:: copy( pointer, pointer.add ( 1 ) , 4 ) ; }
assert_eq! ( bytes, [ 1 , 1 , 2 , 3 , 4 ] ) ;
let mut safe = [ 1 u8 , 2 , 3 , 4 , 5 ] ;
safe.copy_within ( 0 .. 4 , 1 ) ;
assert_eq! ( safe, bytes) ;
}
ptr::copy 在语义上允许重叠,效果如先保存源区再写入目标;不能仅因为某次测试通过,就把这里替换成 copy_nonoverlapping。两者的 count 都是 T 的元素数量。普通切片数据优先使用 copy_within、copy_from_slice 等检查边界的接口。ptr::copy
按位复制也不是调用 Clone。对 String 等拥有资源的类型,复制指针/长度字段后让两份对象都析构会破坏所有权;容器内部若用这种操作移动元素,必须同步维护哪些槽位还被视为有效拥有值。u8 示例避开了这层析构责任,不代表泛化成任意 T 仍然同样简单。
复制方向不能替代非重叠契约
拖动目标范围,让两个区间从分离逐渐变成重叠。结果按 ptr::copy 的语义计算,始终使用复制前的源值。即使某种手写循环方向在当前例子看起来正确,也不能改变 copy_nonoverlapping 对调用者的前提要求。
正在呈现知识画面 重新加载
复制方向不能替代非重叠契约 ptr::copy 允许重叠,copy_nonoverlapping 要求不重叠;u8 的复制不涉及重复析构。
{"id":"rust-copy-overlap","title":"复制方向不能替代非重叠契约","summary":"ptr::copy 允许重叠,copy_nonoverlapping 要求不重叠;u8 的复制不涉及重复析构。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"control\"><label for=\"dest\" data-i18n=\"dest\"></label><output for=\"dest\" id=\"dest-value\"></output><input id=\"dest\" type=\"range\" min=\"0\" max=\"5\" value=\"2\" step=\"1\"></div><div class=\"track-row\"><span data-i18n=\"src\"></span><div id=\"src\" class=\"track\"></div></div><div class=\"track-row\"><span data-i18n=\"dst\"></span><div id=\"dst\" class=\"track\"></div></div><div class=\"track-row\"><span data-i18n=\"result\"></span><div id=\"result\" class=\"track\"></div></div><div class=\"metrics\"><div><span data-i18n=\"overlap\"></span><strong id=\"overlap\"></strong></div><div><span data-i18n=\"allowed\"></span><strong id=\"allowed\"></strong></div></div><div class=\"copy\"><p id=\"explanation\" role=\"status\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"ok\"></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)));function draw(){let d=n('dest'),a=[0,1,2,3,4,5,6,7],orig=a.slice(1,4),ov=Math.max(0,Math.min(4,d+3)-Math.max(1,d));set('dest-value',d);cells('src',a.map((x,i)=>({text:x,cls:i>=1&&i<4?'on':'empty'})));cells('dst',a.map((x,i)=>({text:i,cls:i>=d&&i<d+3?'gold':'empty'})));orig.forEach((x,i)=>a[d+i]=x);cells('result',a.map((x,i)=>({text:x,cls:i>=d&&i<d+3?'gold':''})));set('overlap',ov);set('allowed',ov?'×':'✓');set('explanation',t(ov?'bad':'ok'));}inputs(draw);","audio":false,"strings":{"allowed":"copy_nonoverlapping","bad":"范围重叠;ptr::copy 按先保留源值的语义得到结果,不能换成 copy_nonoverlapping。","dest":"目标起点","dst":"目标范围","heading":"复制方向不能替代非重叠契约","intro":"移动目标起点,对比源范围、目标范围和允许的 API。","ok":"两段互不重叠,在本模型其余前提满足时,两种 API 都可用。","overlap":"重叠元素数","reset":"重置","result":"ptr::copy 后的值","scope":"同一有效 8 字节分配内复制三个 u8;展示语义结果,不执行裸指针操作。","scopeLabel":"模型范围与约定","src":"源范围 [1,4)"}}
packed:允许未对齐布局,不允许未对齐引用
# [ repr ( C, packed ) ]
struct Packet {
kind : u8 ,
length : u32 ,
}
fn main ( ) {
let packet = Packet { kind: 1 , length: 42 } ;
let pointer = & raw const packet.length;
let length = unsafe { pointer.read_unaligned ( ) } ;
assert_eq! ( length, 42 ) ;
}
不要先写 &packet.length 再把它转裸指针,那已经试图形成未对齐引用。repr(packed) 也不处理字节序,这种内存布局不等于已经设计好跨平台网络编码。对字节协议,常可使用 from_le_bytes/from_be_bytes 避免依赖结构体内存布局。
FFI 的三条边界
extern "C" 决定目标平台 C 调用约定,repr(C) 决定相应类型的布局规则,具体指针/长度/释放协议决定资源语义。x86-64 Unix 与 Windows 的 C ABI 不相同,不能把 System V 寄存器表推广到所有 x86-64。
Rust 2024 的外部函数声明使用 unsafe extern 块;导出固定名字使用 #[unsafe(no_mangle)],同时仍需正确的 extern "C" 函数类型。整数宽度用 core::ffi 等目标别名匹配,不把所有 C int/long 永久绑定到同一个 Rust 宽度。
repr(C) 结构体的实际偏移受目标 ABI 及字段自身布局影响,外层 repr(C) 不递归修正内层默认 Rust 类型。跨边界枚举和 bool 等有效值也必须匹配,不能只比 sizeof 一样就认定安全。类型布局
CString 拥有缓冲 负责最后释放 as_ptr() 临时只读借用指针 外部读取 返回后不再保留指针 into_raw():转出拥有责任 原 CString 不再自动释放 from_raw():按契约取回 只取回一次,长度不可被改变 跨边界先区分借用指针与转移所有权 两条不同协议;as_ptr 的结果不能拿去 from_raw,也不能交给任意 free。
C 字符串:终止符、编码和拥有关系分别检查
use std:: ffi:: { CStr, CString} ;
fn main ( ) {
let name = CString:: new( " hello" ) .unwrap ( ) ;
let pointer = name.as_ptr ( ) ;
let borrowed = unsafe { CStr:: from_ptr( pointer) } ;
assert_eq! ( borrowed.to_str ( ) .unwrap ( ) , " hello" ) ;
assert! ( CString:: new( b " a\0 b" .to_vec ( ) ) .is_err ( ) ) ;
let non_utf8 = CStr:: from_bytes_with_nul( b " \xff \0 " ) .unwrap ( ) ;
assert! ( non_utf8.to_str ( ) .is_err ( ) ) ;
assert_eq! ( non_utf8.to_bytes ( ) , & [ 0xff ] ) ;
}
CString 保证自身的 NUL 终止布局,不保证内容是 UTF-8;CStr 可以借用合法的非 UTF-8 字节串,所以转 &str 还要经过 to_str 校验。CStr::from_ptr 会寻找终止符,调用者必须保证它在有效存储范围内可读;若外部提供长度,优先利用有界缓冲接口而不是无界扫描。
不要写 CString::new(...).unwrap().as_ptr() 后把指针留到下一条语句使用:临时 CString 可能已经释放。即使把 CString 保存在变量中,如果外部库会在函数返回后继续保存这个指针,也必须延长真正拥有者的有效期,并协调最后一次外部访问。CString
转出所有权后,只能按原协议取回
use std:: ffi:: CString;
fn main ( ) {
let raw = CString:: new( " owned" ) .unwrap ( ) .into_raw ( ) ;
let restored = unsafe { CString:: from_raw( raw) } ;
assert_eq! ( restored.to_str ( ) .unwrap ( ) , " owned" ) ;
}
from_raw 不是“把任何 C 字符串变成 Rust 所有者”。它只接回匹配的 into_raw 所转出的 CString;若外部改变终止符位置,重新计算出的长度可能与原分配不一致,违反回收契约。外部库分配的字符串应使用它提供的释放函数,必要时先复制成 Rust 拥有的数据。
来源 常见正确释放责任 不能直接替代
Box::into_raw 按原类型与分配契约 Box::from_raw 一次 libc free、重复 from_raw
CString::into_raw 满足长度等要求后 CString::from_raw 一次 任意 C 字符串指针
外部 create 返回句柄 同库 destroy/close 默认 Rust 分配器释放
仅借用的 as_ptr 真正拥有者在借用结束后释放 从借用指针制造第二个所有者
绑定生成之后还有什么工作
bindgen 从头文件生成声明,输出应放在 OUT_DIR,与 include! 路径一致。它不会自动发现 C 是否保存指针、回调线程是否并发,或某个返回值究竟由谁释放。
完整可运行的 C/Rust 联编与资源协议见 C ABI 与 bindgen 。两篇的分工是:这里解释一次指针访问的有效条件,后者解释如何把外部库契约封装为安全接口。
回调与展开按具体 ABI 判断
Rust panic 越过普通非 unwind 的 C ABI 边界会导致进程终止;外部异常进入不允许展开的 Rust 边界则可能是未定义行为。C-unwind 为允许展开的场景提供不同约定,不能归因于“C 栈一定没有展开信息”。
回调内部用 catch_unwind 只处理可展开的 Rust panic,不会捕获 abort,也不能自动恢复被中断更新的数据结构。是否允许取消注册后继续回调、是否必须等待在途调用结束,同样属于 FFI 的安全条件。FFI 展开
为回调画出最后一次访问
注册函数接收 callback 和 user_data 时,至少要知道回调能否并发、在哪些线程运行、取消注册是否等待在途调用,以及失败时是否仍保留 user_data。只有外部库保证再无回调访问后,Rust 才能释放指向的对象。
一个常见安全封装由拥有者保存外部句柄,在 Drop 中取消注册并完成必要的在途调用协调;如果取消注册可能同步触发回调,还要避免持有回调需要的锁。若库的销毁协议要求异步完成,单靠同步 Drop 可能不足,需要显式关闭接口并定义未关闭就丢弃时的行为。
这些约束来自外部库的真实契约,不能从 extern "C" fn(*mut c_void) 的签名推导出来。类型声明解决调用方式,安全封装负责把资源时序补完整。