Go 明确放弃 C/C++ 风格的 const 类型限定符（如 const T* 或 T const*），并非疏漏，而是基于“简化类型系统、强调显式契约与运行时/工具链保障”的核心设计哲学所作出的主动取舍。
go 明确放弃 c/c++ 风格的 `const` 类型限定符（如 `const t*` 或 `t const*`），并非疏漏，而是基于“简化类型系统、强调显式契约与运行时/工具链保障”的核心设计哲学所作出的主动取舍。
在 C/C++ 中，const 是一个类型修饰符，可作用于变量、指针、函数参数等多个层级，形成细粒度的不可变性契约（例如 void process(const BigStruct* s) 表示函数承诺不通过该指针修改结构体内容）。这种机制虽增强编译期安全，但也显著增加了类型系统的复杂性——const int*、int const*、int* const、const int* const 等组合易混淆，且需配合 const_cast 或 mutable 等机制应对例外场景，导致学习成本高、误用风险大。
Go 语言则采取截然不同的路径：它不将“不可变性”编码进类型系统，而是通过更直接、更可控的方式实现同等目标：
✅ 1. 值语义 + 显式所有权传递
Go 默认按值传递（copy semantics）。当传入一个结构体时，接收方操作的是副本，原始数据天然不可被修改。即使结构体较大，开发者也明确知晓“是否需要共享”，并据此选择：
- 传值 → 安全、无副作用，适合小结构或需隔离修改的场景；
- 传指针 → 明确表达“有意修改”或“性能敏感”，责任清晰。
type Config struct {
Timeout int
Debug bool
}
// 安全：接收副本，无法影响调用方
func printConfig(c Config) {
c.Timeout = 999 // 只修改本地副本
fmt.Printf("Debug: %v\n", c.Debug)
}
// 明确意图：允许修改原始数据
func updateTimeout(c *Config, t int) {
c.Timeout = t // 调用方必须显式传 &config
}
✅ 2. 不可变数据结构由 const 常量 + 封装保障
对于真正需要全局只读的数据（如配置、枚举、数学常量），Go 提供 const 关键字声明编译期不可变常量（支持类型化/未类型化、iota 枚举、常量组等），并辅以包级封装控制访问：
package config
// 全局只读常量（编译期固化，零运行时开销）
const (
MaxRetries = 3
DefaultPort = 8080
)
// 封装的只读配置（通过构造函数和未导出字段实现逻辑只读）
type ReadOnlyConfig struct {
timeout int // unexported
debug bool
}
func NewReadOnlyConfig(t int, d bool) ReadOnlyConfig {
return ReadOnlyConfig{timeout: t, debug: d}
}
// 仅提供读取方法，无 setter
func (c ReadOnlyConfig) Timeout() int { return c.timeout }
func (c ReadOnlyConfig) Debug() bool { return c.debug }
⚠️ 注意：Go 的 const 仅用于编译期常量（如数字、字符串、布尔、基础类型组合），不适用于运行时对象（如 map、slice、自定义 struct 实例）的“逻辑只读”保护——这正是 C/C++ const 参数语义所覆盖的领域。Go 认为：若需运行时只读视图，应由 API 设计者通过接口抽象（如只暴露 Reader 方法）、文档约定或静态分析工具（如 go vet、staticcheck）来保障，而非强制编译器介入类型检查。
✅ 3. 工具链替代编译器强制：go vet 与静态分析
Go 生态推崇“写正确代码，而非依赖类型防错”。例如：
- go vet 可检测潜在的未使用变量、可疑的 nil 指针解引用；
- 第三方工具（如 golangci-lint）可配置规则，警告对传入指针的意外修改；
- 单元测试与 fuzzing 更能验证行为契约，而非依赖 const 类型标签。
这种“代码即文档 + 工具辅助 + 测试验证”的组合，比 const 类型修饰符更灵活、更易维护，也避免了 C/C++ 中因 const_cast 或 mutable 导致的契约失效问题。
✅ 总结：Go 的取舍逻辑
| 维度 | C/C++ const | Go 的实践 |
|---|---|---|
| 目标 | 编译期强制执行不可变契约 | 运行时行为明确 + 工具链辅助验证 |
| 复杂度 | 类型系统膨胀，学习/维护成本高 | 类型简洁，聚焦逻辑表达 |
| 安全性 | 可被 const_cast / mutable 绕过 | 契约靠设计+测试保障，无“后门” |
| 并发友好 | const 不解决竞态；仍需同步原语 | 鼓励值语义、channel 通信、sync 包显式同步 |
因此，Go 并非“缺少 const”，而是用更符合其工程哲学的方式——显式优于隐式、简单优于复杂、运行时契约优于类型修饰符——重新定义了“如何安全地传递和使用数据”。作为 Go 开发者，与其怀念 const T*，不如拥抱 value semantics、善用 const 常量、设计清晰的接口，并借助 go vet 和测试构建真正的健壮性。
