# Eurydice：Rust 到 C 代码生成，通过 MIR 降阶到结构体和联合体实现所有权 > 剖析 Eurydice 如何将 Rust MIR 降阶为 C 结构体/联合体，模拟所有权，支持零成本抽象直达嵌入式 FFI。 ## 元数据 - 路径: /posts/2025/12/07/eurydice-rust-to-c-codegen-mir-lowering-structs-unions-ownership/ - 发布时间: 2025-12-07T13:46:35+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 站点: https://blog.hotdry.top ## 正文 在 Rust 验证生态中，Eurydice 作为 Rust 到 C 编译器，提供了一种独特的 MIR 降阶策略，直接生成可读 C 代码。该策略的核心是通过 C 结构体和联合体精确模拟 Rust 的所有权模型，避免引入运行时开销，实现零成本抽象。这种方法特别适用于嵌入式 FFI 场景，因为它绕过了 LLVM 后端，直接输出纯 C，无需 Rust 工具链依赖。 Eurydice 的架构依赖 Charon 插件从 rustc 提取完整 MIR 表示，包括类型、函数、trait 和 MIR 函数体。随后，将 MIR 翻译为 KaRaMeL 内部 AST（约 3000 行 OCaml 代码），再经 30+ 个纳米级优化传递（约 5000 行 OCaml 代码）生成 C。这些传递处理单态化（monomorphization）、模式匹配到标签联合、迭代器到 for 循环等，确保代码可读性。 关键创新在于所有权模拟。Rust 结构体直接映射为 C 结构体，包括动态大小类型（DST）使用灵活数组成员（flexible array members）。例如，Rust 中的固定数组 [u32; 8] 被包装为 struct { uint32_t data[8]; }，赋予 C 中的值语义，避免指针拷贝的复杂性。切片（slice）则编译为自定义 struct { void *ptr; size_t len; }，支持借用语义而无需运行时检查。枚举（enum）生成标签联合（tagged union），但优化去除单变体标签，减少冗余。 这种降阶绕过 LLVM，确保零成本抽象：Rust 的借用检查在 MIR 中已静态化，C 输出保留原生性能，无需额外抽象层。例如，在 libcrux 的 Kyber 实现中，生成的 C 代码体积虽因单态化增大，但保持高效，且与原 Rust 性能无差异（LLVM 优化后）。“Eurydice 将 Rust 结构体转换为 C 结构体，包括 DST 通过灵活数组成员。”（Protzenko 博客） 为嵌入式 FFI，Eurydice 生成 C11/C++20 兼容代码，使用复合初始化器如 (Foo){ .tag = bar, .value = { .case_Foo = { .bar = baz } } }。C++17 备选使用成员指针模拟。手写胶水头文件提供宏，如 #define core_slice___Slice_T___copy_from_slice(dst, src, t) memcpy(dst.ptr, src.ptr, dst.len * sizeof(t))，处理多态操作，避免 N 个单态化拷贝。 落地参数与清单： 1. **配置单态化**：使用 cg.yaml 指定实例放置，如 AVX2 类型到单独文件（-mavx2）。阈值：数组大小 >32 时用 memset 初始化而非逐元赋值。 2. **编译标志**：-fno-strict-aliasing（DST 指针转换违反严格别名）；-std=c11 或 C++20；无整数溢出检查（假设验证无 panic）。 3. **集成步骤**： - 运行 charon 提取 MIR.llbc。 - Eurydice 编译：make test 生成 out/ 下 C 文件（版本控制检查 diff）。 - 添加 include/eurydice_glue.h 宏。 - CI 验证 Rust/C 等价（测试向量）。 4. **监控点**：代码体积（单态化后 2-5x Rust）；布局差异（手动对齐 pragma）；回滚：保留 C 后备，渐进迁移。 5. **阈值参数**：迭代器识别 >80% 转为 for 循环；空 enum 转为 void；重复数组 [0u8; N] 优先零初始化器。 风险：C 布局 ≠ Rust（无 padding 匹配）；多平台 cfg 需预处理 MIR。该策略在 HACL*、SymCrypt、BoringSSL 已部署，后量子算法如 ML-KEM 从 Rust 验证直出 C。 来源： - https://jonathan.protzenko.fr/2025/10/28/eurydice.html - https://github.com/AeneasVerif/eurydice - https://arxiv.org/abs/2410.18042 (Charon 论文) ## 同分类近期文章 ### [GlyphLang：AI优先编程语言的符号语法设计与运行时优化](/posts/2026/01/11/glyphlang-ai-first-language-design-symbol-syntax-runtime-optimization/) - 日期: 2026-01-11T08:10:48+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入分析GlyphLang作为AI优先编程语言的符号语法设计如何优化LLM代码生成的可预测性，探讨其运行时错误恢复机制与执行效率的工程实现。 ### [1ML类型系统与编译器实现：模块化类型推导与代码生成优化](/posts/2026/01/09/1ML-Type-System-Compiler-Implementation-Modular-Inference/) - 日期: 2026-01-09T21:17:44+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入分析1ML语言的类型系统设计与编译器实现，探讨其基于System Fω的模块化类型推导算法与代码生成优化策略，为编译器开发者提供可落地的工程实践指南。 ### [信号式与查询式编译器架构：高性能增量编译的内存管理策略](/posts/2026/01/09/signals-vs-query-compilers-architecture-paradigms/) - 日期: 2026-01-09T01:46:52+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入分析信号式与查询式编译器架构的核心差异，探讨在大型项目中实现高性能增量编译的内存管理策略与工程权衡。 ### [V8 JavaScript引擎向RISC-V移植的工程挑战：CSA层适配与指令集优化](/posts/2026/01/08/v8-risc-v-porting-challenges-csa-optimization/) - 日期: 2026-01-08T05:31:26+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入分析V8引擎向RISC-V架构移植的核心技术难点，聚焦Code Stub Assembler层适配、指令集差异优化与内存模型对齐策略，提供可落地的工程参数与监控指标。 ### [从AST与类型系统视角解析代码本质：编译器实现中的语义边界](/posts/2026/01/07/code-essence-ast-type-system-compiler-implementation/) - 日期: 2026-01-07T16:50:16+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入探讨抽象语法树如何揭示代码的结构化本质，分析类型系统在编译器实现中的语义边界定义，以及现代编程语言设计中静态与动态类型的工程实践平衡。