發表文章

精選文章

[Rust] 併發程式設計全景指南

-
Rust 併發程式設計：模組化指南 一、 全景知識心智圖 Rust Concurrency (併發程式設計全景) ├── 1. 核心底層 (Foundations) │ ├── Trait 標記 : Send (所有權可跨執行緒轉移) / Sync (不可變參考可跨執行緒共享) │ └── 生命週期 : 'static (thread::spawn 要求完整所有權 move 或 static 變數) │ ├── 2. 模式 A：純訊息傳遞 (Channel / CSP) │ ├── 核心組件 : std::sync::mpsc (Multi-Producer, Single-Consumer) │ ├── 生產者 (tx) : tx.clone() 多端發送 | drop(tx) 顯式關閉管道 │ └── 消費者 (rx) : rx.recv() 三態機制 (Ok 運算 | 佇列空 0% CPU 休眠 | drop(tx) 退出) │ ├── 3. 模式 B：純共享記憶體 (Shared Memory / Mutex) │ ├── 核心組件 : Arc<Mutex<T>> (原子引用計數 + 互斥鎖) │ └── 黃金七特徵 : Arc → Mutex → Arc::clone → thread::spawn → move → lock().unwrap() → RAII Drop │ └── 4. 生態系高階替換 (Ecosystem vs C#) ├── Concurrent Collection : DashMap (分段鎖，對標 C# ConcurrentDictionary) ├── Parallel Computing : Rayon (.par_iter()，對標 C# PLINQ) └── High-Perf Cache : Moka (帶 TTL/LRU Cache，對標 C# MemoryCache) ...
張貼留言
Read more »

[Rust] Trait 設計模式元素拆解與組合規則

-
文章目錄 01 設計的三個維度 02 選型決策樹 03 方案比較 04 派發與所有權 05 契約與組合 06 API 與呼叫語意 07 設計落地與檢核 08 官方參考資料 跳到 11 個完整範例 01 泛型與 impl Trait 02 dyn Trait 03 enum 與 match 04 借用與生命週期 05 關聯型別 06 關聯函式 07 關聯常數 08 Supertraits 與預設方法 09 From / TryFrom 10 運算子多載 11 完全限定語法 01 / MENTAL MODEL 先分開三個設計維度 Trait 定義可被實作的契約。泛型、trait object、關聯型別與轉換 trait 解決的是不同問題；它們可以組合，不是 11 個互斥選項。若只有一種實作，也沒有替換或測試隔離需求，先使用具體型別與 inherent impl 即可。 ① 行為如何選擇？ T: Trait 保留具體型別； dyn Trait 擦除具體型別； enum + match 在已知變體間選擇行為。 ② 資料由誰持有？ T 持有值、 &T 借用值、 Box<T> 持有配置於堆積的值。所有權與派發方式分開決定。 ③ 介面承諾什麼？ 用關聯型別描述輸出、用 supertraits 表達能力需求，再用建構、轉換與運算子設計呼叫語意。 效能用具體成本描述。 靜態派發不需要 trait object 的虛擬呼叫，但不代表函式內部沒有配置、複製或運算。動態派發可能限制內聯，最佳化器也可能消除間接呼叫；不要保證固定指令數或宣稱某方案永遠較快。 機制依據： 泛型與單態化 、 Trait objects 。 02 / DECISION TREES 先選派發，再選所有權 執行時才知道要使用哪個值，不等於一...
張貼留言
Read more »