13、轻量级Go语言的字典传递翻译

轻量级Go语言的字典传递翻译

1. 表达式形式的翻译规则

表达式形式的翻译规则涵盖了变量、结构创建、字段访问和方法调用等方面。具体规则如下：
- td - var规则 ：用于翻译变量，遵循将变量 x 翻译为 X 的约定。
- td - struct规则 ：用于翻译结构创建。将翻译后的字段元素 Ei 收集到一个元组中，并通过构造函数 KtS 进行标记。
- td - access规则 ：在翻译中使用模式匹配来捕获字段访问。
- td - call - struct规则 ：处理接收者 e 为结构类型 tS 的方法调用。第一个前提条件确保该特定方法调用的实现存在，方法调用翻译为首先将 Xm,tS 应用于翻译后的接收者 E ，然后应用收集在元组 (En) 中的翻译后的参数。
- td - call - iface规则 ：假设接收者 e 为接口类型 tI ， e 翻译为接口值 E 。通过对 E 进行模式匹配来访问字典中的底层值和所需方法。前提条件保证 tI