Go 明确禁止指针算术（如 p++ 或 p + 1），以保障内存安全与垃圾回收可靠性；虽可通过 unsafe 包绕过限制，但属未定义行为，强烈不推荐在生产代码中使用。
go 明确禁止指针算术（如 `p++` 或 `p + 1`），以保障内存安全与垃圾回收可靠性；虽可通过 `unsafe` 包绕过限制，但属未定义行为，强烈不推荐在生产代码中使用。
在 C 或 C++ 中，开发者常借助指针算术（pointer arithmetic）遍历数组、实现底层数据结构或优化性能，例如 int* p = &arr[0]; p++;。然而，Go 语言从设计之初就主动放弃了这一特性。这不是语法疏漏，而是深思熟虑的安全权衡。
根据 Go 官方 FAQ，禁用指针算术的核心原因有三点：
- 内存安全：消除非法地址计算（如越界偏移）导致的静默错误或崩溃；
- 编译器与硬件优化成熟：现代编译器能将基于索引的循环（如 for i := 0; i
- GC 实现简化：垃圾收集器无需处理任意地址的指针值，大幅降低复杂度与出错风险。
因此，Go 中合法的指针操作仅限于：
- 取地址（&x）和解引用（*p）；
- 在接口、切片、映射等抽象类型内部由运行时管理的指针；
- 通过 unsafe.Pointer 进行有限的类型擦除转换（需严格遵循规则）。
⚠️ 虽然技术上可通过 unsafe 包模拟指针算术，但这是危险且不可移植的做法。以下示例仅作原理演示，绝不可用于生产环境：
package main
import (
"fmt"
"unsafe"
)
func main() {
vals := []int{10, 20, 30, 40}
start := unsafe.Pointer(&vals[0]) // 获取首元素地址
elemSize := unsafe.Sizeof(int(0))
for i := 0; i <p>该代码依赖 unsafe 包绕过类型系统，一旦切片底层数组被 GC 移动（如发生扩容或并发写入）、或 elemSize 计算错误、或 i 越界，都将触发<strong>未定义行为（undefined behavior）</strong>——可能崩溃、读取脏数据，甚至破坏内存布局。</p><p>✅ 正确做法始终是使用 Go 的原生机制：</p>
- 遍历切片：for i, v := range slice { ... } 或 for i := 0; i
- 操作底层内存（极少数场景，如编写 syscall 封装或高性能序列化库）：严格遵循 unsafe 文档规范，配合 reflect.SliceHeader 等受控方式，并充分测试。
总结：Go 放弃指针算术不是能力的缺失，而是对“默认安全”的坚定承诺。拥抱索引访问、范围循环与切片抽象，不仅代码更清晰、更健壮，也真正契合 Go “少即是多”（Less is exponentially more）的工程哲学。
