Go语言中*int与[]int属于不同类型的原因是什么？

有C/C++开发经验的开发者会有这个疑问很正常，这是C中数组名可隐式退化为指针的设计带来的固有思维，二者在Go的设计里从底层结构到语义都完全不同，核心原因如下：

• 底层结构差异
  *int是标准的指针类型，底层仅存储单个内存地址，指向唯一的一个int类型值的存储位置，除了地址之外没有任何附加信息。你只能对它执行解引用*p操作获取对应的单个int值，直接按下标访问p[1]属于非法操作，编译阶段就会被拒绝。
  []int是切片类型，底层是包含三个字段的复合结构体：指向底层数组首元素的*int指针、切片当前有效长度len、切片最大可用容量cap。它本身根本不是指针，只是内置了指向实际存储序列的指针字段而已。
• 语义与能力差异
  *int的设计语义就是单个int值的引用，通常用来实现基础类型的引用传递，没有任何序列操作的能力。
  []int的设计语义是可变长度的int序列，要支持安全的下标访问、切片截取、动态扩容等能力，这些能力完全依赖结构体里的长度、容量元信息来实现，比如下标访问时的越界检查就需要对比访问下标和len字段的值，纯*int根本不具备这些信息，也不可能实现这些能力。
• 类型安全层面的设计考量
  C中数组退化为指针的设计是大量内存越界漏洞的来源，Go在设计时特意从类型层面严格区分了单值指针和序列类型，从编译阶段就杜绝了将单值指针当作序列随意访问的错误行为，大幅降低了内存安全风险。

内容的提问来源于stack exchange，提问作者Gabe Spound