runtime-contracts

2 posts

deep-divesrustruntime-contractsperformance

Rust Runtime Contracts 在 Release Build 中可以零成本，但編譯器不會幫你做到

Rust 會自動剝除 debug assertions，但真正的 design-by-contract 需要的遠不止 debug_assert!。以下說明如何建立零成本的 runtime contracts，讓它們從你的 release binary 中完全消失。

Rust 可以在開發階段強制執行 runtime contracts，並在 release build 中將它們完全抹除。但書在於，這門語言並未將 contracts 視為 first-class concept。你拿到了積木，但得自己動手組裝。 是最顯而易見的起點。它在 debug build 中執行，在…
deep-divesruntime-contractsvalidationdesign-by-contract

你的驗證層比業務邏輯還龐大

手動驗證讓 codebase 膨脹，卻還是漏掉邊界情況。以下說明如何透過宣告式 schema 來 enforce runtime contracts，讓它們不干擾你的開發流程。

每次你的 API 收到請求，你就會驗證它。每次函式收到來自外部系統的參數，你就會檢查它。如果用手動方式處理，單一 endpoint 累積的驗證程式碼可能比業務邏輯還多。 這就是 runtime contracts 的隱藏代價。你需要它們，因為 type system 會說謊：透過 HTTP 傳來的…