17370845950

在 go 1.18 之前，无法为用户函数定义真正意义上的泛型，因此不能直接编写 `catcherror[t](val t, err error) t` 这样的类型参数化函数；但可通过方法接收者+重载式设计，在保持编译期类型安全的前提下，优雅地聚合解析、校验与错误收集逻辑。

Go 的类型系统强调显式性与编译期安全性。虽然语言早期不支持泛型（Go 1.18 引入），但并不意味着必须退化为 interface{} + 类型断言——那会牺牲类型安全并引入运行时 panic 风险。更符合 Go 惯用法（idiomatic）的方案是：将错误收集状态封装为结构体，并为常用类型提供强类型的链式方法。

以下是一个生产就绪的示例实现：

type ValidationError struct {
    Field string
    Msg   string
}

func (e ValidationError) Error() string {
    return e.Field + ": " + e.Msg
}

type ErrorList []ValidationError

// addIfNotNil 是核心错误聚合逻辑
func (l *ErrorList) addIfNotNil(err error) {
    if err != nil {
        if ve, ok := err.(ValidationError); ok {
            *l = append(*l, ve)
        } else {
            *l = append(*l, ValidationError{Msg: err.Error()})
        }
    }
}

// 为每种目标类型提供专用方法 —— 编译期类型安全，零反射，无 panic 风险
func (l *ErrorList) Int(x int, err error) int {
    l.addIfNotNil(err)
    return x
}

func (l *ErrorList) Float64(x float64, err error) float64 {
    l.addIfNotNil(err)
    return x
}

func (l *ErrorList) String(x string, err error) string {
    l.addIfNotNil(err)
    return x
}

// 支持自定义结构体（需确保 parseAndValidateLocation 返回 (Location, error)）
func (l *ErrorList) Location(x Location, err error) Location {
    l.addIfNotNil(err)
    return x
}

使用方式简洁清晰，且完全保有类型推导与编译检查：

var errors ErrorList

data := MyStruct{
    Age:              errors.Int(parseAndValidateAge("5")),
    DistanceFromHome: errors.Float64(parseAndValidatePi("3.14")),
    Location:         errors.Location(parseAndValidateLocation("3.14,2.0")),
}

if len(errors) > 0 {
    log.Printf("Validation failed with %d errors: %+v", len(errors), errors)
    // 处理错误或返回 HTTP 400 等
}

✅ 优势总结：

• ✅ 类型安全：每个 errors.Xxx(...) 方法签名明确，编译器强制匹配输入/输出类型；
• ✅ 零运行时开销：无接口装箱、无类型断言、无反射；
• ✅ 可扩展性强：新增类型只需添加对应方法（如 Time(t time.Time, err error) time.Time）；
• ✅ 语义清晰：errors.Int(...) 直观表达“尝试获取 int 并记录错误”，比 catchError(...) 更贴近 Go 的命名哲学。

⚠️ 注意事项：

• 若解析函数返回的是指针（如 *int, *Location），请额外提供 IntPtr, LocationPtr 等方法以避免解引用风险；
• Go 1.18+ 用户可无缝升级为泛型版本（使用 func (l *ErrorList) Value[T any](x T, err error) T），但上述非泛型写法在旧版本中仍完全适用且更稳定；
• 避免将 ErrorList 设计为全局变量——它应是请求/表单作用域内的局部状态，确保并发安全（若需并发解析，建议每个 goroutine 持有独立实例）。

这种模式被广泛应用于 Gin、Echo 等框架的表单绑定中间件中，是 Go 生态中经受过大规模验证的“伪泛型”最佳实践。