go 的类型不匹配（如 int8 + int32）是编译期错误，无法在运行时捕获；真正的错误处理仅适用于函数返回的 error 值，而非语法或类型系统报错。
go 的类型不匹配（如 int8 + int32）是编译期错误，无法在运行时捕获；真正的错误处理仅适用于函数返回的 error 值，而非语法或类型系统报错。
在 Go 中，类型安全是语言的核心设计原则之一。像 var a int8; var b int32; c := a + b 这样的表达式会在编译阶段直接失败，根本不会生成可执行文件，更不存在“运行时捕获该错误”的可能性。你看到的 :GoRun 报错（如 invalid operation: a + b (mismatched types int8 and int32)）正是 Go 编译器（gc）在语法分析和类型检查阶段发出的静态诊断，属于开发阶段的反馈，而非程序运行中抛出的 error。
这与动态语言（如 JavaScript）有本质区别：后者允许 5 + "hello" 并在运行时产生隐式转换或异常；而 Go 要求所有类型操作显式、一致。因此，以下代码永远无法通过编译，if err != nil 逻辑永远不会执行：
var a int8 = 42
var b int32 = 100
var err error
c := a + b // ❌ 编译失败：mismatched types int8 and int32
if err != nil { // ⚠️ 此行甚至不会被解析
fmt.Println(err)
}
✅ 正确的 Go 错误处理模式，只应用于可能失败的 I/O、解析、网络调用等外部操作，且必须由函数显式返回 error 类型。例如：
f, err := os.Open("config.json")
if err != nil { // ✅ 合法：err 来自函数返回值
log.Fatal("failed to open file:", err)
}
defer f.Close()
⚠️ 注意事项：
- 不要声明未使用的
err变量（如原例中var err error），Go 编译器会报err declared but not used； - 类型转换需显式进行：
c := int32(a) + b才合法； - 使用
go vet、golangci-lint等工具可在保存时自动检测类型/错误使用问题，提升开发效率。
总结：Go 的错误处理不是用来兜底语法或类型错误的，而是为可控的、运行时可能失败的操作提供清晰的失败路径。理解这一边界，是写出健壮、符合 Go 惯例代码的第一步。
