函数签名必须完全一致才能赋值，参数类型、返回类型、通道方向等须严格匹配，类型推导易出错，应显式声明；函数变量可为nil，调用前须检查；嵌套函数注意括号优先级；函数类型不能直接实现接口。
函数签名必须完全一致才能赋值给函数类型
Go 里函数是第一类值，但函数类型不是“只要返回值和参数个数对得上就行”。func(int) string 和 func(int) error 是两个完全不兼容的类型，哪怕 string 和 error 在底层都可能是字符串——编译器只看声明，不看实现。
- 常见错误现象：
cannot use func literal (type func(int) string) as type func(int) error in assignment - 参数名无关紧要，但类型顺序、数量、方向（
vs <code>chan）必须严格匹配 - 如果想复用逻辑，别硬转类型，改用接口或封装一层适配函数，比如加个
func(x int) error { return errors.New(f(x)) } - 注意：空接口
interface{}不能自动接收函数值；函数类型本身不能当interface{}的“泛型容器”用，得显式转换
把函数赋值给变量时，类型声明位置很关键
写 var f func(int) bool 和写 f := func(x int) bool { return x > 0 } 看似等价，实则不同：前者明确指定了类型，后者靠推导——一旦推导出错（比如闭包捕获了不同作用域的同名变量），就可能绕过类型检查。
- 使用场景：注册回调、构建策略表、测试桩替换时，推荐显式声明类型，避免意外推导成
func(interface{}) interface{}这类宽泛类型 - 容易踩的坑：在 map 或 struct 字段中存函数时，若用
:=初始化，Go 会按字面量推导类型；而字段已有类型定义，就会报错不匹配 - 示例：
type Handler struct { F func(string) int } h := Handler{F: func(s string) int { return len(s) }} // ✅ 显式匹配 h2 := Handler{F: func(s string) int32 { return int32(len(s)) }} // ❌ int32 ≠ int
函数类型作为参数传入时，nil 检查不能省
函数变量本质是个指针（指向代码段），可以为 nil。如果不检查就直接调用，运行时报 panic: call of nil function，而且这个 panic 不像空指针解引用那样有堆栈线索，很难定位。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
- 常见错误现象：单元测试里忘了给 mock 函数赋值，或者配置开关关掉某功能后没设默认 fallback
- 建议在函数体内开头就做
if fn == nil { return ... }，或者用三元风格封装：call := func() int { if fn != nil { return fn() }; return 0 } - 性能影响极小，但能避免线上 panic；Go 编译器不会帮你插 null-check，这是开发者责任
函数类型嵌套时，括号优先级容易写反
像 func() func(int) string 和 func(func(int) string) 看起来差不多，但一个是返回函数的函数，一个是接受函数作为参数的函数。少一个括号，类型就天差地别。
立即学习“go语言免费学习笔记（深入）”；
- 参数差异：
func(int) string是基础函数类型；func() func(int) string表示“无参，返回一个接受 int、返回 string 的函数”；func(func(int) string)表示“接受一个函数作为唯一参数” - 容易踩的坑：写 HTTP 中间件时，误把
func(http.Handler) http.Handler写成func(http.Handler) http.Handler少了一层括号？不，这其实对；真正错的是写成func(http.Handler http.Handler)—— 编译不过，但初学者常卡在这儿半天 - 技巧：用
go vet或 IDE 的类型提示看变量实际推导结果，比死记括号规则更可靠
函数类型不是语法糖，它是 Go 类型系统里真正参与比较、赋值、传递的一等公民。最常被忽略的，是它和接口类型的边界——函数类型不能实现接口（除非你手动包装成 struct），也不能被接口变量直接持有（除非该接口只有一个方法且签名匹配）。这点，在设计可插拔组件时特别容易翻车。
