go 语言通过私有结构体配合公有方法，实现封装与接口抽象——外部无法直接实例化该结构体，但可通过工厂函数获取其值，并调用其导出方法；同时支持面向接口编程，便于测试与扩展。
go 语言通过私有结构体配合公有方法，实现封装与接口抽象——外部无法直接实例化该结构体，但可通过工厂函数获取其值，并调用其导出方法；同时支持面向接口编程，便于测试与扩展。
在 Go 中，“私有结构体 + 公有方法”是一种被广泛采用且高度推荐的设计模式，它并非语法缺陷，而是语言刻意支持的封装机制。其核心思想是：控制类型的创建权，但开放行为能力。
✅ 核心用例一：受控实例化（Factory Pattern）
私有结构体（如 type stack struct{...}）无法被其他包直接构造（&stack{} 在外部非法），但只要它拥有导出方法（如 Push(), Pop()），这些方法就能在类型被合法返回后被调用：
// package txscript（简化示例）
type stack struct {
data []interface{}
}
func (s *stack) Push(v interface{}) { s.data = append(s.data, v) }
func (s *stack) Pop() (interface{}, bool) {
if len(s.data) == 0 { return nil, false }
last := s.data[len(s.data)-1]
s.data = s.data[:len(s.data)-1]
return last, true
}
// 导出工厂函数 —— 唯一合法创建方式
func NewStack() *stack {
return &stack{data: make([]interface{}, 0)}
}在你的代码中即可安全使用：
// package main
import "your/project/txscript"
func main() {
s := txscript.NewStack() // ✅ 合法：通过导出函数获取实例
s.Push("hello") // ✅ 合法：调用导出方法
val, _ := s.Pop() // ✅ 同上
// s := &txscript.stack{} // ❌ 编译错误：cannot refer to unexported name txscript.stack
}⚠️ 注意：结构体字段仍需按需导出（如 data 未导出，确保内部状态不可篡改），方法导出仅表示“可调用”，不等于“可访问内部”。
✅ 核心用例二：面向接口编程（Interface-based Design）
更进一步，Go 生态普遍结合接口抽象使用该模式。包定义导出接口，由私有结构体实现，再通过导出构造函数返回接口值：
// package foobar
type Stack interface {
Push(interface{})
Pop() (interface{}, bool)
}
type stackImpl struct {
data []interface{}
}
func (s *stackImpl) Push(v interface{}) { /* ... */ }
func (s *stackImpl) Pop() (interface{}, bool) { /* ... */ }
func NewStack() Stack {
return &stackImpl{data: make([]interface{}, 0)}
}此时调用方完全无需感知 stackImpl 的存在，只需依赖 Stack 接口：
func Process(s foobar.Stack) {
s.Push(42)
if v, ok := s.Pop(); ok {
fmt.Println(v)
}
}这种设计天然支持：
- Mock 测试：测试时可传入自定义 Stack 实现，无需修改业务逻辑；
- 多实现扩展：后续可新增 ConcurrentStack 或 PersistentStack，只要满足 Stack 接口即可无缝替换；
- API 稳定性：内部结构变更不影响外部接口契约。
? 总结
- ❌ 你不能绕过 Go 的可见性规则直接使用私有结构体（如 import "xxx"; x := &xxx.privateStruct{} 是非法的）；
- ✅ 你可以且应该通过导出的工厂函数（NewXXX()）获取其实例，并调用其导出方法；
- ✅ 这种模式是 Go “组合优于继承”“接口即契约”哲学的典型实践，被 net/http, database/sql, io 等标准库及主流项目（如 btcd, etcd, gin）广泛采用；
- ? 关键原则：导出接口或行为（methods），隐藏实现细节（struct）和数据（fields） —— 这正是 Go 封装的本质。
