go编译器采用单次调用全链路编译：词法分析、语法分析（syntax包手写解析器构建带位置信息结构体树）、类型检查、ssa生成、优化、目标代码生成与静态链接一气呵成，不依赖外部linker，中间表示不落地。
Go 编译器不是“先编译再链接”的黑盒，它把整个构建流程压进单次调用里，go build 一执行，词法分析、AST 构建、类型检查、SSA 生成、优化、目标代码生成、静态链接全链路跑完——中间不落地源码级中间表示，也不依赖外部 linker。
词法与语法分析阶段：syntax 包如何解析 func main()？
Go 编译器不用 yacc 或 antlr，它的解析器完全手写，位于 src/cmd/compile/internal/syntax。这个包不生成传统意义上的 AST 节点指针，而是构建带位置信息的紧凑结构体树，每个节点都保留 token.Pos，方便错误定位和调试信息生成。
常见错误现象：
- 报错
syntax error: unexpected semicolon or newline—— 很可能漏了逗号或右括号，但实际是 parser 在换行处意外终止了语句； - 导入路径含大写字母（如
import "MyLib"）会直接卡在词法分析，因为token.IDENT不允许首字母大写（除关键字外）；
实操建议：
- 调试解析过程可加
-gcflags="-S"查看汇编前的 SSA 形式，但更底层要看go tool compile -S main.go输出的伪指令； - 自定义语法扩展不可行——
syntax包不开放 parser 接口，所有 Go 语法变更必须改源码并重编译工具链；
类型检查与逃逸分析：为什么 new(int) 有时栈分配，有时堆分配？
类型检查（gc 包）和逃逸分析（escape 分析）在同一个遍历 AST 的 pass 中完成。逃逸判断不是独立模块，而是类型检查器对每个局部变量做的一组保守推导：只要变量地址被返回、传入函数参数、存入全局变量或切片底层数组，就标记为 escapes to heap。
使用场景：
- 想确认某个结构体是否逃逸，加
-gcflags="-m -l"（-l禁用内联，避免干扰判断）； - 闭包捕获的变量一定逃逸，哪怕只读——因为闭包函数可能在原栈帧销毁后仍被调用；
容易踩的坑：
-
fmt.Sprintf的参数若含指针或接口，会导致其引用对象逃逸，即使最终没打印； - 数组转切片（如
a[:]）会触发逃逸，因为切片头包含指向底层数组的指针，而该指针生命周期可能超出当前作用域；
SSA 生成与优化：内联失败时，go build -gcflags="-l=4" 并不能强制内联
Go 的 SSA（Static Single Assignment）是在类型检查之后、目标代码生成之前构建的 IR。它不是 LLVM 那种通用 IR，而是专为 Go 语义定制：天然支持 goroutine 调度点插入、defer 链展开、接口动态调用拆解等。
参数差异：
-
-l=0：完全禁用内联（用于调试调用栈）； -
-l=1：仅内联无循环、无闭包、无 defer 的小函数（默认值）； -
-l=4：只是把阈值调高，并不绕过内联规则检查——比如含recover()或go语句的函数永远不内联；
性能影响：
- 过度内联反而增加代码体积，导致 icache miss 上升；
- SSA pass 中的
deadcode删除只作用于函数粒度，不会删掉未调用的方法——方法集是接口实现的一部分，即使没显式调用也会保留在二进制中；
静态链接与符号处理：为什么 go build -ldflags="-s -w" 不能去掉所有调试信息？
Go 默认静态链接所有依赖（包括 runtime 和 libc 的等效实现），link 阶段由 src/cmd/link 完成。它不走 system linker（如 ld），而是自己实现符号解析、重定位和段合并。
-s -w 的真实效果：
-
-s：删掉符号表（.symtab）和字符串表（.strtab），但 DWARF 调试信息（.debug_*段）仍存在； -
-w：才真正丢弃 DWARF 信息；两者需同时用才接近“无调试信息”；
容易忽略的复杂点：
- CGO 启用时，
-ldflags对 C 部分无效，C 代码仍走系统 linker，-s -w只影响 Go 部分； - 即使加了
-ldflags="-buildmode=c-archive"，生成的.a文件仍含 Go runtime 符号，无法直接被 C 工程静链——必须用c-shared模式产出.so；
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
