Go静态类型系统是编译期实时校验员，它在go build阶段通过AST扫描执行类型推导与赋值兼容性检查，锁死变量、参数、返回值的类型契约，不依赖IDE插件，错误精准定位到token行列。
Go 的静态类型系统不是“限制”，而是编译器在你写完第一行 func 时就启动的实时校验员——它不等运行，就在 go build 阶段锁死变量、参数、返回值的类型契约。
为什么 var x int = "hello" 在编辑器里还没保存就报错？
因为 Go 编译器的类型检查（type checker）在语法分析（parser）之后立即介入，且不依赖 IDE 插件。它直接扫描 AST 节点，对每个声明做两件事：确认静态类型可推导，再验证赋值表达式是否满足赋值兼容性规则。
-
var x int = "hello"中，x的静态类型是int，而"hello"是未类型化字符串字面量（untyped string），但 Go 不允许它隐式转成int—— 这步直接被 type checker 拦在编译前端，根本不会走到 SSA 生成 - 即使你用
:=，如y := "hello"，编译器也只推导出y的静态类型为string；后续写y = 42仍会报错：cannot use 42 (type untyped int) as type string in assignment - 错误位置精准到 token 行列（来自
syntax包保留的token.Pos），所以 VS Code 或 Goland 能在你敲完等号时就标红
interface{} 是万能容器？别忘了它的静态类型仍是 interface{}
很多人误以为赋值给 interface{} 就“失去类型”，其实只是动态类型（concrete type）在运行时才显现，静态类型从声明起就固定为 interface{}，且不可更改。
-
var i interface{} = 42→i静态类型是interface{}，动态类型是int -
i = "hi"合法，因为"hi"可赋给interface{}（所有类型都实现空接口） -
i + 1编译失败：invalid operation: i + 1 (mismatched types interface {} and int)—— 编译器只认静态类型，不知道i此刻装的是int - 要运算必须先断言：
if n, ok := i.(int); ok { _ = n + 1 }，否则类型信息在编译期不可用
自定义类型（type Foo int）为何不能和 int 直接混用？
Go 把 type NewType ExistingType 视为全新类型，哪怕底层完全一致，也不触发任何隐式转换——这是静态类型安全的核心防线，防止语义混淆。
立即学习“go语言免费学习笔记（深入）”；
-
type Port int和type Timeout int都基于int，但Port(8080) == Timeout(8080)编译报错：invalid operation: == (mismatched types Port and Timeout) - 函数签名中若写
func dial(p Port)，传入int(8080)会失败；必须显式转型：dial(Port(8080)) - 这种设计让单位、角色、领域含义固化在类型名里，避免把超时毫秒当端口号传进网络库
- 注意：只有
type Alias = ExistingType（等号）才是类型别名，和原类型完全等价；type NewType ExistingType（无等号）才是新类型
go build 时类型检查卡在哪儿？怎么快速定位问题？
类型检查发生在编译流程的早期阶段（frontend 后、SSA 前），一旦失败，整个构建中断，不会生成任何目标文件。常见阻塞点集中在接口实现验证、方法集匹配、泛型约束求解。
- 接口未实现错误如：
cannot use &s (type *MyStruct) as type io.Writer in argument to fmt.Fprint: *MyStruct does not implement io.Writer (Write method has pointer receiver)—— 实际是MyStruct值接收者实现了Write，但*MyStruct没有，编译器在方法集检查时拒绝 - 泛型代码中约束不满足，例如
func max[T constraints.Ordered](a, b T) T，传入自定义类型却没实现constraints.Ordered要求的全部操作符，错误信息会明确指出缺失哪个方法或操作 - 调试建议：加
-gcflags="-l -m=2"查看逃逸分析+类型检查详情；或临时删掉疑似有问题的函数，用二分法缩小范围
真正容易被忽略的，是那些“看起来能过编译”的地方：比如结构体字段类型改了但 JSON tag 没同步，或者接口方法签名微调后忘记更新所有实现——这些不会触发类型检查失败，但会在运行时 panic 或静默丢数据。静态类型管得住契约，管不住语义一致性。
