# 4.5.2 类型检查逻辑 - 初始化

前文介绍了大量与类型检查相关的数据结构，这一节我们从如下两个方介绍类型检查器的初始化流程：

1. 初始化全局作用域
2. 初始化类型检查器

完成初始化之后，类型检查器才能开始正式进行类型检查工作。


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://gocompiler.shizhz.me/golang-bian-yi-qi-lei-xing-jian-cha/4.5.2-lei-xing-jian-cha-luo-ji-chu-shi-hua.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.