中文语义分析 开源java_从零开始开发JVM语言（七）语义分析的起步

目录戳这里

语法分析结束后，编译才刚刚开始。接下来是语义分析。

语义分析的功能大体来说，是对AST加入类型信息。不过不仅是类型，还有各个变量、方法，各种语句的含义。

例如Latte-lang允许的两种写法：

arr1 = [1,2,3]

arr2:[]int = [1,2,3]

两者在语法中区别并不是很大：无非是一个指明了类型一个没有指明而已(语法中可以很轻松得知道“有没有类型”，但是“是什么类型”就不是语法能完成的了)。但是在语义中，就得知道：第一个是java.lang.Object类型，第二个是int数组类型。而赋的值也随之转变，第一个将会构造一个lt.util.List，然后依次add进1 2 3。而第二个则是构造一个整型数组，然后对下标0，1，2分别赋值1，2，3。

而就代码量来看，我目前写的Parser带文档注释是2600行左右，而语义分析器带文档注释是7900多行，代码行数差距3倍。可以看出语义分析的复杂度比Parser高很多。

由于要编译到jvm字节码，原有的AST想要直接加入类型信息并生成字节码有点难，于是我又建立了一套新的中间结构。这套结构仿照java的类型体系，构建了

STypeDef

|-----SClassDef-------类，enum

|-----SInterfaceDef---接口

|-----SAnnoDef--------注解

|-----SArrayTypeDef---数组类型

|-----PrimitiveTypeDef

|---------IntT