Go 明确禁止指针算术（如 p++、p + 1），以保障内存安全与垃圾回收可靠性；虽可通过 unsafe 包绕过限制，但属未定义行为，严禁在生产代码中使用。
go 明确禁止指针算术（如 `p++`、`p + 1`），以保障内存安全与垃圾回收可靠性；虽可通过 `unsafe` 包绕过限制，但属未定义行为，严禁在生产代码中使用。
在 Go 语言中，指针是类型安全的引用工具，而非内存地址的通用操作符。与 C/C++ 不同，Go 的指针设计刻意摒弃了指针算术（pointer arithmetic）——你无法对指针执行加减整数、递增/递减等操作，例如以下写法在 Go 中编译直接报错：
var arr = [4]int{10, 20, 30, 40}
p := &arr[0]
// ❌ 编译错误：invalid operation: p + 1 (mismatched types *int and int)
// q := p + 1
这一限制并非技术缺失，而是 Go 核心设计哲学的体现。官方 FAQ 明确指出：禁用指针算术首要目标是内存安全。它从根本上杜绝了越界访问、悬垂指针和非法地址解引用等常见漏洞，使程序更健壮，也大幅简化了运行时（尤其是垃圾收集器）对内存布局的管理逻辑。现代编译器优化能力已足够强，基于索引的传统循环（如 for i := range slice）在性能上与 C 风格指针遍历完全持平，无需以牺牲安全性为代价换取微小的底层控制权。
当然，Go 提供了 unsafe 包作为“逃生舱口”，允许开发者在极少数场景（如编写底层运行时、高性能序列化库或与 C 互操作）中进行底层内存操作。下面是一个仅用于教学演示的 unsafe 指针偏移示例：
package main
import (
"fmt"
"unsafe"
)
func main() {
vals := []int{10, 20, 30, 40}
if len(vals) == 0 {
return
}
// 获取首元素地址（unsafe.Pointer）
start := unsafe.Pointer(&vals[0])
elemSize := unsafe.Sizeof(int(0)) // int 类型大小（通常为 8 字节）
// 手动计算每个元素地址并解引用
for i := 0; i <p>⚠️ <strong>重要警告</strong>： </p>
- 此代码严重依赖底层内存布局假设（如切片底层数组连续、无 GC 移动干扰），一旦违反（例如切片扩容、GC 压缩内存），将导致崩溃或静默数据损坏；
- unsafe 操作绕过 Go 类型系统与内存安全检查，不属于 Go 语言规范保证的行为；
- 官方文档明确建议：“unsafe 应仅由标准库作者使用；普通应用开发者应完全避免”。
✅ 正确实践推荐：
- 使用 for range 遍历切片/数组：语义清晰、零开销、绝对安全；
- 需要索引时用 for i := range slice 或 for i := 0; i
- 若需底层控制（如零拷贝解析二进制协议），优先考虑 reflect.SliceHeader（仍需谨慎）或成熟第三方库（如 golang.org/x/exp/slices），而非手写 unsafe 逻辑。
总之，Go 的“无指针算术”不是限制，而是对工程可靠性的坚定承诺。拥抱语言的设计约束，往往比强行突破边界更能写出简洁、可维护、可扩展的高质量代码。
