当前位置:首页 > 文章列表 > Golang > Go问答 > 什么时候应该定义哨兵错误,什么时候使用自定义类型

什么时候应该定义哨兵错误,什么时候使用自定义类型

来源:17golang原创 2026-10-07 15:37:27 0浏览 收藏

只需要让调用方判断“是不是某个固定条件”时,优先定义哨兵错误;调用方还需要读取操作名、资源、位置、状态等结构化信息时,使用自定义错误类型。两者不是互斥选项:自定义类型也可以包装哨兵,让调用方既能用 errors.Is 判断类别,又能用 errors.As 取得详情。

Go 官方错误处理说明:https://go.dev/blog/go1.13-errors

选择标准不是“哪种写法更高级”,而是调用方是否只需要一个稳定的真假判断,还是需要拿到字段继续处理。

先按调用方需要回答的问题选择

设计错误 API 前,先写出调用方真正要问的问题。若问题是“资源是否不存在”“队列是否已关闭”“权限是否被拒绝”,答案只有是或否,哨兵错误最简洁。若问题是“哪个操作失败”“哪个路径有问题”“第几行解析失败”,则需要自定义类型承载字段。

调用方需求推荐模型查询方式
识别一个稳定条件哨兵错误errors.Is
读取操作、资源、位置等详情自定义错误类型errors.As
既判断类别又读取详情自定义类型包装哨兵errors.Is + errors.As
调用方只需知道成功或失败普通错误err != nil
调用方问题与哨兵错误、自定义错误类型及Is和As的静态映射图
图1:错误建模选择关系。固定条件由哨兵错误和 errors.Is 表达,需要结构化详情时由自定义类型和 errors.As 提供;这是静态说明图。

固定条件优先用哨兵错误

哨兵错误通常是包级导出变量,名称以 Err 开头。它适合语义稳定、无需附加字段的条件。最小写法如下:

package catalog

import (
    "errors"
    "fmt"
)

var ErrNotFound = errors.New("catalog item not found") // 对外承诺的稳定错误条件

func Find(id string) error {
    if id == "" {
        return fmt.Errorf("find item %q: %w", id, ErrNotFound) // 增加上下文并保留哨兵语义
    }
    return nil
}

调用方不要写 err == ErrNotFound,因为外层一旦用 %w 增加上下文,直接相等就会失败。标准写法是:

err := catalog.Find("")
if errors.Is(err, catalog.ErrNotFound) {
    // 这里可以转成 404、空结果或业务提示
    handleMissingItem()
}

哨兵错误的代价是它会成为公开 API。调用方开始依赖它后,包就应持续保证相同条件仍可被 errors.Is 识别。因此不要为每条内部失败都导出一个变量,只有调用方确实需要分支处理的条件才值得公开。

需要结构化详情时使用自定义类型

错误文本里虽然也能写入路径、操作名和偏移量,但调用方不应解析字符串。自定义类型把这些信息变成稳定字段。标准库中的 fs.PathError 就包含 Op、Path 和 Err,并实现 Unwrap。

type ParseError struct {
    File string
    Line int
    Err  error
}

func (e *ParseError) Error() string {
    return fmt.Sprintf("parse %s at line %d: %v", e.File, e.Line, e.Err) // 文本用于人类排障
}

func (e *ParseError) Unwrap() error {
    return e.Err // 保留底层原因供 errors.Is 与 errors.As 遍历
}

func parseConfig(file string) error {
    return &ParseError{File: file, Line: 18, Err: ErrInvalidSyntax} // 字段供调用方结构化处理
}

调用方用 errors.As 取得类型,不要只对最外层做类型断言:

var parseErr *ParseError
if errors.As(err, &parseErr) {
    // 可按文件和行号生成定位信息,无需解析错误字符串
    reportLocation(parseErr.File, parseErr.Line)
}

类型字段一旦导出,同样会形成兼容性承诺。字段应尽量少而稳定,避免直接塞入数据库连接、HTTP 响应对象或第三方 SDK 类型。

同时需要类别和详情时组合两者

生产代码经常既需要稳定类别,也需要诊断详情。例如配置解析失败属于“无效配置”,同时还要知道文件和行号。此时让自定义类型包装哨兵即可:

var ErrInvalidConfig = errors.New("invalid config") // 提供稳定的类别判断

func loadConfig(file string) error {
    cause := fmt.Errorf("line 18: %w", ErrInvalidConfig) // 将类别放入错误树
    return &ParseError{File: file, Line: 18, Err: cause} // 自定义类型继续携带详情
}

func inspect(err error) {
    if errors.Is(err, ErrInvalidConfig) {
        // 类别判断不依赖 ParseError 的具体字段
        markConfigRejected()
    }

    var parseErr *ParseError
    if errors.As(err, &parseErr) {
        // 详情用于展示定位信息或结构化日志
        reportLocation(parseErr.File, parseErr.Line)
    }
}

如果不同值应匹配同一个模板,也可以给自定义类型实现 Is(error) bool。不过匹配规则应保持浅层,只比较当前错误和目标,不要在 Is 方法里再次调用 Unwrap,错误树遍历交给标准库完成。

把导出错误当作 API 权限边界

Go 官方文档强调,是否用 %w 包装底层错误是一项 API 决策。调用方一旦能通过 errors.Is 观察到 sql.ErrNoRows,数据库驱动就不再是纯内部细节。未来换存储实现时,为保持兼容,你仍可能被迫模拟原来的错误。

更稳妥的做法是在包边界转换语义:

