Eeyore语言变量与表达式详解：原生与临时的区别

Eeyore是MiniC语言的一种输出格式，它采用三地址码的形式，旨在提供简洁明了的代码结构，便于阅读和调试。Eeyore中的变量主要分为三种：原生变量、临时变量和函数参数。 1. 变量分类: - 原生变量: MiniC中的变量在Eeyore中保留其名称，例如'a'在Eeyore中对应为'T0'，标识为'T'后跟编号。原生变量的作用域扩展到程序结束。 - 临时变量: 在MiniC中未明确声明的变量在Eeyore中被称为临时变量，如't0'，以't'开头，用于存储计算过程中的中间结果。它们的作用域仅限于声明语句所在区域。 - 函数参数: 函数在Eeyore中以'f_'开头，如f_main和f_getint，函数参数无需额外声明，但可以通过参数数量的整数在定义时指定。 2. 表达式与运算符: - Eeyore支持直接使用整数作为运算分母。 - 单目运算符包括'!'和'-'，用于逻辑非和取负。 - 双目运算符涵盖比较（'!=', '==', '<>', '>', '<', '&&', '||'），算术运算（'+', '-', '*', '/', '%'）。 - 对于数组操作，Eeyore允许通过索引访问和修改元素，如"T0[t0]=t1"，但索引必须是4的倍数，因为MiniC的基础类型限制了数组操作。 3. 函数设计: - 函数以'f_'开头，如f_putint，参数个数通过中括号内的整数指定，如"f_putint[1]"表示接受一个参数。 - 函数定义结束后需有明显的结束标志，以便于代码解析。 Eeyore的这种设计简化了从MiniC到Eeyore的转换过程，使得代码在Eeyore环境下依然保持清晰，有助于用户理解和跟踪程序执行过程。通过区分原生变量和临时变量，Eeyore为用户提供了一种调试工具，帮助他们在不熟悉的新环境里找到并修复潜在问题。