Option は値があるか、ないかを示します。Result<T, E> は操作の成功または失敗を示し、失敗時には E を保持します。これらにより、呼び出し元は型から処理すべき分岐を確認できます。「結果がないこと」が通常かどうかをまず決定し、その後型を選択します。存在しないオプショナル設定のクエリでは None を返すことができますが、ファイルの読み取りに失敗した場合は通常、Err を使用して理由を提供する必要があります。
Result を返すからといって、関数が絶対に panic しないわけではありません。それは、返り値を通じて報告される失敗のみを記述するものです。Result を使用しないと must_use 警告がトリガーされますが、これは回避不可能な強制処理ではなく、プログラムがエラーを正しく回復したことを証明するものではありません。Result
例:オプショナルなポート設定
欠落と無効の両方をデフォルト値に変換すると、誤った設定がこっそり有効になってしまいます。ここでは、欠落はデフォルトポートを使用するという約束事にしていますが、構文が無効であるか u16 の範囲を超えている場合はエラーを報告する必要があります。ポート 0 が許可されるかどうかは、別のビジネス検証ステップによって決定されます。
None:設定なし Ok(None):デフォルト値の使用が許可される Some("8080") Ok(Some(8080)):指定された値を使用 Some("oops") Err(ParseIntError):入力のエラーを報告 オプション設定の3つの結果:欠落、有効、無効 transpose は「欠落」と「失敗」の区別を保持します。デフォルト値の戦略は外側で決定されます。
use std:: num:: ParseIntError;
fn optional_port ( input : Option< & str > ) -> Result< Option< u16 > , ParseIntError> {
input.map ( str :: parse:: < u16 > ) .transpose ( )
}
fn configured_port ( input : Option< & str > ) -> Result< u16 , ParseIntError> {
Ok ( optional_port ( input) ? .unwrap_or ( 8080 ) )
}
fn main ( ) {
assert_eq! ( optional_port ( None ) .unwrap ( ) , None ) ;
assert_eq! ( optional_port ( Some ( " 9000" ) ) .unwrap ( ) , Some ( 9000 ) ) ;
assert! ( optional_port ( Some ( " oops" ) ) .is_err ( ) ) ;
assert! ( optional_port ( Some ( " 70000" ) ) .is_err ( ) ) ;
assert_eq! ( configured_port ( None ) .unwrap ( ) , 8080 ) ;
assert! ( configured_port ( Some ( " " ) ) .is_err ( ) ) ;
}
map はまず Option<&str> を Option<Result<u16, E>> に変換し、transpose はさらに2つのコンテナの位置を調整します。3つの状態は依然として存在し、外側の Result により、呼び出し元はまず失敗を伝播し、その後欠落の処理方法を決定できます。Option::transpose
解析成功後、ビジネス範囲の検証も必要
u16 の表現可能な範囲と、サービスが許可する設定範囲は異なります。このサービスがポート 0 を明確に禁止していると仮定すると、構文エラーとビジネスエラーを別々にモデル化できます。ユーザーがエラー文字列からどちらのカテゴリなのかを推測する必要はありません。
use std:: num:: ParseIntError;
# [ derive ( Debug ) ]
enum PortError { Syntax( ParseIntError) , Zero }
fn port ( input : Option< & str > ) -> Result< u16 , PortError> {
let parsed = input.map ( str :: parse:: < u16 > ) .transpose ( )
.map_err ( PortError:: Syntax) ? .unwrap_or ( 8080 ) ;
if parsed = = 0 { return Err ( PortError:: Zero) ; }
Ok ( parsed)
}
fn main ( ) {
assert_eq! ( port ( None ) .unwrap ( ) , 8080 ) ;
assert_eq! ( port ( Some ( " 9000" ) ) .unwrap ( ) , 9000 ) ;
assert! ( matches! ( port ( Some ( " 0" ) ) , Err ( PortError:: Zero) ) ) ;
match port ( Some ( " oops" ) ) {
Err ( PortError:: Syntax( source) ) => assert! ( ! source.to_string ( ) .is_empty ( ) ) ,
other => panic! ( " 構文エラーを期待したが、実際は {other:?}" ) ,
}
}
ポート 0 は、一部のバインドインターフェースではシステムにポートの割り当てを要求する意味を持ちます。したがって、ここで拒否するのはサービスポリシーであり、Rust の数値解析ルールではありません。階層化された表現により、パーサーの再利用性を保ちつつ、アプリケーションが自らの制約を明確にできます。
transpose が保つ 3 つの場合
入れ替えは状態を統合せず、先に処理する層を変えます。3 種類を選ぶと、未指定と不正な文字列が別経路を通るため、? でエラーを伝播しつつ unwrap_or を正常な未指定にだけ適用できることが分かります。
図を準備しています 再読み込み
transpose が保つ 3 つの場合 None は Ok(None)、Some(Ok(v)) は Ok(Some(v))、Some(Err(e)) は Err(e) になります。
{"id":"rust-transpose-branches","title":"transpose が保つ 3 つの場合","summary":"None は Ok(None)、Some(Ok(v)) は Ok(Some(v))、Some(Err(e)) は Err(e) になります。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"presets\" role=\"group\" data-i18n-label=\"mode\"><button data-mode=\"missing\" data-i18n=\"missing\"></button><button data-mode=\"good\" data-i18n=\"good\"></button><button data-mode=\"bad\" data-i18n=\"bad\"></button></div><section class=\"panel\"><h3 data-i18n=\"before\"></h3><div id=\"before\"></div></section><div class=\"arrow\">↓ transpose</div><section class=\"panel\"><h3 data-i18n=\"after\"></h3><div id=\"after\"></div></section><section class=\"panel\"><h3 data-i18n=\"final\"></h3><div id=\"final\"></div></section><div class=\"copy\"><p id=\"explanation\" role=\"status\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"xmissing\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"xgood\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"xbad\"></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.panel>div{min-height:4em;font:15px/1.8 ui-monospace,monospace;overflow-wrap:anywhere}.arrow{text-align:center;color:var(--accent)}","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 mode='missing';function draw(){pressed(mode);let v={missing:['None','Ok(None)','8080'],good:['Some(Ok(3000))','Ok(Some(3000))','3000'],bad:['Some(Err(ParseIntError))','Err(ParseIntError)','return Err(...)']}[mode];['before','after','final'].forEach((k,i)=>set(k,v[i]));set('explanation',t('x'+mode));}document.querySelectorAll('[data-mode]').forEach(b=>b.onclick=()=>{mode=b.dataset.mode;draw()});draw();","audio":false,"strings":{"after":"transpose の後","bad":"\"oops\"","before":"map(parse) の後","final":"? の後に既定値を適用","good":"\"3000\"","heading":"transpose が保つ 3 つの場合","intro":"未指定、有効な数字、解析失敗を切り替え、コンテナの入れ替わりを見ます。","missing":"未指定","mode":"入力状態","reset":"リセット","scope":"u16 設定の未指定と解析を扱い、既定値は 8080 です。ポート 0 の業務方針は別途扱います。","scopeLabel":"モデルの範囲と前提","xbad":"? が明示的なエラーを返し、黙って既定ポートに置き換えません。","xgood":"値があり解析も成功したため、3000 を保持し未指定の分岐は実行しません。","xmissing":"未指定は正常です。? の後で None となり、既定値を使います。"}}
合成メソッドはどの分岐で実行されるか
メソッド Option Result
map Some 内の値を変換 Ok 内の値を変換
and_then Some の場合、Option を返す操作を実行 Ok の場合、Result を返す操作を実行
or_else None の場合、代替操作を試みる Err の場合、回復を試み、エラー値を利用可能
unwrap_or_else None の場合、デフォルト値を計算 Err の場合、エラーに基づいてデフォルト値を計算
map_err 適用不可 Err を変換し、Ok を保持
map のクロージャは通常の値を返しますが、and_then のクロージャは同じ種類のコンテナを返すため、不要なネストが形成されません。すべてのメソッドが「成功分岐のみを処理する」わけではありません。or_else は、欠落または失敗時に実行されます。
unwrap_or(expensive()) の引数は、すでに値がある場合でも呼び出し前に評価されます。unwrap_or_else(|| expensive()) は必要な場合にのみクロージャを実行します。デフォルト値は欠落またはエラー状態を飲み込んでしまうため、明示的な戦略であるべきであり、match を少しくらい書かないようにするための手段であってはなりません。Option
呼び出し回数から遅延評価を見る
use std:: cell:: Cell;
fn main ( ) {
let calls = Cell:: new( 0 ) ;
let fallback = | | { calls.set ( calls.get ( ) + 1 ) ; 8080 u16 } ;
let present = Some ( 9000 u16 ) ;
assert_eq! ( present.unwrap_or ( fallback ( ) ) , 9000 ) ;
assert_eq! ( calls.get ( ) , 1 ) ;
assert_eq! ( present.unwrap_or_else ( fallback) , 9000 ) ;
assert_eq! ( calls.get ( ) , 1 ) ;
assert_eq! ( None : : < u16 > .unwrap_or_else ( fallback) , 8080 ) ;
assert_eq! ( calls.get ( ) , 2 ) ;
}
この違いは ok_or と ok_or_else、or と or_else にも適用されます。代替分岐に割り当て、ログ出力、または設定の読み取りが含まれている場合、事前評価は作業の無駄となり、予期しない副作用を生む可能性があります。単純な定数のデフォルト値であれば、形式の統一のためにクロージャに変更する必要はありません。
? は現在の返却境界で早期終了する
Result<T, E> を返す通常の関数において、Result に対して ? を使用すると、Ok が取り出され、Err は適用可能な From 変換を経て早期返却されます。これは、回復戦略を一つずつ試すものではなく、エラーを自動的にログに記録するものでもありません。
Option を返す関数の場合、None は None として早期返却されます。Result を返す関数内で Option に対して直接 ? を使用することはできません。まず ok_or または ok_or_else を使用して「欠落がどのエラーに対応するか」を指定する必要があります。逆方向に .ok() を呼び出すと、エラーの原因が破棄されます。
? のより一般的な言語メカニズムは、残余値の伝播によって表現され、? をサポートするすべての型を Result の From 変換と理解してはいけません。日常的には、Result と Option の具体的なルールを理解していれば十分です。
早期返却は、現在のスコープ内で破棄が必要なローカル値を正常に解放しますが、送信済みのリクエスト、書き込まれたファイル内容、またはコミットされたトランザクションを元に戻すものではありません。アトミックな更新が必要な場合は、別途コミットプロトコルを設計する必要があります。
クロージャ内の ? はまずクロージャの呼び出し元に返る
use std:: num:: ParseIntError;
fn prepare ( input : & str ) -> Result< u32 , ParseIntError> {
let run = | | -> Result< u32 , ParseIntError> {
let value = input.parse:: < u32 > ( ) ? ;
Ok ( value)
} ;
let result = run ( ) ;
result.map ( | value | value.saturating_add ( 1 ) )
}
fn main ( ) {
assert_eq! ( prepare ( " 7" ) .unwrap ( ) , 8 ) ;
assert_eq! ( prepare ( " 4294967295" ) .unwrap ( ) , u32 :: MAX ) ;
assert! ( prepare ( " bad" ) .is_err ( ) ) ;
}
map のクロージャが Result を返す場合、外側にはさらに1層のコンテナが追加されます。本当に必要なのは「失敗する可能性のある結果を保存すること」か、and_then を使用して同種の失敗を連鎖させて伝播することかを確認してください。インデントだけを頼りに、? がどの関数またはクロージャを終了させるかを判断しないでください。
早期返却は既存のオブジェクトへの修正を元に戻さない
use std:: num:: ParseIntError;
fn append_incrementally ( target : & mut Vec< u32 > , input : & [& str ])
-> Result< ( ) , ParseIntError>
{
for text in input { target.push ( text.parse ( ) ? ) ; }
Ok ( ( ) )
}
fn append_after_validation ( target : & mut Vec< u32 > , input : & [& str ])
-> Result< ( ) , ParseIntError>
{
let parsed: Result< Vec< u32 > , _ > = input.iter ( ) .map ( | text | text.parse ( ) ) .collect ( ) ;
target.extend ( parsed? ) ;
Ok ( ( ) )
}
fn main ( ) {
let mut first = vec! [ 9 ] ;
assert! ( append_incrementally ( & mut first, & [ " 1" , " bad" ] ) .is_err ( ) ) ;
assert_eq! ( first, [ 9 , 1 ] ) ;
let mut second = vec! [ 9 ] ;
assert! ( append_after_validation ( & mut second, & [ " 1" , " bad" ] ) .is_err ( ) ) ;
assert_eq! ( second, [ 9 ] ) ;
append_after_validation ( & mut second, & [ " 1" , " 2" ] ) .unwrap ( ) ;
assert_eq! ( second, [ 9 , 1 , 2 ] ) ;
}
2番目の実装は、解析エラーが発生した場合に target を変更しないことを約束し、この動作のために追加の一時ストレージを使用します。これは汎用データベーストランザクションではなく、割り当て失敗やプロセスのクラッシュなどを回復可能なエラーに変換するものでもありません。関数のドキュメントには、「Result を返す」だけでなく、失敗後の状態を正確に記述すべきです。
コンテナの借用により、不要なムーブを避ける
多くの合成メソッドは self を値で取得します。後で元のコンテナを使用する必要がある場合は、as_ref を使用して Option<&T> または Result<&T, &E> を取得できます。Option::as_deref を使用すると Option<&str> が得られ、所有する文字列を読み取り専用パーサーに渡すのに適しています。
fn main ( ) {
let setting = Some ( String :: from( " 9000" ) ) ;
let borrowed: Option< & str > = setting.as_deref ( ) ;
assert_eq! ( borrowed, Some ( " 9000" ) ) ;
assert_eq! ( setting.as_ref ( ) .unwrap ( ) .len ( ) , 4 ) ;
assert_eq! ( setting.unwrap ( ) , " 9000" ) ; }
一括処理:失敗で停止するか、収集するか
fn main ( ) {
let values = [ " 1" , " bad" , " 3" ] ;
let parsed: Result< Vec< u32 > , _ > = values.iter ( ) .map ( | s | s.parse ( ) ) .collect ( ) ;
assert! ( parsed.is_err ( ) ) ;
}
collect::<Result<Vec<_>, _>>() は、最初の Err に遭遇するとショートサーキットし、収集済みの成功接頭辞は返しません。各行のエラーを表示する必要がある場合は、Result を個々に保存し、入力位置を記録する必要があります。filter_map(|s| s.parse().ok()) は失敗した項目をすべて直接破棄するため、「無効な入力が明確に無視可能である場合」にのみ適しています。
入力:1、bad、3 各項目の解析は成功または失敗する可能性がある Result<Vec<T>, E> 最初のエラーで停止 Vec<Result<T, E>> 各項目とその元の位置を保持 成功した項目のみを保持 失敗を捨てる方針が必要 同じバッチ入力に対する3つの異なる失敗戦略 戦略は出力のセマンティクスと作業量を変更する。collect がコンパイルされるようにと、無意識にエラーを飲み込まない こと。
行番号を保持して、失敗を入力者に返す
use std:: num:: ParseIntError;
fn main ( ) {
let input = [ " 1" , " bad" , " 70000" , " 3" ] ;
let results: Vec< ( usize , Result< u16 , ParseIntError> ) > = input.iter ( )
.enumerate ( ) .map ( | ( index , text ) | ( index + 1 , text.parse ( ) ) ) .collect ( ) ;
let errors: Vec< usize > = results.iter ( )
.filter_map ( | ( line , result ) | result.as_ref ( ) .err ( ) .map ( | _| * line) ) .collect ( ) ;
assert_eq! ( errors, [ 2 , 3 ] ) ;
assert_eq! ( results[ 0 ] .1. as_ref ( ) .unwrap ( ) , & 1 ) ;
assert_eq! ( results[ 3 ] .1. as_ref ( ) .unwrap ( ) , & 3 ) ;
}
この filter_map は、完全な結果をすでに保持した後にエラー行番号のリストを生成するだけであり、元のエラーを破棄することはありません。複数のフィールド検証を一度に表示する必要がある場合は、通常、独立したエラーを収集すべきです。ただし、フィールド B の検証がフィールド A の成功に依存している場合、デフォルト値を使用して誤解を招く連鎖エラーを生成しないようにする必要があります。
非常に大きな入力の場合、各項目の結果を保存するには追加のメモリが必要です。診断を逐次出力するか、エラー数を制限するか、またはサマリーと入力位置を保存することができます。最初のエラーで停止、完全なレポート、部分的な成功インポートは異なる製品動作であり、インターフェース層で明確な選択を行う必要があります。
main のエラー報告
main は Result<(), E> を返すことができます。ここで E は Debug を満たす必要があります。標準ライブラリの Termination 実装は、Err に対してデバッグ表現を出力し、失敗終了コードを返します。このインターフェースのクロスプラットフォーム契約を数値 1 と固定して記述しないでください。安定したユーザープロンプトと細分化された終了コードが必要な場合は、明示的な match を使用して ExitCode を返します。Termination
unwrap/expect はテストアサートまたは証明可能な不変条件に適しており、通常の外部入力エラーを一律に panic に変えるものではありません。E の設計方法、原因の保持、ビジネスコンテキストの追加については、Error trait とエコシステム を参照してください。