Rust 1日1問学習記録

🟡 Phase 3 — 上級者（並行処理・unsafe・マクロ・パフォーマンスチューニング）

Day 029 –

2026-10-16

Day 076 — nested_fsm! を別クレートに移したら「行の入れ替え」の警告が消えた：同じクレートでは unreachable pattern 1 件、別クレートでは #![deny]・-D warnings・clippy でも 0 件（rustc は外部マクロ内の lint を捨てる、例外は組み込み 154 個中 7 個）／左辺を $sp:path に絞ると誤字の束縛が E0531 で止まり、tt で受けて生成 fn に #[deny] を付けると 8 通りの誤りのうちビルドが通るのは 3 → 2 → 1 件／cargo fix は誤字を _Ringng にして警告だけ消す——左辺の受け方（ADR-076）

デバッグ・コードレビュー Phase 3 上級者マクロ①

2026-10-15

Day 075 — 入れ子の状態（Alarm ⊃ 鳴動中／消音中）を 4 つの書き方で設計比較：平らな fsm!・中身つき nested_fsm!・statig 0.4.1 の #[superstate]・表の解釈器は 9,331 本×2 の全数比較で食い違い 0／11 通りの誤りのうち 6 件はビルドが通り（4 件は警告 0）、等価性テストだけが 204〜2,078 本の不一致で止めた／exit を書く場所は平ら・中身つきで 2→3、statig・表で 1→1／statig は依存 9・クリーンビルド 2.8 s 対 0.27 s、引数名 event 以外は状態の中身になる罠——入れ子の扱い（ADR-075）

設計・アーキテクチャ Phase 3 上級者マクロ①

2026-10-14

Day 074 — 衛生性の 3 種類を同じ 7 ケースで比べる：macro_rules!（mixed site）と proc-macro の Span::mixed_site() は 7/7 で結果も行:列も一致、Span::call_site() は 7/7 で名前が通り、捕獲の事故では利用者の n = 1 が黙ってマクロの n = 100 に置き換わる（200・警告 0 件）／self はローカル変数扱い（E0424）／def_site は stable で E0658——proc-macro 版 fsm! の span 割り当て（ADR-074）

概念理解 Phase 3 上級者マクロ①

2026-10-13

Day 073 — ガード（if $g:expr）の誤りの位置を //~ ERROR 注釈で固定する：13 通りの誤りは 13 件とも表の行（12 行目）を指す（1.99・1.85）／依存 0 の手製ハーネス（146 行）が ($g) == true への退行で 4 件が fsm! {（5:1）に戻るのを [position] で止め、無害な書き換えは通す——trybuild は無害な書き換えでも 3 件 mismatch、1.11〜1.22 s 対 0.62〜0.68 s

実装 Phase 3 上級者マクロ①

2026-10-12

