Go语言禁止指针算术运算以提升安全性，防止内存越界、悬挂指针和安全漏洞；简化编程模型，降低学习成本，配合GC并鼓励使用更安全的抽象；通过unsafe.Pointer在必要时提供受控的底层内存操作能力。

Go语言不允许指针进行算术运算是其核心安全设计之一。这并非功能缺失，而是有意为之的限制，旨在提升程序的稳定性和开发效率。

安全性是首要考量

允许指针加减偏移等操作，很容易引发严重的内存问题：

- 内存越界访问：错误计算地址可能读写不属于当前对象的内存区域，导致数据被意外修改或程序崩溃。- 悬挂指针风险：运算后指向已释放内存的指针难以追踪，解引用会引发不可预知的行为。- 安全漏洞温床：这类内存错误常被利用来执行恶意代码，禁止运算能有效减少此类攻击面。

简化编程模型

Go的设计哲学偏向于简单和可维护，限制指针运算对此有直接帮助：

Golang Uber Dig

使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等

下载

- 降低学习门槛：开发者无需深入理解复杂的指针运算规则，减少了出错的可能性。- 配合垃圾回收：Go拥有自动GC机制，手动进行指针运算可能干扰GC对内存存活状态的判断，带来隐患。- 推崇更安全的抽象：对于数组或切片遍历等场景，使用索引或range语句比指针偏移更清晰、更不易犯错。

提供受控的底层能力

虽然常规指针禁止运算，但Go通过unsafe.Pointer为必要场景提供了出路：

立即学习“go语言免费学习笔记（深入）”；

- unsafe包的存在意义：在需要与C代码交互、实现序列化库或编写运行时等底层库时，可以直接操作内存地址。- 明确的风险提示：unsafe包的名字本身就警示了其危险性，使用它意味着放弃编译器的部分保护，必须由程序员自己保证安全。- 性能关键场景：在极少数追求极致性能且能严格控制风险的地方，可以绕过类型系统进行优化。

基本上就这些。Go的选择是在安全性和灵活性之间取得平衡，鼓励使用更安全的编程方式，同时不完全堵死对底层控制的需求。