具有受控副作用的语义规则 属性大法没有副作用,但增加了描述的复杂度 比如语法分析时如果没有副作用。标识符表就必须 作为属性传递。 可以把标识符表作为全局变量,然后通过副作用函 数来添加新标识符; 受控的副作用 不会对属性求值产生约東,即可以按照任何拓扑顺 序求值,不会影响最终结果。 或者对求值过程添加简单的约束。具有受控副作用的语义规则 • 属性文法没有副作用，但增加了描述的复杂度 – 比如语法分析时如果没有副作用，标识符表就必须 作为属性传递。 – 可以把标识符表作为全局变量，然后通过副作用函 数来添加新标识符； • 受控的副作用 – 不会对属性求值产生约束，即可以按照任何拓扑顺 序求值，不会影响最终结果。 – 或者对求值过程添加简单的约束