Code Metal提出LLM代码翻译类型映射判定标准

2026年10月14日，Code Metal针对基于大语言模型（LLM）的跨语言代码翻译问题，提出了保证类型映射正确性的判定标准与解决方法。针对LLM生成的代码虽能成功编译却破坏源程序行为的缺陷，Code Metal指出正确的类型映射需同时满足转换可靠性（conversion soundness）与往返保持（round-trip preservation），从而确保所支持的值在双向转换后能够完全复原，避免源程序行为受到破坏。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。