.NET框架源码解读之MYC编译器

在SSCLI里附带了两个示例编译器源码，用来演示CLR整个架构的弹性，一个是简化版的lisp编译器，一个是简化版的C编译器。lisp在国内用的少，因此这里我们主要看看C编译器的源码，源码位置是：\sscli20\samples\compilers\myc。

为了简单起见，该编译器实现了C语言的子集，如只支持 int  和void 类型，可以声明静态和局部变量，但是局部变量只能在函数的顶部声明，只支持 if-else、while和for等语句。编译器将C程序编译成MSIL语言，再调用IL编译器产生.NET程序，完整的语法如下表：

letter ::= “A-Za-z”;   digit ::= “0-9″;   name ::= letter { letter | digit }; integer ::= digit { digit };   ident ::= name | function_call; function_call ::= name “(” [expr {, expr}] “)”;   factor ::= (ident | integer | “(” expr “)” ); unary_factor ::= [“+”|”-“] factor;   term1 ::= [“*”|”/”] factor; term0 ::= factor { term1 }; first_term ::= unary_factor term1;   math_expr ::= first_term { [“+”|”-“] term0 } rel_expr ::= math_expr (“==”|”!=”|”<“|”>”|”>=”|”<=”) math_expr; not_factor ::= [“!”] rel_expr; term_bool ::= not_factor { (“&” | “&&”) not_factor }; bool_expr ::= term_bool { (“|” | “^”) term_bool }; expr ::= bool_expr;   assign = ident “=” expr; assign_stmt ::= assign “;” ; if_stmt ::= “if” “(” expr “)” stmt_block [ “else” inner_block ]; while_stmt ::= “while” “(” expr “)” inner_block; for_stmt ::= “for” “(” assign “;” expr “;” assign “)” inner_block break_stmt ::= “break” “;”; cont_stmt ::= “continue” “;”; ret_stmt ::= “return” expr “;”; stmt ::= ( if_stmt | while_stmt | for_stmt | break_stmt | cont_stmt | ret_stmt | assign_stmt ); inner_block ::= “{” { stmt } “}”; outer_block ::= “{” { inner_decl } { stmt } “}”;   inner_decl ::= [ class ] type ident { “,” ident } “;”;   class ::= “extern” | “static” | “auto”; type ::= “int” | “void”;   params ::= type ident { , type ident }; outer_decl ::= [ class ] type ident { “,” ident } “;”; func_decl ::= [ class ] type ident “(” params “)” outer_block;

编译器支持的参数如下表：

参数	说明
/debug	生成程序时创建调试信息
/nodebug	不创建调试信息
/list	输出MSIL中间源文件
/dll	创建一个DLL文件
/exe	创建一个可执行的.exe文件
/outdir:path	保存输出文件的文件夹

整个编译器的架构如下图所示：