引用与借用 - Flurry语言手册

引用与“借用”

Flurry 的所有权系统确保了每个值都有一个唯一的所有者，这对于资源管理至关重要。然而，在实际编程中，我们经常需要在不转移所有权的情况下访问或使用数据。例如，我们可能想让多个函数读取同一个配置对象，或者将一个大数据结构的片段传递给一个处理函数。为了满足这些需求，Flurry 提供了引用 (References)。

与所有权直接控制值本身不同，引用允许我们创建一个指向值的间接访问途径。在 Flurry 中，主要的引用类型是指针 (*T) 和切片 (Slice<T>)。

指针 (`*T`)

指针是内存地址的直接表示，它“指向”内存中某个特定类型 T 的值所在的位置。

类型: *T 表示一个指向类型 T 的值的指针。Flurry 不在类型层面显式区分可变与不可变指针（即没有类似 Rust 的 &T vs &mut T）。一个 *T 是否允许修改其指向的数据，可能取决于指针的来源、上下文（如函数参数是否允许修改）或是否在 unsafe 块内。（TODO: 明确指针的可变性规则和保证机制）

获取指针: 可以使用后缀 .ref 操作符来获取一个值的指针。

let data = MyData { ... }
let data_ptr: *MyData = data.ref; -- 获取 data 的指针

解引用: 可以使用后缀 .* 操作符来访问指针指向的值。

let value_copy = data_ptr.*; -- 解引用，获取 data 的一个副本（如果 MyData 是 Copy）
                           -- 或者可能获取对 data 内部字段的访问权
-- (解引用的具体语义，特别是对于非 Copy 类型，需要进一步明确)

-- 访问字段或调用方法通常通过指针自动解引用（如果语言支持）或显式解引用
-- println(data_ptr.some_field);  -- 类似 C/Zig 的隐式解引用？
-- println((data_ptr.*).some_field); -- 或者需要显式解引用？
-- data_ptr.some_method();       -- 方法调用是否自动解引用？

TODO: 明确指针访问成员和调用方法的具体语法和解引用规则。

安全性: 直接操作原始指针（进行算术运算、类型转换等）通常被认为是 unsafe 操作。然而，Flurry 的目标是利用其可达性类型系统和副作用系统来保证即使是传递和使用指针（由 .ref 创建，并在 safe 代码中传递）也是安全的，主要是防止悬垂指针（即指针指向的内存不再有效或已被释放）。

切片 (`Slice<T>`)

切片提供了一种指向内存中连续序列（如数组、向量或字符串的一部分）的视图。切片本身通常不拥有数据，而是“借用”了底层数据的一部分。

类型: Slice<T> 表示一个包含 T 类型元素的连续序列的引用。
构成: 一个切片通常包含两部分信息：一个指向序列起始元素的指针，以及序列的长度。

创建: 可以从数组、向量或其他支持切片操作的数据结构创建切片。

let array = [1, 2, 3, 4, 5];
let full_slice: Slice<i32> = array.slice(..); -- 获取整个数组的切片
let partial_slice = array.slice(1..4); -- 获取索引 1 到 3 (不含 4) 的切片

TODO: 确认切片创建的具体语法。

用途: 切片非常适合用于处理数据缓冲区、字符串视图等，它允许函数操作数据的子集而无需复制或转移整个数据结构的所有权。
安全性: 与指针类似，切片的有效性（确保它指向的底层数据在切片存续期间保持有效）也依赖于 Flurry 的可达性类型系统和副作用系统的保证。

"借用" 的概念

虽然 Flurry 可能没有像 Rust 那样严格且形式化的“借用检查器 (Borrow Checker)”术语和规则集，但引用的核心目的仍然是实现临时、非拥有式的数据访问，这在概念上就是一种**“借用”**。

不转移所有权: 当你通过 .ref 获取指针或创建切片时，原始数据的所有权不会发生转移。原始所有者仍然负责数据的生命周期和最终的清理。
生命周期依赖: 引用的有效性依赖于其指向的数据的生命周期。引用不能比它所指向的数据活得更长。这是 Flurry 的可达性分析和副作用系统需要强制执行的关键保证。

示例对比:

fn consume_data(data: MyData) { -- 接受所有权
    -- data 在此被消耗或在函数结束时 drop
}

fn use_data_ref(data_ref: *MyData) { -- "借用" 数据
    -- 通过 data_ref 访问数据，但不拥有它
    let field_value = data_ref.*.some_field; -- 假设需要显式解引用
    -- ...
} -- data_ref 指针本身离开作用域，但不影响原始 data

fn main() {
    let my_data = MyData { ... }

    let data_ptr = my_data.ref; -- 创建引用（借用）
    use_data_ref(data_ptr);    -- 传递引用
    use_data_ref(my_data.ref); -- 再次创建并传递引用 (OK)

    consume_data(my_data);    -- 转移所有权
    -- use_data_ref(data_ptr);    -- 编译错误！data_ptr 现在是悬垂指针，指向的数据已被移动
                               -- (Flurry 的安全系统需要能捕捉到这个)
}

引用（指针和切片）是 Flurry 中实现数据共享和非拥有式访问的关键机制。通过 .ref 获取指针，通过切片语法获取序列视图，可以在不干扰所有权的情况下传递和使用数据。Flurry 不依赖显式的 mut 区分可变/不可变引用类型，而是计划通过其独特的可达性类型系统和副作用系统来保证引用的有效性（防止悬垂引用），从而在提供灵活性的同时确保内存安全。理解引用的“借用”本质及其与所有权的区别，对于编写正确的 Flurry 程序至关重要。

Flurry语言手册