VSCode+CodeGeeX 实现 Rust 所有权模型检查指南
要在 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），安装后重启 VSCode。同时验证 rustc 与 cargo 可用：终端执行 cargo --version，建议版本 ≥ 1.78.0。
完成 CodeGeeX 全工作区语义索引
所有权检查依赖跨文件的 borrow checker 级理解，单文件模式无效，必须完成工作区索引。操作分三步：
第一步：通过「文件 → 打开文件夹」加载完整 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 未就绪，需回溯前两步排查。