Tags: #零成本抽象

用 Rust 类型系统构建零成本的编译时安全状态机