百科.dev
全部条目在线工具AI 编程趋势榜开源项目技术资讯提交条目
登录
< 返回工具列表
P

polonius

> 编程语言
开源

定义 Rust 借用检查器。

1.7K stars0 点赞0 次浏览
访问官网GitHub

工具介绍

定义 Rust 借用检查器。

这是一个核心库,用于模拟借用检查。它实现了本 博客文章 和本 [演讲] 中描述的分析。详细信息参见 Polonius 书。### 为什么叫 "Polonius"?

这个名字来自于著名的名言 "借者无明,还者无义",它来自莎士比亚的《哈姆雷特》中 Polonius 这个角色。### 想要运行代码吗?

您还可以尝试使用 -a Naive 来获取朴素规则(更易于阅读,速度较慢) - 这些是 博客文章 中描述的精确规则。您还可以使用 -a LocationInsensitive 来使用位置不敏感的分析(速度更快,但可能会产生虚假错误)。默认情况下,cargo run 仅打印时间。如果您还想查看结果,请尝试使用 --show-tuples(将显示错误)以及可能的 -v(显示更多中间计算结果)。您可以提供 --help 以获取更多文档。

或者,使用 #![feature(nll)] 标记生成一个框的输入事实:

Issues· 0 开放

查看全部 Issues在 GitHub 打开

暂无开放 Issues,或尚未同步最近议题。

> 标签

Rust

暂无评论,来聊聊你的看法吧

> 工具信息

发布日期2026年8月1日
最后更新2026年9月17日
分类编程语言
定价开源

> 相关工具

T
TypeScript
JavaScript 的超集,为前端与全栈提供静态类型
P
Python
通用编程语言,广泛用于 Web、数据与 AI
G
Go
Google 推出的简洁高效系统语言