4.4.1 示例：ASCII 类型

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/safety-preconditions/ascii.html

4.4.1 示例：ASCII 类型

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
/// 保证以 7 位 ASCII 编码的文本。
pub struct Ascii<'a>(&'a mut [u8]);

impl<'a> Ascii<'a> {
 pub fn new(bytes: &'a mut [u8]) -> Option<Self> {
 bytes.iter().all(|&b| b.is_ascii()).then(|| Ascii(bytes))
 }

 /// 从不检查 ASCII 有效性的字节切片创建新的 `Ascii`。
 ///
 /// # 安全
 ///
 /// 提供非 ASCII 字节会导致未定义行为。
 pub unsafe fn new_unchecked(bytes: &'a mut [u8]) -> Self {
 Ascii(bytes)
 }
}

「Ascii 类型是对字节切片的极简包装。内部表示相同。但 Ascii 要求最高位不能置位。」

4.4 定义自己的前置条件 on 编程那些事儿

4.4.1 示例：ASCII 类型

4.4.1 示例：ASCII 类型