在 VSCode 中借助 CodeGeeX 识别 Rust 的所有权违规（例如悬垂引用、双重借用、移动后重复使用），核心在于激活其上下文感知能力并触发语义级代码分析，仅依赖基础补全远远不够。实际操作时，需要按以下步骤配合才能充分发挥效果。

首先确保 rust-analyzer 正常运行并完成项目索引；然后使用 @workspace 触发全项目语义索引，注意排除 target 等干扰目录；最后利用 Alt+T /explain ownership 等指令主动诊断问题。整个过程并不复杂，但每一步都不可或缺。

确保 Rust 环境与插件协同就绪

第一步，确认 rust-analyzer 已启用，且 CodeGeeX 不会与其冲突。打开任意 .rs 文件，观察右下角状态栏——若显示 "Rust Analyzer" 正常运转则说明无误。如果红色波浪线出现但 rust-analyzer 无响应，那么 CodeGeeX 的所有权检查几乎失效。这里有个要点：rust-analyzer 必须优先于 CodeGeeX 启动，并完成项目索引，启动顺序直接影响效果。

若尚未安装 rust-analyzer，可在扩展商店（Ctrl+Shift+X）搜索 "rust-analyzer"，点击安装后重启 VSCode。同时验证 rustc 和 cargo 是否可用：在终端运行 cargo --version，版本建议在 1.78.0 及以上。

完成 CodeGeeX 全项目语义索引

所有权检查需要跨文件的 borrow checker 级别理解，因此必须完成 workspace 索引。单文件模式无法胜任此项任务。

具体分三步操作：

第一步：通过 "文件 → 打开文件夹" 加载完整的 Rust 项目根目录（确认目录中包含 Cargo.toml），切勿仅打开单个 .rs 文件。第二步：点击左侧活动栏的 CodeGeeX 图标，在弹出对话框输入 @workspace 并回车。第三步：首次索引会弹出授权窗口，点击 "同意"；等待右下角进度条消失，侧边栏顶部显示 "已索引" 及项目路径——索引即告完成。

若索引完成后仍无所有权提示，可在资源管理器中右键点击项目根文件夹，选择 "CodeGeeX: Re-index Workspace"，待状态栏提示 "Re-indexing… Done" 即可。

触发所有权问题主动诊断

CodeGeeX 不会自动高亮所有权错误，需要手动调用指令。提供三种常用方法：

方法一：选中疑似有问题的代码段（例如同时包含 &mut s 与 let t = s 的行），按 Alt+T，输入模板指令 /explain ownership，回车。

方法二：将光标停在变量声明行（如 let data = vec![1, 2, 3];），按 Ctrl+Enter，在右侧候选区点击 "Ownership Flow" 卡片，即可查看该值在作用域内的转移和借用路径图。

方法三：在空行输入 // @check ownership，按 Tab 触发补全。CodeGeeX 会扫描当前函数内所有变量的生命周期，并在问题行下方插入注释说明——例如 // ❌ move occurs because `s` has type `String`, which does not implement `Copy`。

配置索引范围避免误判

Rust 项目中通常包含 target/、target/debug/ 等生成目录。若这些目录也被索引，会污染所有权模型，导致误判。因此需要提前配置排除项：

打开设置（Ctrl+,），搜索 "codegeex indexing exclude"，在 "CodeGeeX: Indexing Exclude Pattern" 中填入：**/target/**,**/Cargo.lock,**/out/**。注意：修改后必须重启 VSCode，新规则才能生效。可以这样理解：未排除 target 目录时，CodeGeeX 很可能将编译中间产物误当作所有权转移源，从而引发大量误报。

验证所有权检查结果

最后，用一段典型违规代码测试整个流程是否通畅。新建 test.rs 文件，粘贴以下代码：

fn main() {

let s1 = String::from("hello");

let s2 = s1;

println!("{}", s1); // 这里应被标记为 use after move

}

选中 println!("{}", s1); 行，按 Alt+T，输入 /explain。观察返回内容是否包含 "value borrowed here after move" 之类的描述。若返回的仅是语法解释而无所有权分析，说明索引未完成或 rust-analyzer 未就绪，需回溯前两步重新排查。