Go 标准库中 errors.New 返回的错误底层是 *errorString 结构体，而非直接使用 string 类型——这不仅是为了语义清晰与接口实现一致性，更关键的是通过结构体封装保障错误值的不可变性、可扩展性与类型安全。
go 标准库中 `errors.new` 返回的错误底层是 `*errorstring` 结构体，而非直接使用 `string` 类型——这不仅是为了语义清晰与接口实现一致性，更关键的是通过结构体封装保障错误值的不可变性、可扩展性与类型安全。
在 Go 语言中，error 是一个仅含 Error() string 方法的内建接口。任何实现了该方法的类型，均可作为错误值使用。标准库 errors 包中，New 函数的典型实现如下：
package errors
type errorString struct {
s string
}
func (e *errorString) Error() string { return e.s }
// New returns an error that formats as the given text.
func New(text string) error {
return &errorString{s: text}
}乍看之下，将 errorString 定义为 type errorString string 并用值接收器实现 Error() 方法（如问题中测试代码所示）似乎更简洁。但标准库坚持使用小写首字母的结构体 + 指针接收器，其设计考量远超表面语法，主要体现在以下三方面：
✅ 1. 语义明确性与类型安全性
errorString 是私有结构体（首字母小写），对外完全隐藏实现细节。用户无法绕过 errors.New 构造原始字符串错误，也无法对错误值做类型断言后直接修改其内容（因为字段 s 不可导出）。若采用 type errorString string，虽同样不可导出，但因 string 本身是基础类型，易引发混淆：例如误以为 err == "xxx" 可比较，或试图 err.(string) 强转——而实际 errorString 与 string 是完全不同的类型，不兼容。结构体形式天然强化了“错误是一个独立、封装的实体”的语义。
✅ 2. 未来可扩展性（零成本演进）
结构体为后续增强错误能力预留了干净接口。例如：
- fmt.Errorf 返回的 *wrapError 在结构体中嵌入原始错误和格式化消息；
- os.PathError、json.SyntaxError 等标准错误类型均以结构体承载上下文字段（如 Op, Path, Offset）；
- 自定义错误可轻松添加时间戳、错误码、堆栈跟踪等元信息，而无需破坏现有 Error() 方法签名。
若 errorString 是 string 别名，则无法在不改变类型定义的前提下追加字段——这会破坏所有依赖该类型的代码。
✅ 3. 指针接收器：避免冗余拷贝，统一行为预期
errorString 使用指针接收器 func (e *errorString) Error()，有两大优势：
- 性能：string 类型虽小（通常 16 字节），但作为结构体字段时，指针传递（8 字节）仍略优；更重要的是，它与其他标准错误（如 *PathError）保持一致的行为模式——所有标准库错误均使用指针接收器实现 Error()。
- 一致性：调用 errors.New("msg") 总是返回 *errorString，确保错误值在内存中唯一且可被正确比较（如 errors.Is/errors.As 的底层依赖指针相等性判断）。
⚠️ 注意：尽管 string 在 Go 中不可变，但“保护表示”在此处的真实含义并非防篡改（string 本身已 immutable），而是防止用户误将错误当作裸字符串操作，从而破坏错误抽象边界。结构体封装强制所有交互必须经由 Error() 方法，符合面向接口编程原则。
? 补充：为何 err = "bar" 编译失败？
如问题中测试代码所示，即使定义 type errorString string，err = "bar" 仍报错，原因在于：
- "bar" 是 string 类型，而 err 是 testerr.Error 接口类型；
- string 未实现 Error() string 方法，因此不满足接口；
- 即便 errorString 是 string 别名，"bar" 仍是 string，不是 errorString，更非 Error 接口实例。
这恰恰印证了：类型系统本身已提供足够保护，而结构体设计进一步加固了这一抽象层。
综上，errorString 采用结构体而非字符串，是 Go 语言在简洁性、扩展性、类型安全与工程实践之间做出的深思熟虑的平衡——它让错误处理既轻量又稳健，既简单又可演进。
