Skip to content

README_zh.md

Latest commit

 

History

History
178 lines (135 loc) · 12 KB

README_zh.md

File metadata and controls

178 lines (135 loc) · 12 KB
Raw

RustSharp 标志

RustSharp

面向 .NET 的 Rust 兼容语言工具链。

English | 简体中文

Windows x64 P0 证据 Linux x64 Native AOT .NET SDK 10.0.400

🚧 进行中： RustSharp 仍处于实验阶段。兼容性由具名配置档定义，而不是宣称完整支持 Rust。超出配置档范围的源码会给出诊断，不会被静默赋予 C# 或 CLR 语义。

RustSharp 使用 C# 和 .NET 10 实现，目标是一个刻意限定范围的 Rust 1.98 / Edition 2024 语言实现。rsc 编译器读取 .rs 源文件及受支持的 Cargo.toml 包输入子集，生成 ECMA-335 程序集和 Portable PDB 文件；在已覆盖的配置档中，它可以在 CoreCLR 上运行，也可以通过 .NET Native AOT 发布。

当前可用范围

范围 当前支持
vertical-slice-v1 默认配置档：fn main() 加字面量 println! 语句。
safe-core-primitives-v1 可选配置档：有界文件模块和本地 path 包、非泛型函数、i32 / bool、已初始化的可变局部变量、if / else、返回、受检查算术、比较、布尔运算符和 println!。
safe-core-types-v1 可选的仅检查类型配置档：基础数值类型、元组、数组、切片、引用、函数指针、非泛型 ADT、别名、模式/match、闭包、有界 const 求值、推断和有方向的强制转换。不检查借用，也不生成可执行输出。
safe-core-generics-v1 可选的可执行泛型配置档：刚性类型参数主体检查、显式/推断调用、标记 trait 约束和 impl 一致性、元组及泛型结构体，以及经 CLR LIR 输出 IL 和 Native AOT 的闭合主体特化。
输出 对已覆盖的配置档，直接生成 ECMA-335 和 Portable PDB，支持 CoreCLR 运行与 Native AOT 发布。

RustSharp 不是 rustc 的直接替代品。完整 Rust 兼容性、标准库对等、通用 Cargo 注册表解析、宏展开、所有权与借用检查、Rust ABI 兼容性以及任意 unsafe 代码，当前都不是承诺范围。精确边界见兼容性契约。

快速开始

请先安装 .NET SDK 10.0.400。仓库在 global.json 中固定该版本，并禁用了 roll-forward。只有运行差异一致性工作时才需要 Rust 1.98.0。

git clone https://github.com/IoTSharp/RustSharp.git
cd RustSharp
dotnet restore RustSharp.slnx
dotnet build RustSharp.slnx -c Release --no-restore
dotnet run --project src/RustSharp.Cli -c Release --no-build --no-restore -- run samples/safe-core.rs --profile safe-core-primitives-v1

该示例会输出一个由 RustSharp 编译的 i32 / bool 小程序。

CLI

已安装的 CLI 名称为 rsc。从源码检出运行时，可使用以下命令查看完整选项：

dotnet run --project src/RustSharp.Cli -c Release --no-build --no-restore -- --help

当前命令面如下：

rsc check <source.rs|Cargo.toml> [--profile <name>]
rsc build <source.rs|Cargo.toml> [--output <program.dll>] [--profile <name>]
rsc compile <source.rs|Cargo.toml> [--output <program.dll>] [--profile <name>]
rsc run <source.rs|Cargo.toml> [--output <program.dll>] [--timeout <seconds>] [--profile <name>]
rsc publish <source.rs|Cargo.toml> [--runtime <rid>] [--output <directory>] [--timeout <seconds>] [--profile <name>]

compile 保留为 build 的兼容别名。

使用 rsc check samples/type-system.rs --profile safe-core-types-v1 检查类型系统示例。 该配置档接受 check；可执行命令会在创建输出前报告 RSC0009。 配置档范围及独立的生命周期/借用检查边界见类型系统契约。

P1-04 对这一已声明的单态类型契约为 ✅ 已完成。已记录的 Windows x64 门槛通过 265/265 项回归与十六个必需类别中的 96/96 项 rustc 差分用例，失败和跳过均为零。

P1-05 对已声明的有界契约为 ✅ 已完成。safe-core-generics-v1 通过名称绑定 HIR 检查泛型主体， 特化可达主体和聚合布局，并支持 check、build、compile、run 和 publish。 泛型契约 定义了有界标记 trait 子集和固定的 32 用例 rustc 语料，其中包括八项执行比较和五项明确的配置档边界拒绝。 2026-09-19 记录的配置档门槛通过 350/350 项回归和 32/32 项固定用例，独立源码和本地 Cargo 包示例也分别通过 ILVerify 与 Windows x64 Native AOT。P1-05 合并后，可执行 测试工具当前注册并通过 377/377 项测试；这次补充运行使用已安装的 10.0.401 SDK 通过显式 MSBuild 完成，不替代已记录的 10.0.400 Native AOT 证据。

P1-06 对冻结的类型化 MIR 契约为 ✅ 已完成；P1-07～P1-10 及 P1 阶段仍为 🚧 进行中。可选的 safe-core-mir-p1-v2 配置档在 带源码映射的 HIR → 类型化 MIR → CLR LIR 发射链路上增加结构化 Copy 重复数组、 具名及枚举布局、嵌套引用与含引用聚合、已检查常量与提升、模式及捕获闭包。v1 对 重复数组的拒绝契约保持不变。流水线具有确定性快照与 PE/PDB 检查、显式未支持诊断， 以及工作量、大小、深度、时间和取消边界。

