1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
    let mut x = 10;

    let p1: *mut i32 = &raw mut x;
    let p2 = p1 as *const i32;

    // SAFETY: p1 与 p2 通过对局部变量取裸指针得到，因此保证非空、对齐，
    // 并且指向同一个（栈上）已分配对象。
    //
    // 裸指针所指向的对象在整个函数期间都存活，因此在裸指针仍存在时不会被释放。
    // 存在裸指针期间不会通过引用访问该对象，也不会从其他线程并发访问。
    unsafe {
        dbg!(*p1);
        *p1 = 6;
        // 通过裸指针观察突变在语义上是合理的，就像在 C 中一样。
        dbg!(*p2);
    }

    // 不健全（UNSOUND）。不要这样做。
    /*
    let r: &i32 = unsafe { &*p1 };
    dbg!(r);
    x = 50;
    dbg!(r); // 引用所指向的对象已被修改。这是未定义行为（UB）。
    */
}