4.4.1 示例：ASCII 类型
01-示例：ASCII 类型 — Comprehensive Rust
4.4 定义自己的前置条件
定义自己的前置条件 — Comprehensive Rust
1分钟内可阅读完
译文 · 基于 Comprehensive Rust
原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/safety-preconditions/defining.html
4.4 定义自己的前置条件
- 用户自定义类型可以有自己的安全前置条件
- 应编写文档，以便后续能够确定并满足这些条件