构建自己的编译器（十一）实质性的第三步

bison a.y -d -v --debug

-d是用来生成头文件的，与调试无关。

-v生成output文件，描述了我们创建的自动机，可以帮助我们分析调试内容。

yacc是如何处理空格的呢？

关于lex而言，它匹配到什么，要不返回序号，要不返回那个字符，要不什么都不返回，取决于你自己。

而yacc，则是接收lex传来的序号也好，字符也好，就采用LALR文法进行处理，首先状态机就是我们已经在之前用bnf语法规定好了，然后，它没有说明规约冲突，那么就真的没事，然后，它的确是通过向前看，但并没有什么关系，

不知道为嘛，lex里不能用变量，，，用{}不行。。。

因为把空格全部删除掉了，因此就想象成一长串的字符串就行了。

yylval会将变量传递给bison产生式右部的相应位置（$1, $2等等）。然后返回该符号的标识，如下面的ID和NUM。该标识是一个整数常量的宏定义，我们可以自行用#define定义它们，如果用户没有定义，则Flex将会自动从数字258开始依次定义。而asci码从126就没了。

由于向前看一个符号的原因，因此并不用担心一些移进-移进冲突

1）采用__cdecl约定时，函数参数按照从右到左的顺序入栈，并且由调用函数者把参数弹出栈以清理堆栈。因此，实现可变参数的函数只能使用该调用约定。由于每一个使用__cdecl约定的函数都要包含清理堆栈的代码，所以产生的可执行文件大小会比较大。
2）采用__stdcall约定时，函数参数按照从右到左的顺序入栈，被调用的函数在返回前清理传送参数的栈，函数参数个数固定。由于函数体本身知道传进来的参数个数，因此被调用的函数可以在返回前用一条ret n指令直接清理传递参数的堆栈。

看来这两个声明只和参数有关

另外，在lex中，貌似用双引号括起来比不括起来更保险。。。

接下来构造符号表。