能写纯函数，但需主动约束：不读全局变量、不改输入、不调外部状态、返回值只依赖参数；须用值类型或只读副本，避免指针和副作用类型，警惕日志、String()方法、sort.Ints及闭包捕获等隐式副作用。
纯函数在 Go 里到底能不能写？
能，但 Go 不是 Haskell，pure function 是一种设计约束，不是语言特性。Go 没有强制不可变或禁止副作用的语法，所以“高内聚的纯函数”本质是你主动放弃某些语言自由：不读全局变量、不改输入、不调外部状态、返回值只依赖参数。一旦你调了 time.Now()、rand.Intn()、os.Getenv() 或修改了传入的 []int，它就不是纯函数了。
怎么让一个 Go 函数真正纯？
关键不是“怎么写”，而是“怎么防”。Go 编译器不会拦你，得靠约定和结构设计：
- 输入必须是值类型（
int、string、struct{}）或**不可变的只读副本**（比如用[]byte但函数内部不改它，或接收[][]byte前先copy一份） - 避免指针参数——除非你明确标注为
in且文档声明“只读”，否则很容易意外修改 - 函数签名里不出现
*sync.Mutex、io.Writer、http.ResponseWriter这类带副作用的类型 - 返回新值，而不是复用输入对象。例如：不要
func normalize(s *strings.Builder)，而用func normalize(s string) string
常见踩坑：你以为纯，其实早被污染了
这些看似无害的操作，都会让函数变“脏”：
Alibabacloud Sdk Client Initialization For Golang
下载
初始化并管理阿里云SDK Go 客户端，涵盖 sync.Once 单例、goroutine 安全、endpoint 与 region 配置、VPC 端点及调试。
-
log.Printf()—— 即使只是调试日志，也是 I/O 副作用 -
fmt.Sprintf("%v", x)—— 看似安全，但如果x是自定义类型且String()方法访问了全局计数器，那就不是纯的 -
sort.Ints(nums)—— 直接改原切片；正确做法是sorted := append([]int(nil), nums...); sort.Ints(sorted) - 闭包捕获外部变量：
var multiplier int; fn := func(x int) int { return x * multiplier }——multiplier变了，输出就不可预测
什么时候值得坚持写纯函数？
不是所有地方都要纯，但以下场景收益明显：
立即学习“go语言免费学习笔记（深入）”；
- 数据转换管道（如 JSON → domain struct → DTO），每个环节可独立测试、缓存、并行执行
- 配置解析逻辑，比如
func parseRateLimit(cfg map[string]interface{}) (int, error)—— 输入确定，输出就确定，不怕并发竞争 - 单元测试里构造测试用例：纯函数天然支持 property-based testing（比如用
github.com/leanovate/gopter生成随机输入验证不变性） - 与 WASM 或服务网格 sidecar 集成时，纯函数更容易跨语言复用或做 deterministic replay
最常被忽略的一点：纯函数不等于性能更好——深拷贝 []byte 或反复构造 map 可能拖慢吞吐。是否纯，优先看语义契约是否清晰，而不是微基准测试数字。
