4.5.3 类型检查逻辑 - 流程分析

完成初始化之后,类型检查器开始正式工作,类型检查的逻辑非常复杂,涉及到很多琐碎的细节处理,并且类型检查器的开发工作也在一直进行当中,所以逐行地对当前逻辑进行过度细致的讲解并没有太大的意义,本节我们将采用如下方式进行分析:

  1. 分析类型检查的主要步骤

  2. 罗列重要的函数、方法的位置 ,以及功能

  3. 针对性的示例分析

期望能够帮助读者达成如下效果:

  1. 了解类型检查器工作原理与设计思路

  2. 熟悉当前代码结构,以及重要逻辑的函数位置

  3. 熟练地通过 UT 对现有代码进行测试,以便校验自己的想法

总而言之,本节的目的不是讲解代码,而是帮助读者熟悉代码框架,以便在读者对 go 的类型系统有任何疑问时,都可以自己动手在源码中找到答案。

最后更新于