四元式是编译原理中广泛使用的中间代码形式，其结构为(op, arg1, arg2, result)，通过运算符和操作数将结果存入临时变量，适用于分解复杂表达式。每个四元式仅对应单一运算操作，相比直接生成目标代码更便于优化处理。作为三地址代码的一种实现形式，四元式在类型检查、控制流翻译等阶段发挥关键作用，常通过符号表和回填技术管理变量与跳转逻辑。

j种“三地址语句”的等价表示。它的一般形式为：

(op,arg1,arg2,result)

其中， op为一个二元 (也可是一元或零元)运算符；arg1,arg2分别为它的两个运算 (或操作)对象，它们可以是变量、常数或系统定义的临时变量名；运算的结果将放入result中。四元式还可写为类似于PASCAL语言赋值语句的形式：

result ∶= arg1 op arg2

需要指出的是，每个四元式只能有一个运算符，所以，一个复杂的表达式须由多个四元式构成的序列来表示。例如，表达式A+B*C可写为序列

T1∶=B*C

T2∶=A+T1