Go 接口中只暴露方法集，不暴露具体类型的字段；即使接口值由 *rect 等结构体指针承载，也必须通过类型断言（s.(*rect)）将其还原为具体类型后，才能访问 Width 等字段。
go 接口无法直接访问底层结构体字段：类型断言是安全访问的唯一途径
在 Go 中，接口（如 shapes）本质上是一个方法契约，而非数据容器。它仅承诺“能响应哪些方法调用”，绝不承诺“内部存储什么字段”。当你将 &rect{} 赋值给 shapes 类型变量 s 时，Go 会执行接口装箱（boxing）：将 *rect 的方法表和数据指针打包成一个接口值。此时，s 的静态类型是 shapes，编译器只允许你调用 setWidth() —— 因为这是接口唯一声明的方法；而 s.Width 是非法的，因为 Width 不属于 shapes 的方法集，也不在接口的公开契约中。
这正是 Go 静态类型系统的核心设计原则：编译期类型安全优先。与 Python 或 JavaScript 等动态语言不同，Go 不会在运行时自动“解包”或反射推导字段。接口值就像一张临时通行证——它让你进入大楼（调用方法），但不会给你门禁卡去打开某间办公室（访问私有字段）。
✅ 正确做法：使用类型断言安全提取具体类型
要访问 Width，必须显式告诉编译器：“我确定这个接口值底层是 *rect”，即进行类型断言：
for _, s := range allShapes {
s.setWidth(7)
// 安全断言：检查并提取 *rect
if r, ok := s.(*rect); ok {
fmt.Println("Width via assertion:", r.Width) // ✅ 输出: 7
} else {
fmt.Println("s is not *rect")
}
}
? 关键点：s.(*rect) 返回两个值 —— 转换后的 *rect 实例 r 和布尔标志 ok。若 s 实际是 *circle（也实现 shapes），ok 为 false，避免 panic，保障程序健壮性。
⚠️ 危险写法：省略 ok 的强制断言（应避免）
// ❌ 危险！若 s 不是 *rect，此处直接 panic r := s.(*rect) fmt.Println(r.Width)
这种写法仅适用于100% 确定类型的场景（如单元测试中严格控制输入），生产代码中务必使用带 ok 的安全形式。
? 拓展理解：为什么 Go 这样设计？
- 性能与确定性：避免运行时反射开销，所有类型关系在编译期验证；
- 松耦合与可扩展性：新增 *circle、*triangle 等类型实现 shapes 时，无需修改现有接口调用逻辑；
- 明确意图：强制开发者显式声明“我需要这个具体类型”，提升代码可读性与可维护性。
? 最佳实践总结
| 场景 | 推荐方式 | 说明 |
|---|---|---|
| 安全访问字段或调用非接口方法 | if concrete, ok := interfaceValue.(ConcreteType); ok { ... } | 零 panic 风险，符合 Go 错误处理哲学 |
| 多类型分支处理 | switch v := interfaceValue.(type) | 比嵌套 if 更清晰，适用于多种可能类型 |
| 仅需类型校验（不取值） | if _, ok := interfaceValue.(ConcreteType); ok { ... } | 简洁判断类型存在性 |
归根结底，Go 的接口不是“类型别名”，而是“能力契约”。想用字段？先证明你是谁——类型断言，就是你在 Go 世界里出示的那张身份认证卡。
