Go函数类型需显式声明完整签名，参数与返回值类型必须完全匹配；支持赋值、传参、返回及闭包，但比较仅限nil或同一匿名函数实例，类型别名可提升可读性但不改变兼容规则。
函数类型声明必须显式写出参数和返回值
Go 里没有“函数指针”这个独立类型，只有函数类型（func(int) string 这种），它本身就可以赋值给变量、作为参数传入、从函数返回。关键在于：类型签名必须完全匹配，包括参数顺序、类型、数量，以及返回值个数和类型。
常见错误是以为 func() 和 func() int 可以互相赋值——它们是完全不同的类型，编译直接报错：cannot use ... (type func()) as type func() int in assignment。
- 声明函数变量时，类型要写全：
var f func(string, int) bool - 用类型推导时，右边必须是具名函数或字面量，且签名一致：
f := myFunc // myFunc 必须是 func(string, int) bool - 匿名函数赋值需显式标注类型或确保上下文可推导：
f = func(s string, n int) bool { return len(s) > n }
把函数当参数传给另一个函数的写法
这是最常遇到的场景，比如回调、策略模式。接收方函数签名里要明确写出函数类型的形参，不能只写 func 或漏掉括号。
func apply(op func(int, int) int, a, b int) int {
return op(a, b)
}
func main() {
add := func(x, y int) int { return x + y }
result := apply(add, 10, 5) // ✅ 正确
}
容易踩的坑：
立即学习“go语言免费学习笔记（深入）”；
- 传的是函数值（
add），不是调用结果（add(1,2)） - 如果函数有多个返回值，接收方参数类型也必须匹配全部返回值，哪怕你只关心第一个
- 闭包捕获外部变量时要注意生命周期——只要函数变量还活着，被捕获的变量就不会被 GC
函数变量支持比较但仅限于 nil 和相同函数字面量
Go 允许用 == 比较两个函数变量，但结果非常受限：只有都为 nil，或指向**同一个函数字面量**（注意：不是同一类签名，而是内存中同一个匿名函数实例）时才为 true。
fn1 := func() {}
fn2 := func() {}
fmt.Println(fn1 == fn2) // ❌ false，即使内容一样，也是不同实例
var f1, f2 func()
fmt.Println(f1 == f2) // ✅ true，都是 nil
f1 = func() {}
f2 = f1
fmt.Println(f1 == f2) // ✅ true，同一变量赋值
这意味着你不能靠函数相等来判断“逻辑相同”，也不能拿它做 map key（除非是 nil 或固定变量引用）。真要区分行为，得靠额外标识或接口封装。
函数类型别名能提升可读性但不解决签名兼容问题
当函数签名复杂时（比如带多个 error 返回、context 参数），定义类型别名能让代码更清晰，但它只是别名，不是新类型——和原函数类型完全等价，可以自由赋值。
type HandlerFunc func(context.Context, *http.Request) error
type Middleware func(HandlerFunc) HandlerFunc
func logging(h HandlerFunc) HandlerFunc {
return func(ctx context.Context, r *http.Request) error {
log.Println("before")
return h(ctx, r)
}
}
注意点：
- 别名不能绕过签名检查：把
func(string) int赋给type MyFn func(int) string依然编译失败 - 别名在反射中仍显示为原始函数类型，不影响运行时行为
- 如果函数签名涉及泛型（Go 1.18+），类型别名必须包含完整类型参数，例如
type Mapper[T, U any] func(T) U
真正难的不是语法，是设计时想清楚：这个函数变量该持有哪些上下文？要不要支持取消？错误是否需要统一包装？这些决定了签名里要不要加 context.Context、...error 或自定义错误类型。
