在 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 未就绪，需回到前两步重新检查。