C＃的编译器设计 - 前向引用

Question

In forward referencing language such as c#, how does the compiler handle this? What are the steps in which the compiler operate?

Answer 1

The main difference between allowing forward reference or not is using a one pass compiler or a multi pass one. Of course to handle forward referencing you have to check symbols definitions and do typechecking AFTER having generated the full abstract syntax tree of the source you are compiling.

So there is no problem, when you first find a forward reference you just rely that it will be defined later (you can mark it as pending in symbol table) then when you find the actual definition you refine the symbol object in symbol table.

After you can typecheck it or check if some symbols are still pending (so there is no real definition, and you can raise a semantic error)..

Answer 2

It does this by doing two passes of compilation. The first pass parses the code and collects all identifiers used. The second pass resolves all identifiers.

In a language with a single pass compiler, like Pascal, only backwards references can be used as the type of an identifier have to be known before it can be resolved.

Answer 3

与C ++处理它的方式完全相同，我认为，唯一的区别是：语法很简单，编译器可以构造解析树，而无需告诉您尚未声明的符号所引用的语法对象类型。