runtime-contracts

2 posts

deep-divesrustruntime-contractsperformance

Rust 的 Runtime Contracts 可以在 Release 构建中零开销，但编译器不会替你实现

Rust 会自动剥离 debug assertions，但真正的 design-by-contract 需要的远不止 debug_assert!。本文介绍如何在 Release 二进制文件中实现零成本的 runtime contracts，并让它们彻底消失。

Rust 可以在开发阶段强制执行 runtime contracts，并在 release 构建中将其完全抹除。前提是这门语言并没有把 contracts 当作一等公民。你会拿到所有积木，但得自己把它们拼起来。 是最显而易见的起点。它在 debug 构建中执行，在 release 构建中编译为空。这对简单的…
deep-divesruntime-contractsvalidationdesign-by-contract

你的验证层比业务逻辑还庞大

手动验证会让 codebase 膨胀不堪，却依然遗漏边界情况。下面介绍如何通过声明式 schemas 强制执行 runtime contracts，同时让它们不碍你的事。

每次 API 收到请求，你都要验证。每次函数收到来自外部系统的参数，你都要检查。如果手动完成这些工作，单个端点积累的验证代码就可能超过业务逻辑本身。 这是 runtime contracts 的隐性成本。你需要它们，因为 type system 会撒谎：通过 HTTP 传输的…