Day 072 — const 評価の境界と「位置を運べるもの」：16 個の候補で 9 書ける／7 書けない（for・format!・iter().max() は E0015、while と panic!("{}", &str) は可）／行ごとの const _ でも E0080 は fsm! { の 5:1 のまま——max 4 を _ _ _ _ に変えマッチで数えると 5 個目のアクション（13:128）を指し、Day 071 の例外表が空に

概念理解 Phase 3 上級者マクロ①

2026-10-11

Day 071 — エラーの位置を trybuild で固定する：10 種の UI テスト（E9 の $to 誤りは表の行、E10 の max 超えはマクロ呼び出し全体）／Day 069 の形への退行で照合は 8 件不一致・本物は 4 件／TRYBUILD=overwrite は退行を通す／rustc 1.85 では 8/10 が文言だけ不一致——スナップショットの「最初の -->」を検査する ui_position で退行 4 件＋help 1 件だけを止める

実装 Phase 3 上級者マクロ①

2026-10-10

Day 070 — 「E0061 を表の行に向ける」PR をレビューする：Day 069 の形は 6 種中 4 種がマクロ定義を指す／$args:tt は local ambiguity／$a:expr＋グロブは同名 Lock で E0659／単独 import は悪化——形を __count で検査し expr として取り込み直す形で 7 種すべて表の行へ（300 行で check +58 ms）

デバッグ・コードレビュー Phase 3 上級者マクロ①

2026-10-09

Day 069 — SmallVec の容量を誰が数えるか：4個目のアクションで spill を確保回数で捕まえ、マクロが数える MAX_ACTIONS と宣言する max N を実装して併用・容量3のままだと 720 通り中 4 通りで確保1回／宣言超えは E0080 が行を名指し／数えた容量 33 で E0277

実装 Phase 3 上級者マクロ①

2026-10-08

Day 068 — 値を持つアクション（監査ログ）の入れ物を設計する：遅延束縛・Vec・SmallVec・コールバックを S8〜S12 で比較し ADR-068・Vec は 1,000万ステップで確保 9,999,999 回／SmallVec とコールバックは 0 回・遅延束縛は監査値が 1 と 0 に割れる・コールバックで文脈を直接書くと E0500

設計・アーキテクチャ Phase 3 上級者マクロ①

2026-10-07

Day 067 — 実在クレートのマクロを読む：bitflags・rust-fsm・statig を ADR-063 と「アクションをどこに置くか」で照合・扉を rust-fsm の形に移すと状態 4→6／入力 5→7 で RecordFailure が消える・bitflags_match! の腕の return は関数から抜けない（early(R)=100）

概念理解 Phase 3 上級者マクロ①

2026-10-06

Day 066 — fsm! に「アクションを返す遷移」を実装する：ガードから Cell を外して S1〜S10 通過・&'static [Act] は Vec 版の約10倍速い・E0594 の help: はマクロを &mut に戻す（穴を開け直す）提案

実装 Phase 3 上級者マクロ①

2026-10-05

Day 065 — fsm! を使う側から壊すコードレビュー：5つの不具合のうちコンパイラが止めたのは1.5個・help: どおりに直すと3回ビルドして None で panic・副作用ガードで2回目に警報・重なる | でガード2回（clippy は黙る）

デバッグ・コードレビュー Phase 3 上級者マクロ①

2026-10-04

Day 064 — fsm! にガード付き遷移を実装し、if let ガードを通す4案を実測で比べる：評価回数0/2/1・muncher は既定で25行が上限（256で50行）・定義時に落ちる案と曖昧エラーの案

実装 Phase 3 上級者マクロ①

2026-10-03

Day 063 — 「マクロにするか、関数・型にするか」6候補を実測で仕分ける：二重評価（i=4・結果12）・評価回数1/0/0・20,000か所で2.47秒対2.60秒（差は測れない）

設計・アーキテクチャ Phase 3 上級者マクロ①

2026-10-01（バックフィル）

Day 062 — 「要素数を数える count!」4案を測って決める：再帰の上限（127個）・N=10,000で19秒対0.27秒・空入力で落ちる案・カンマの罠

設計・アーキテクチャ Phase 3 上級者マクロ①

2026-09-30（バックフィル）

Day 061 — テストが通る str_enum! を「使う側」から壊す：末尾カンマ・doc コメント・重複文字列・定数パスの8通りを予想し、先輩の思い込みを実測で確かめる

デバッグ・コードレビュー Phase 3 上級者マクロ①

2026-09-29（バックフィル）

Day 060 — 「どこから見えるか」を予想する：テキスト順序・#[macro_use]・#[macro_export]・$crate（8問の予想と、改名しても壊れない公開マクロ）

概念理解 Phase 3 上級者マクロ①

2026-10-02

Day 059 — tt マンチャと内部規則で状態遷移表の DSL を読む fsm! を書く：pat・literal と、typo が警告で通る罠（再帰は126行で壊れる）

実装 Phase 3 上級者マクロ①

2026-09-28

Day 058 — テストが全部通る共通マクロの PR をレビューする：評価回数・絶対パス・follow-set・0要素・再帰上限・項目の衝突の6欠陥と1つのおとり

デバッグ・コードレビュー Phase 3 上級者マクロ①

2026-09-27

Day 057 — hashmap! と count! を実装する：ty・ident・vis・meta と「数え方」の選択（再帰は127要素で壊れる）

実装 Phase 3 上級者マクロ①

2026-09-26

Day 056 — macro_rules! の展開結果を予想する：フラグメント・衛生性・評価回数・edition 2024

概念理解 Phase 3 上級者マクロ①

2026-09-25

Day 055 — C の qsort_r と pthread_create に Rust のクロージャを渡す：userdata・panic・所有権の往復

実装

2026-09-24

Day 054 — C の strdup が返した文字列の所有権を型で表す：6件のバグをレビューで見つけて直す

デバッグ・コードレビュー

2026-09-23

Day 053 — C標準ライブラリ（strlen・div・qsort）を、呼ぶ側が絶対にUBを起こせない安全なRust APIで包む

実装

2026-09-18

Day 052 — unsafe fnの契約を「# Safety」として明文化し、precondition と safety invariant を区別する

概念理解

2026-09-17

Day 051 — 生ポインタの「生成は安全・デリファレンスだけが危険」という非対称性を理解する

概念理解

2026-09-16

Day 050 — enumの1バリアントにBox<dyn Trait>を埋め込み、閉じた集合と開いた集合を1つの型で使い分ける

設計・アーキテクチャ

2026-09-15

Day 049 — trait_variantマクロはSend境界の手間だけを消す。dyn互換性は依然として獲得できないと概念で見抜く

概念理解

2026-09-14

Day 048 — トレイトにSend + Syncを付けても、async fnが返すFutureまでSendにはならない。tokio::spawnの「future cannot be sent between threads safely」を2段階で直す

デバッグ・コードレビュー

2026-09-13

Day 047 — Boxのヒープ確保コストは推測ではなく実測する。enum静的ディスパッチ vs async-trait動的ディスパッチ

実装

2026-09-12

Day 046 — asyncメソッドを持つトレイトは、なぜそのままではdyn互換にならないのか。async-traitクレートでトレイトオブジェクトとして束ねる

実装

2026-09-11

Day 045 — JoinHandleをdropしてもタスクは止まらない。JoinSetのDropだけがタスク群を能動的にabortする

概念理解

2026-09-10

Day 044 — watchチャンネルでgraceful shutdownを実装する。select!の片方の腕が「二度と来ない」と分かった後も待ち続けるとビジーループになる

実装

2026-09-09

Day 043 — mpsc Senderをforループでcloneし忘れると2周目で移動エラー。cloneしても余分なクローンを持ち続けると受信側は永遠に終わらない

デバッグ・コードレビュー

2026-09-08

Day 042 — Semaphore × JoinSetで最大並行度を制御する。「動的な数のタスク」と「同時に何本まで」は別の設計軸

設計・アーキテクチャ

2026-09-07

Day 041 — JoinSetで動的な数のタスクを束ねる。個々の失敗が全体を巻き込まない終わり方を設計する

実装

2026-09-06

Day 040 — select!が「dropする」のはどこからどこまでか。キャンセル安全性を条件式と後続ブロックの境界で見極める

概念理解

2026-09-05

Day 039 — MutexGuardを.awaitをまたいで持つと、なぜtokio::spawnがコンパイルできなくなるのか

デバッグ・コードレビュー

2026-09-04

Day 038 — spawn・join!・select!。同じ「並行実行」でも独立性・パニック伝播・キャンセルが違う

実装

2026-09-03

Day 037 — Futureを手書きする。Wakerを保存し忘れるとタスクは永遠にハングする

実装

2026-09-02

Day 036 — Futureは「怠惰」な値。async fn内の同期ブロッキングは全タスクを止める

概念理解

2026-09-01

Day 035 — 生ポインタは自動的に!Send。unsafe implで安全性を「証明」する

実装

2026-08-31

Day 034 — Rc/ArcやCell/Mutexの違いは、Send/Syncという型のプロパティに現れる

概念理解

2026-08-30

Day 033 — 2つのチャンネルを順番に待つと片方が飢餓状態になるバグを直す

デバッグ・コードレビュー

2026-08-29

Day 032 — チャンネル（mpsc）によるワーカープールとバックプレッシャー設計

実装

2026-08-28

Day 031 — Arc<Mutex<T>>による共有状態管理（デッドロックを起こさないロック順序設計）

実装

2026-08-27

Day 030 — std::threadによる並行処理基礎（Rc/RefCellがなぜSendでないか）

デバッグ・コードレビュー

2026-08-26

Day 029 — std::threadによる並行処理基礎

実装

🔵 Phase 2 — ライフタイム・トレイト・ジェネリクス・スマートポインタ

Day 009 –

2026-08-25

Day 028 — カスタムイテレータの実装（イテレータを返す関数の設計: impl Trait vs Box<dyn Iterator>）

設計・アーキテクチャ

2026-08-24

Day 027 — カスタムイテレータの実装（DoubleEndedIterator — 前後両方向からの走査）

実装

2026-08-23

Day 026 — カスタムイテレータの実装（自作 StepBy イテレータの off-by-one バグを発見・修正する）

デバッグ・コードレビュー

2026-08-22

Day 025 — カスタムイテレータの実装（FromIterator と Extend — collect()/extend() を自作型に実装する）

実装

2026-08-21

Day 024 — カスタムイテレータの実装（IntoIterator と3種類の反復方式: into_iter/iter/iter_mut）

概念理解→実装

2026-08-20

Day 023 — カスタムイテレータの実装（DoubleEndedIterator と ExactSizeIterator の実装）

実装

2026-08-19

Day 022 — カスタムイテレータの実装（&mut を返すイテレータと借用チェッカーの壁）

デバッグ・コードレビュー

2026-08-18

Day 021 — カスタムイテレータの実装（実装すべきトレイトの選定とAPI設計判断）

設計・アーキテクチャ

2026-08-17

Day 020 — カスタムイテレータの実装（自作アダプタ型と拡張トレイトパターン）

実装

2026-08-16

Day 019 — カスタムイテレータの実装（デフォルトメソッドとFusedIterator）

概念理解

2026-08-15

Day 018 — カスタムイテレータの実装（境界バグ）

デバッグ・コードレビュー

2026-08-14

Day 017 — カスタムイテレータの実装

実装

2026-08-13

Day 016 — Iteratorトレイトとイテレータアダプタ

実装

2026-08-12

Day 015 — Deref/DerefMutトレイト

概念理解→実装

2026-08-11

Day 014 — 演算子オーバーロード（std::ops）

デバッグ・コードレビュー

2026-08-10

Day 013 — デフォルト実装とトレイトオブジェクト

実装

2026-08-09

Day 012 — トレイト境界とwhere句

実装

2026-08-08

Day 011 — ライフタイム省略規則

デバッグ・コードレビュー

2026-08-07

Day 010 — ライフタイム省略規則

概念理解

2026-08-06

Day 009 — ライフタイムの基礎

概念理解→実装

🟢 Phase 1 — 所有権・借用・基礎文法・enum/パターンマッチ

Day 001 –

2026-08-05

Day 008 — 借用と参照（& と &mut）

デバッグ・コードレビュー

2026-08-04

Day 007 — 借用と参照（& と &mut）

概念理解→実装

2026-08-03

Day 006 — 所有権の基礎（ムーブセマンティクス）

概念理解→実装

2026-08-02

Day 005 — 所有権の基礎（ムーブセマンティクス）

実装

2026-08-01

Day 004 — 所有権の基礎（ムーブセマンティクス）

デバッグ・コードレビュー

2026-07-31

Day 003 — 所有権の基礎（ムーブセマンティクス）

概念理解

2026-07-30

Day 002 — 基本型とデータ型

実装

2026-07-29

Day 001 — 変数・可変性・シャドーイング

概念理解→実装