func LookupUser(id string) error {
    err := queryUser(id)
    if errors.Is(err, sql.ErrNoRows) {
        return fmt.Errorf("lookup user %q: %w", id, ErrNotFound) // 将驱动错误收敛为领域哨兵
    }
    if err != nil {
        return fmt.Errorf("lookup user %q failed", id) // 不向调用方暴露不稳定的内部类型
    }
    return nil
}

安全边界也要考虑字段内容。自定义错误不要携带明文令牌、完整 SQL、密码、身份证号或未经清洗的请求体。需要排障的数据可以使用内部日志字段保存,返回给调用方的错误只保留必要信息。

调用方、公开错误语义、错误转换层和内部实现的静态模块关系图
图2:错误 API 边界。调用方只依赖公开哨兵和公开类型,转换层把内部驱动错误收敛为稳定语义,日志边界保留受控诊断信息;这是静态结构图。

日志记录与错误返回各负其责

错误类型负责传递语义,不应在 Error()、Unwrap() 或构造函数里自动写日志。否则同一个错误经过多层时可能被重复记录。通常在请求入口、任务边界或最终失败处记录一次,并用 errors.As 提取受控字段。

func logFailure(logger *slog.Logger, err error) {
    attrs := []any{"error", err.Error()} // 默认只记录通用错误文本

    var parseErr *ParseError
    if errors.As(err, &parseErr) {
        attrs = append(attrs, "file", parseErr.File, "line", parseErr.Line) // 只加入允许审计的结构化字段
    }

    logger.Error("request failed", attrs...) // 在统一边界记录一次
}

若日志平台会采集错误文本,还要审查 Error() 是否包含用户输入。结构化字段便于脱敏、索引和告警,也比解析错误字符串更稳定。

发布前用兼容性清单复查

错误 API 上线前,可以用下面的清单快速检查:

  • 调用方只需真假判断时,是否误用了带大量字段的类型?
  • 调用方需要字段时,是否仍在解析错误字符串?
  • 导出的哨兵和类型是否真的是长期承诺,而不是驱动细节?
  • 包装多层后,errors.Is 与 errors.As 是否仍能命中?
  • 错误文本和公开字段是否可能泄露敏感信息?
  • 日志是否只在责任边界记录一次?
func TestLookupUserNotFound(t *testing.T) {
    err := LookupUser("missing")
    if !errors.Is(err, ErrNotFound) {
        t.Fatalf("期望 ErrNotFound,实际为 %v", err) // 验证公开语义经过包装后仍保持稳定
    }
}

func TestParseErrorDetails(t *testing.T) {
    err := loadConfig("app.conf")
    var target *ParseError
    if !errors.As(err, &target) || target.Line != 18 {
        t.Fatalf("未取得 ParseError 或行号不正确:%v", err) // 验证调用方依赖的字段契约
    }
}

常见问题

哨兵错误应该导出还是保持包内私有?

只有外部调用方确实需要识别时才导出。若只用于包内分支,保持私有能减少兼容性负担。

自定义错误类型应该返回值还是指针?

通常返回指针更合适,避免复制较大的字段,也让 errors.As 的目标类型保持明确。关键是整个包内保持一致,并在文档和测试中固定用法。

可以同时定义很多哨兵错误吗?

可以,但每个导出变量都是调用方可能依赖的 API。若错误条件需要不断扩展字段,或类别数量开始膨胀,应考虑一个受控的自定义类型和少量稳定分类。

参考资料:Go 1.13 错误处理:https://go.dev/blog/go1.13-errors;errors 标准库:https://pkg.go.dev/errors;fmt.Errorf:https://pkg.go.dev/fmt#Errorf;fs.PathError:https://pkg.go.dev/io/fs#PathError

版本声明
本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
Docker 数据卷备份与恢复:从挂载确认到校验Docker 数据卷备份与恢复:从挂载确认到校验
上一篇
Docker 数据卷备份与恢复:从挂载确认到校验
模型路由怎么做:按任务难度分配速度、成本与质量
下一篇
模型路由怎么做:按任务难度分配速度、成本与质量
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    543次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    516次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    500次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    485次学习
查看更多
AI推荐
  • PubMedQA数据集详解:生物医学问答基准、功能与应用指南
    PubMedQA
    深入了解PubMedQA生物医学问答数据集,涵盖其核心功能、使用方法及在临床决策、药物研发等场景的应用,助力提升NLP模型性能。
    365次使用
  • H2O EvalGPT:开源LLM大模型评估与排行榜工具
    H2O EvalGPT
    H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
    421次使用
  • LMArena是什么?伯克利AI模型评估平台使用指南与功能解析
    LMArena
    LMArena是加州大学伯克利分校推出的AI模型匿名评测平台。通过盲测投票机制,用户可对比不同大模型回答并生成实时排行榜,助力开发者优化模型及用户选择最佳AI工具。
    435次使用
  • 斯坦福HELM:大语言模型Holistic Evaluation整体评估框架详解
    HELM
    深入了解斯坦福推出的HELM(Holistic Evaluation of Language Models)大模型评测体系。本文解析其核心功能、安装配置步骤及应用场景,涵盖准确性、公平性、鲁棒性等多维度指标,助力开发者全面优化语言模型性能。
    387次使用
  • MMBench详解:多模态大模型基准测试、功能特点与使用指南
    MMBench
    MMBench是由上海人工智能实验室等机构联合推出的多模态基准测试平台,提供细粒度能力评估、大规模数据集及VLMEvalKit工具。本文详细介绍其核心功能、安装使用方法及应用场景,助力开发者全面评估多模态模型性能。
    214次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议 和 隐私政策
返回登录
  • 重置密码