编译原理——中间代码生成的一个小问题

[Yunhe_Feng]

各位大牛，请问S.code：=C.code||gen(C.true':')||S1.code||gen('goto'S.next)||gen(C.false':')||S2.code
这句话是对if C then S1 else S2 的翻译。如何理解这段代码？ 对于♢||△，♢和△的位置能调换么？谢谢！

[Boover]

[Quote=引用楼主 vernice 的回复:]
各位大牛，请问S.code：=C.code||gen(C.true':')||S1.code||gen('goto'S.next)||gen(C.false':')||S2.code
这句话是对if C then S1 else S2 的翻译。如何理解这段代码？ 对于♢||△，♢和△的位置能调换么？谢谢！
[/Quote]
楼主好！
我也正在学习编译原理呀！

C.code：是产生相对于条件语句C的代码；
gen(C.true':')：生成C.true标号（留待C.code执行完后跳转用，因为C.code会生成gen('goto' C.true)或gen('goto' C.false)），即如C语言代码

goto loop；
loop：c=a+b；

中的loop；
S1.code：相应的then代码段的中间代码；
gen('goto'S.next)：生成一个跳出if（then部分执行了，else部分跳出）的语句；
gen(C.false':')：同gen(C.true':');
S2.code:同S2.code。

具体可以参考国防工业出版社《编译原理》（陈火旺等编著）188页的表7.7，解释的很好

||两边的位置不能调换！

[日立奔腾浪潮微软松下联想]

这是语法分析的产生式描述（语义规则），不过楼主写的不完整。

多说一句：陈火旺的《编译原理》属于较差的版本。:)
编译原理教材的经典是《Compilers - Principles, Techniques, and Tools》，另外Kenneth的《Programming Languages: Principles and Practice》也是顶级著作。二者皆有中文版。

[大熊猫侯佩]

同意楼上

[pandazhong]

这些都是啥玩意了，你自己换一下试试看不久行了。