MYC编译器源码分析

public static void Main()
{
    try
{
　// 看源码注释，代码是99年写的，也就是说.NET当年正在开发中
    // 可能那个时候虚拟机都没有做好向Main函数传递命令行参数的开发
    // 用了下面这个奇葩方法获取程序的命令行参数
        String[] args = Environment.GetCommandLineArgs();
        // 初始化读取源文件的IO对象，该对象负责将源文件以字节流的方式
        // 输出给下一个对象 – 词法分析
        Io prog = new Io(args);
        // 词法分析对象，该对象的工作是过滤掉源码中不必要的字符，比如空格
        // 注释之类的，并且把源码中的字符归类 – Tokenize，以便语法分析器
        // 更方便的解析语法
        Tok tok = new Tok(prog);
        // 语法分析对象，解析完毕后即是代码生成阶段，但一般语法分析过程
        // 都只会生成语法树，这样的设计可以对接多种结果文件输出手段。比如
        // 说，本例中生成可执行文件的exe.cs和生成IL源码的asm.cs都是通过
        // 遍历语法树，使用不同的输出策略生成结果文件的
        Parse p = new Parse(prog, tok);
        // 采用自顶向下的方式进行语法解析
        p.program();
        // 编译工作已经完成，关闭打开的源文件句柄等资源
        prog.Finish();
    }
    catch (Exception e)
{
    // 编译过程中有任何错误，即中断处理，打印错误消息并退出程序
        Console.WriteLine("Compiler aborting: " + e.ToString());
    }
}

public Io(String[] a)
  {
  int i;

  args = a;
  // 解析命令行参数，并根据参数打开内部的控制开关，详情请看下面对ParseArgs
  // 函数的源码解读
  ParseArgs();

  // 打开要编译的源文件
  ifile = new FileStream(ifilename, FileMode.Open,
             FileAccess.Read, FileShare.Read, 8192);
  // 如果源文件不存在，报错退出
  if (ifile == null)
    {
    Abort("Could not open file ‘"+ifilename+"‘\n");
}
  // 采用流式处理方式读取源文件
  rfile = new StreamReader(ifile); // open up a stream for reading

  // 根据源文件的名称设定结果输出文件的文件名
  i = ifilename.LastIndexOf(‘.‘);
  if (i < 0)
    Abort("Bad filename ‘"+ifilename+"‘");
  int j = ifilename.LastIndexOf(‘\\‘);
  if (j < 0)
    j = 0;
  else
    j++;

  classname = ifilename.Substring(j,i-j);

  // 根据命令行参数决定是生成.exe、.dll等可执行文件，还是输出包含
  // IL源码的.lst文件 
  if (genexe)
    ofilename = classname+".exe";
  if (gendll)
    ofilename = classname+".dll";
  if (genlist)
{
// 如果是要输出IL源码，因为原来的可执行文件也要输出，需要创建一个新的文件
    lst_ofilename = classname+".lst";
    lst_ofile = new FileStream(lst_ofilename, FileMode.Create,
             FileAccess.Write, FileShare.Write, 8192);
    if (lst_ofile == null)
      Abort("Could not open file ‘"+ofilename+"‘\n");
    lst_wfile = new StreamWriter(lst_ofile);
    }
  }

void ParseArgs()
  {
  int i = 1;

  // 程序至少需要两个参数，否则就输出帮助文字并退出
  if (args.Length < 2)
    {
    Abort("myc [/debug] [/nodebug] [/list] [/dll] [/exe] [/outdir:path] filename.myc\n");
    }

  // 逐个遍历命令行参数
  while (true)
    {
    if (args[i][0] != ‘/‘)
      break;
    // 处理 /? 这个参数，即输出帮助文本
    if (args[i].Equals("/?"))
      {
      Console.WriteLine("Compiler options:\n  myc [/debug] [/nodebug] [/list] [/dll] [/exe] [/outdir:path] filename.myc\n");
      Environment.Exit(1);
      }
// 如果有 /debug 参数，则打开内部的 gendebug 开关，这个开关在代码生成的过程
// 中会用到
    if (args[i].Equals("/debug"))
      {
      gendebug = true;
      i++;
      continue;
      }
// ... ... 跳过类似的代码
// 如果有 /outdir 参数，则获取命令行中指定的目录路径
    if (args[i].Length > 8 && args[i].Substring(0,8).Equals("/outdir:"))
      {
      genpath = args[i].Substring(8);
      i++;
      continue;
      }
// 前面那么多的if相当于switch … case … default 块里面的 case 处理路径
// 下面这段代码即是 default 处理路径 – 如果命令行参数符合前面的if条件
// 都会执行里面的 continue 子句跳出循环，能执行到这里，说明参数
// 是无法识别的参数，因此报告错误并退出执行
    Abort("Unmatched switch = ‘"+args[i]+"‘\nArguments are:\nmyc [/debug] [/nodebug] [/list] [/dll] [/exe] [/outdir:path] filename.myc\n");
    }

  // 如果前面的循环执行完毕，还有参数列表未处理，说明输入了不支持的参数
  if (args.Length-i != 1)
    {
    Abort("myc [/debug] [/nodebug] [/list] [/dll] [/exe] [/outdir:path] filename.myc\n");
}

  // 最后一个参数是要编译的源文件路径
  ifilename = args[args.Length-1]; // filename is last
  }