4.1.1 Getter 示例

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

译文 · 基于 Comprehensive Rust

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

4.1.1 Getter 示例

1
2
3
4
5
6


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
/// 返回 `arr` 中 `index` 位置的元素
unsafe fn get(arr: *const i32, index: usize) -> i32 {
 unsafe { *arr.add(index) }
}

「安全前置条件是指代码上必须满足的条件，以维持 Rust 的安全保证。

4.1 常见前置条件 on 编程那些事儿

4.1.1 Getter 示例

4.1.1 Getter 示例