同类相比：在基于 LLM 的代码翻译中正确处理类型映射

Code Metal 分析基于 LLM 的代码翻译中类型映射错误导致编译通过但行为不一致的问题，提出正确类型映射需满足转换健全性与无损值集合上的往返保持性。文章以 Python 整数到 C int、C char * 到 Rust 类型等为例，说明声明类型不足时应依据程序上下文选择目标类型。