共享/可变切片支持数组到切片的 unsizing、.len()、动态索引、子切片、写入及 参数/返回值。GC 拥有的引用句柄在嵌套投影、引用槽及切片范围间保持所有者标识。 P1-06 清单将每个可执行类别映射到已注册测试， 并区分本地证据和完整平台门禁。

有界的复合借用/再借用来源、place/projection 模型及所有权证据现在贯穿类型化 MIR 与 CLR LIR 后端。共享引用复制会克隆借用，&mut 引用移动会转移借用，源码逃逸 会得到稳定的所有权诊断。适配器将非 Copy MIR 使用映射为移动，并检查投影移动路径 和已存储引用的别名；更广的 P1-07 源码所有权及跨包契约仍待完成。 受支持的 unit impl Drop 路径现在发出显式 MIR 析构调用和所有权 Drop 事实，生成的 fault 清理已有 CoreCLR 回归。完整 panic/unwind/abort 行为、析构失败后继续清理策略及 含字段聚合仍待完成。跨包标量调用已使用 AssemblyRef/TypeRef/MemberRef，并严格核对 MethodDef 的签名、static 属性和可见性。导入聚合/byref 签名及调用契约已有元数据测试和 手工构建的 CLR LIR producer/consumer CoreCLR 测试；完整源码级跨包所有权契约及这些 新增能力的 ILVerify 和双平台 Native AOT 证据仍待补齐。

2026-10-04 的本地 Release 构建零错误/零警告，可执行测试工具使用已安装的 SDK 10.0.401 通过 755/755，失败/跳过均为零；仓库固定版本仍为 10.0.400。日志保留于 artifacts/p1-next-session。后续审计 记录所有权资源、源码包元数据及平台证据绑定的改进。这些结果不能关闭完整 P1 退出门槛。

已记录的 safe-core-regression-v1 报告通过 8/8，失败和跳过均为零。 历史 safe-core-regression-v2 报告通过 24/24，包含 1 个编译通过、6 个编译失败、 13 个运行通过和 4 个差分用例；其中 rustc 1.98.0 进程记录的失败、阻塞和跳过均为零。 不可变的 v2 清单保持原样。safe-core-regression-v3 以新版本记录现已可执行的 or-pattern 和可变捕获预期，并增加综合 MIR 类别与投影示例：固定 26 用例 （1 个编译通过、4 个编译失败、17 个运行通过和 4 个差分），通过 26/26，失败、阻塞及 跳过均为零。两个示例的 CoreCLR 和 Windows x64 Native AOT 输出均与 rustc 1.98.0 一致，并通过 ILVerify 10.0.11，没有抑制诊断。 p1-exit-gate-v1 通过 5/5 个进程内库探针，并明确记录 "nativeAot": false 和 "crossPlatform": false。不可变的 p1-differential-v2 清单针对 rustc 1.98.0 执行 16/16 项（10 借用、6 Drop），失败、阻塞和跳过均为零。新的 p1-platform.yml 工作流在原生 Windows/Linux x64 runner 上固定 12 个运行通过用例， 并在每个平台运行 26 用例的 v3 回归套件，聚合覆盖 CoreCLR、ILVerify、Native AOT、差分和 回归证据的 6 份报告。运行 35848782833 已在历史提交 23279d93267a814c643baddc29c72918ff0fda0b 上通过全部 6 个门禁。 该运行不验证上述后续新增能力；P1 阶段仍因语义及最终提交证据缺口保持开放。

本地 hello 探测提供 ILVerify、CoreCLR 和 Windows x64 Native AOT 证据。 Linux x64 Native AOT hello 也在 Ubuntu WSL2 与 SDK 10.0.112 下运行；原生 Linux 探测器明确排除 WSL2 的原生主机声明。两者都不能证明完整 P1 语言范围。完成要求扩展后 的固定分母通过 CoreCLR、ILVerify、原生 Windows/Linux x64 AOT 和 rustc 1.98， 失败/跳过均为零，且 CI 对应最终推送的 SHA。P1 缺口矩阵 将每项剩余要求关联到实现、测试、本地证据和 CI 证据；类型化 MIR 契约 定义当前实现边界。

使用以下命令运行泛型示例，输出 42 和 true：

dotnet run --project src/RustSharp.Cli -c Release --no-build --no-restore -- run samples/generics.rs --profile safe-core-generics-v1
dotnet run --project src/RustSharp.Cli -c Release --no-build --no-restore -- run tests/workspaces/generics/Cargo.toml --profile safe-core-generics-v1

Cargo 示例通过本地依赖的泛型 Container<T> 和函数主体，以及为本地结构体实现的 外部标记 trait，产生相同输出。源码链接的泛型定义持久化至输出程序集的 RustSharp.Generics.v1.json 资源。

仓库导览

路径 用途
src 编译器、语法、语义、IL 代码生成、运行时和 CLI 项目。
samples 用于运行和类型检查的小型 RustSharp 程序。
tests 有界的可执行回归测试工具。
docs 兼容性契约和架构决策。

文档

开发

完成 Release 构建后，使用以下命令运行有界可执行测试工具：

dotnet run --project tests/RustSharp.Tests/RustSharp.Tests.csproj -c Release --no-build --no-restore

本仓库当前不使用基于 Test SDK 的 dotnet test 测试套件。

参与贡献

提出语言行为变更前，请阅读对应的兼容性契约和 ADR。在同一项变更中保持实现、测试与受影响文档一致。

说明

LICENSE-UNICODE 已包含在本仓库中。其适用范围和条款以该文件的说明为准。