VSCode + CodeGeeX 实现 Rust 所有权模型检查指南
在VSCode环境下，利用CodeGeeX检测Rust所有权违规——如悬垂引用、双重借用或未移动值的重复使用——关键在于激活其上下文感知能力，触发语义级代码分析，而非仅依赖基础补全模式。
配置 Rust 工具链与插件协作环境
首要任务是启用 rust-analyzer，并确保 CodeGeeX 与之无冲突。验证方式：打开一个 .rs 文件，观察右下角状态栏，应显示 “Rust Analyzer” 正常运行。若出现红色波浪线而 rust-analyzer 无响应，则 CodeGeeX 的所有权检查将失效——关键前提：rust-analyzer 必须优先于 CodeGeeX 启动，并完成项目索引。
安装 rust-analyzer 插件（非 CodeGeeX 内置）：在扩展商店搜索 “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 未就绪，需回溯前两步重新排查。