借用により、関数は値の所有権を引き継ぐことなく、一時的に値にアクセスできます。&T は共有アクセスを提供し、&mut T は排他的アクセスを提供します。参照は、使用中は有効で、アライメントが正しく、型の要件を満たすデータを指していなければなりません。アクセス権限、生存期間、アドレスの条件はすべて不可欠です。
「複数の読者または単一の書き込み者」という直感的なモデルは、通常のデータに適用されます。内部可変性により、共有参照の下でも別のプロトコルに従って変更が可能であり、排他的参照も一時的にリボロー(再借用)できるため、ルールを「構文的なすべての参照変数が共存できない」と誤解してはいけません。
Vec の要素借用が push を阻止する理由
push は Vec への排他的アクセスを必要とし、容量が不足すると再割り当てが行われ、既存の要素のアドレスが無効になる可能性があります。事前に容量を確保していても、通常の push インターフェースは依然として &mut Vec を要求するため、その後に要素の参照を使用する必要がある場合でも、借用ルールを回避することはできません。
要素 first = &values[0] を借用 first を後で使用する場合、要素はアクセス可能でなければならない 1 first の最後の読み取り 借用の制約はその後終了できる 2 その後、values を変更 この時点で競合しない排他的借用を取得可能 3 借用制約は後の使用から推論される first の使用を変更の後に移動すると、借用範囲も変化し、プログラムは拒否される可能性がある。
fn main ( ) {
let mut values = vec! [ 1 , 2 , 3 ] ;
let first = & values[ 0 ] ;
assert_eq! ( * first, 1 ) ;
values.push ( 4 ) ;
assert_eq! ( values, [ 1 , 2 , 3 , 4 ] ) ;
}
assert_eq!(*first, 1) を push の後に移動すると、first の借用が変更を跨ぐことになり、コンパイルエラーが発生します。その後使用されない参照束縛を単に記述しただけでは、その後の変更が必ずしも不正であるとは限りません。
NLL(非構文論理生存期間)は、制御フローと使用制約に基づいて借用が必要な範囲を推論するため、構文的なブロックの末尾まで保守的に延長する必要はありません。それは単なるテキストスキャンの「最終行」ではなく、分岐、参照の返却、デストラクションの制約などが結果に影響を与える可能性があります。借用チェックの概要
使用位置を変更箇所の前後に移す
データと push の API は固定し、first の使用位置だけを変えます。橙色は変更の独占アクセス、青緑は後続の使用に必要な借用です。重なる場合は容量だけでなく、使用順序やインターフェースを見直します。
図を準備しています 再読み込み
使用位置を変更箇所の前後に移す この直線的な例では、容量に余裕があっても push 後の要素参照の使用は競合します。
{"id":"rust-borrow-region","title":"使用位置を変更箇所の前後に移す","summary":"この直線的な例では、容量に余裕があっても push 後の要素参照の使用は競合します。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"control\"><label for=\"use\" data-i18n=\"use\"></label><output for=\"use\" id=\"use-value\"></output><input id=\"use\" type=\"range\" min=\"2\" max=\"6\" value=\"3\" step=\"1\"></div><label class=\"check\"><input type=\"checkbox\" id=\"capacity\"><span data-i18n=\"capacity\"></span></label><div id=\"regions\" class=\"intervals\"></div><pre id=\"code\" class=\"source\"></pre><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.source{min-height:13em}","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 u=n('use');set('use-value',u);intervals('regions',[{start:1,end:u,label:t('borrow')},{start:4,end:4.4,label:t('change'),cls:'gold'}],7);let lines=['let mut v = vec![1, 2, 3];','let first = &v[0];',...Array(5).fill('// …')];lines[4]='v.push(4);';lines[u]+=' use_value(*first);';$('#code').innerHTML=lines.map((s,i)=>'<span class=\"code-line '+(i===u||i===4?'on':'')+'\">'+i+' '+esc(s)+'</span>').join('');set('explanation',t(u>=4?'bad':'ok'));document.body.dataset.allowed=String(u<4);}inputs(draw);","audio":false,"strings":{"bad":"拒否:push は Vec を独占しますが、その後も first を使用します。容量の余裕はシグネチャの要求を変えません。","borrow":"要素の共有借用","capacity":"十分な容量を予約済み","change":"push は &mut Vec を要求","heading":"使用位置を変更箇所の前後に移す","intro":"参照の最後の使用位置を動かし、push と借用区間の重なりを見ます。","ok":"許可:最後の使用が push より前で、変更時には要素の借用が不要です。","reset":"リセット","scope":"通常の Vec::push を使う直線的な制御フローです。NLL は分岐、ループ、デストラクタも解析します。","scopeLabel":"モデルの範囲と前提","use":"first の最終使用位置"}}
リボロー:既存の権限からより短い権限を派生させる
fn append ( values : & mut Vec< i32 > ) { values.push ( 2 ) ; }
fn main ( ) {
let mut values = vec! [ 1 ] ;
let parent = & mut values;
{
let child = & mut * parent;
append ( child) ;
}
parent.push ( 3 ) ;
assert_eq! ( parent, & [ 1 , 2 , 3 ] ) ;
}
parent は既存の &mut Vec であり、child がその対象へのリボローです。child が使用されている間、parent を通じて競合するアクセスを行うことはできません。child の借用が終了した後、parent を引き続き使用できます。元の Vec の所有権は渡されていないため、「関数から返った後に所有権が回復する」というわけではありません。
引数の型が &mut T である呼び出しは、暗黙的にリボローされることが多く、毎回明示的に &mut *parent と書く必要はありません。通常の代入や、値による消費を行うジェネリック関数は、すべてがリボローを行うとは限りません。&mut T 自体は Copy ではありません。
明示的なリボローとムーブされた参照変数
fn consume < T> ( _ : T) { }
fn main ( ) {
let mut number = 1 ;
let parent = & mut number;
consume ( & mut * parent) ; * parent + = 1 ;
assert_eq! ( * parent, 2 ) ;
}
consume(&mut *parent) を consume(parent) に変更すると、ジェネリック引数 T は &mut i32 となり、渡される参照値自体がムーブされ、その後の parent の使用はできなくなります。どちらの書き方も number の所有権をムーブするものではなく、違いは「どの参照値が消費されるか」です。修正する際は、インターフェースが実際に必要な &mut T を受け取るようにするか、明示的に短い借用を作成し、排他的参照に対して Clone を探すのではなくください。
排他的借用は互いに素な部分に分割できる
fn main ( ) {
let mut values = [ 1 , 2 , 3 , 4 ] ;
let ( left, right) = values.split_at_mut ( 2 ) ;
left[ 0 ] = 10 ;
right[ 0 ] = 30 ;
assert_eq! ( values, [ 10 , 2 , 30 , 4 ] ) ;
}
2つの &mut スライスが同時に存在するのは安全です。なぜなら、要素の範囲が重複していないからです。コンパイラは構造体フィールドの独立した借用をいくつか認識できますが、一般的な動的インデックスの場合、任意の算術的不等式を推論するのではなく、split_at_mut などの証明済みのインターフェースを使用する必要があります。
動的に2つの要素を選択し、互いに素な関係をスライス境界に変換する
fn pair_mut < T> ( values : & mut [T], i : usize , j : usize ) -> Option< ( & mut T, & mut T) > {
if i = = j | | i > = values.len ( ) | | j > = values.len ( ) { return None ; }
if i < j {
let ( left, right) = values.split_at_mut ( j) ;
Some ( ( & mut left[ i] , & mut right[ 0 ] ) )
} else {
let ( left, right) = values.split_at_mut ( i) ;
Some ( ( & mut right[ 0 ] , & mut left[ j] ) )
}
}
fn main ( ) {
let mut values = [ 10 , 20 , 30 ] ;
let ( a, b) = pair_mut ( & mut values, 2 , 0 ) .unwrap ( ) ;
* a + = 1 ;
* b + = 2 ;
assert_eq! ( values, [ 12 , 20 , 31 ] ) ;
assert! ( pair_mut ( & mut values, 1 , 1 ) .is_none ( ) ) ;
assert! ( pair_mut ( & mut values, 0 , 3 ) .is_none ( ) ) ;
assert! ( pair_mut:: < u8 > ( & mut [ ] , 0 , 0 ) .is_none ( ) ) ;
}
i < j の場合、j で分割し、i は必ず左半分、j は右半分の第0項に対応します。逆の場合は返却順序を交換し、呼び出し側が常に i を先に、次に j を得られるようにします。これにより、入力順序が保持され、安全なスライスAPIを通じて排他範囲が表現されます。ビジネスロジックで単に2つの位置を交換したいだけであれば、slice::swap を直接使用する方が簡単であり、2つの参照を取得する必要はありません。借用の分割
メソッドシグネチャが広すぎると不要な競合を引き起こす
struct Report { title : String, rows : Vec< usize > }
fn append_row ( rows : & mut Vec< usize > , title : & str ) {
rows.push ( title.len ( ) ) ;
}
fn main ( ) {
let mut report = Report { title: String :: from( " demo" ) , rows: Vec :: new( ) } ;
let title = & report.title;
append_row ( & mut report.rows, title) ;
assert_eq! ( report.rows, [ 4 ] ) ;
}
ここで title と rows は異なるフィールドであり、1つは共有読み取り、もう1つは排他的書き込みを同時に実行できます。もし &mut Report を受け取るメソッドに変更すると、呼び出し側の境界はオブジェクト全体を排他的に使用する可能性があることを宣言することになり、呼び出し側はメソッド内部で現在 rows のみを修正しているという事実だけで、この要件を狭めることはできません。補助関数の引数を狭める優先順位を高くすることは、RefCell を増やしたり title をコピーしたりするよりも、責任をより正確に表現するのに役立ちます。
参照変数に mut が不要でも、対象が変更される可能性がある
let reference = &mut value; において、reference バインディングに mut がなくても、それを通じて対象を変更できます。let mut reference とすると、さらにその変数を別の参照に再束縛できるようになります。「ポインタ変数を変更可能であること」と「排他的な対象アクセス権を持っていること」を区別することは、シグネチャを理解するのに役立ちます。
借用が終了したからといって、ガードがデストラクトされたわけではありません。RefCell の Ref や MutexGuard などは実行時状態を保持しており、通常、適切なスコープを退出するか明示的に drop して初めて対応するプロトコル状態が解放されます。通常の参照の NLL の直感をそのまま適用することはできません。
参照の返却と省略ルール
fn first_word ( text : & str ) -> & str {
& text[ .. text.find ( ' ' ) .unwrap_or ( text.len ( ) ) ]
}
fn main ( ) {
let text = String :: from( " 中文 rust" ) ;
assert_eq! ( first_word ( & text) , " 中文" ) ;
}
この関数は、ローカルに新しく作成された String の借用を返すのではなく、入力からのサブスライスを返します。find はスペースのバイト位置を正確に見つけ出し、それは UTF-8 の境界上にあります。文字番号を任意にバイトオフセットとして扱うことはできません。
ここでは入力参照の生存期間が1つだけあり、出力はルールに従ってそれに関連付けられるため、明示的な注釈は不要です。入力が複数あり、曖昧さがある場合にのみ、より明確な関係を表現する必要があり、生存期間 を参照してください。
String: "中文 rust" テキストとバイトバッファを所有 first_word(&text) 同じバッファからの &str を返す word を使用する ソースの有効性を保つ 借用されたビューの返却:ビューの消費が終了してからでないと、ソースを排他的 に修正できない その後に word を使用する必要がある場合、それ以前に text.push でソースを変更することはできない 実際に独立したテキストが必要な場合は、明示的に to_owned を使用して String を作成する。これにより所有関係が変化 し、割り当てが行われる可能性がある。
借用された返却値は制約を呼び出し元に持ち帰る
fn first_word ( text : & str ) -> & str {
& text[ .. text.find ( ' ' ) .unwrap_or ( text.len ( ) ) ]
}
fn main ( ) {
let mut text = String :: from( " 中文 rust" ) ;
let word = first_word ( & text) ;
assert_eq! ( word, " 中文" ) ;
text.push ( ' !' ) ;
let owned = first_word ( & text) .to_owned ( ) ;
text.clear ( ) ;
assert_eq! ( owned, " 中文" ) ;
}
&str バージョンは結果をソースに関連付けるため、短期的な読み取りに適しています。String バージョンはストレージを明確に分離するため、ソースの変更や解放を跨ぐ使用に適しています。後者は「参照の生存期間を延長する」ものではなく、別の所有者が責任を負うテキストを作成するものです。
借用エラーが発生した際に順次確認する
問題 対応処理
参照が変更後も使用されているか 読み取り専用の消費を変更前に移動するか、結果の表現を変更する
2つの操作が実際には異なるフィールド/範囲を対象としているか 関数引数を狭め、分割インターフェースを使用する
&mut 参照自体がムーブされたか明示的な引数型または明示的なリボローを使用する
長期的に独立したデータを保存する必要があるか 所有値を返却し、コピーまたは共有のコストを明確にする
実際にはガードが実行時ロックを保持しているか ガードのスコープを制限するか、明示的に drop する
これらの処理は、それぞれアクセスのタイミング、アクセス範囲、または所有関係を変更します。unsafe を使用してエラーを回避しても、関係が自動的に成立するわけではなく、clone を追加してもリソースの独立性が保証されるわけではありません。真に必要な契約を最初に特定する必要があります。
コンパイル時チェックの保証範囲
通常の借用チェックは、実行時に参照カウントを追跡せず、任意のリソースに対するビジネスロジックのロックも提供しません。&[T] と &dyn Trait はそれぞれメタデータを含んでいるため、すべての参照が固定の8バイトであるとは一概に言えません。unsafe、FFI、または内部可変性のラップに入った場合、追加の契約は実装側が維持します。安全な呼び出し側は、これらのラップが健全(sound)であることを前提に依存します。