Golang语言异常机制解析:错误策略与优雅处理

本文涉及的产品
日志服务 SLS,月写入数据量 50GB 1个月
云解析 DNS,旗舰版 1个月
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
简介: Golang语言异常机制解析:错误策略与优雅处理

前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站前言


前言

作为开发者来说,我们没办法保证程序在运行过程中永远不会出现异常,对于异常,在很多编程语言中,可以用 try-catch语句来捕获,而Go语言的开发者显然觉得 try-catch被滥用了,因此 Go不支持使用 try-catch语句捕获异常处理。


那么,Go语言是如何定义和处理程序的异常呢?


Go语言的将程序运行出现的问题分为两种:错误(error)和异常(exception),错误是程序(比如一个函数)运行的预期结果之一,当你调用一个函数时,就应该处理出现错误的情况,而异常是不可预期的(当然也可以手动触发)且会导致程序中断运行的严重错误。

Go错误处理策略

编写Go语言程序,一般推荐通过函数的最后一个返回值告诉调用者函数是否执行成功,可以分两种情况来讨论:

第一种情况,如果函数的执行结果只有正确与失败,那么返回值可以是 boolean类型:

func exists(key string) bool {
  //to check if the key is exists
  return true
}
 
if ok := exists("test"); ok {
  // do something
}


第二种情况,如果要让调用者得到更详细的错误信息,显然只返回一个布尔值是不够的,这时候可以返回一个 error类型,error类型是一个接口,只有一个 Error方法的接口:

type error interface {
  Error() string
}

通过 error类型的 Error方法,可以获得更详细的错误信息,方便调用者做进一步的处理,因此在 Go标准库的方法和函数中,一般都会将 error类型作为最后一个返回值,比如我们以前文章中讲到的 os包下的 OpenCreate函数:

package os
 
func Open(name string) (*File, error) {
  return OpenFile(name, O_RDONLY, 0)
}
 
func Create(name string) (*File, error) {
  return OpenFile(name, O_RDWR|O_CREATE|O_TRUNC, 0666)
}

当函数最后一个返回值 error不为 nil时,表示执行不成功,此时其他的返回值就应该忽略:

file,err := os.Open("./my.dat")
 
if err != nil{
    return err
}
 
defer file.Close()

上面代码中,如果 error不为 nil,那么变量 file则为 nil,表示无法获得一个文件句柄,这时候直接返回错误,因为如果再继续往下执行,可能会引发程序崩溃。


当然并不是所有情况下一遇到返回的 error不为 nil,就要抛弃其他返回值,比如使用 Read()方法读取文件时:

Read(p []byte) (n int, err error)


在读取文件到结尾时 Read方法会返回一个 io.EOF的错误:

var EOF = errors.New("EOF")

此时虽然 error不为 nil,但仍然应该把读取到的字节数组保存,而不是抛弃掉。

创建error的几种方式

当我们开发自己的函数时,也可以创建自己的错误类型,有以下几种方式:


errors包

errors包下的 New()函数可以创建一个只有文本信息的 error类型:

package main
 
func main() {
  var s = []int{1, 2, 3}
  s[3] = 10
}


fmt包

fmt包下的 Errorf函数可以将文本格式后作为error类型的错误信息,并返回一个error类型,因此其作用与errors.New函数类似

func getFile(name string)(*os.file,error){
  if name == ""{
    return nil,fmt.Errorf("file name could not be empty")
  }
}

fmt.Errorf函数还能封装其他 error类型,再返回一个新的 error类型,以此形成一条完整的错误链条:

doc, err := html.Parse(resp.Body)
resp.Body.Close()
if err != nil {
  return nil, fmt.Errorf("parsing %s as HTML: %v", url,err)
}
自定义错误类型

其实,上面两种创建错误类型的方式,本质上都是实现 error接口,我们也可以创建一个拥有 Error方法的类型来实现 error接口:

type Result struct {
  Code    int
  Message string
  Data    interface{}
}
 
func (r Result) Error() string {
  return r.Message
}

如何处理错误

当调用的函数或方法的返回值有 error类型时,最简单的当然可以选择直接忽略错误,不过更恰当的方式是处理对应的错误,有以下几种处理策略:


直接返回错误

对于函数来说,如果在执行时遇到错误,可以直接返回给上层调用者:

func SendMessage(url string) error {
  if url == ""{
    return errors.New("url can't not be empty")
  }
  _, err := http.Get(url)
  if err != nil {
    return err
  }
  return nil
}
记录日志并继续运行

当调用函数时遇到返回的错误,如果不影响程序运行,也可以选择记录错误日志并往下执行:

if err := SendMessage("https://xxx/sendMessage");err != nil{
  log.Printf("the message sending been broken by : %v\n", err)
}
 
记录日志并结束运行

如果错误影响程序的执行,也可以记录日志后,退出程序执行:

if err := SendMessage("https://xxx/sendMessage");err != nil{
  log.Printf("the message sending been broken by : %v\n", err)
  os.Exit(1)
}

记录日志并退出执行,直接用 log包的 Fatalf函数就可以做到,因此上面代码的更简洁做法是:

if err := SendMessage("https://xxx/sendMessage");err != nil{
  log.Fatalf("the message sending been broken by : %v\n", err)
}


Go异常处理机制

在Go语言中,异常是指会引发程序崩溃无法继续运行的错误,比如数组越界或者空指针引用等情况,这时候会触发 panic异常:

package main
 
func main() {
  var s = []int{1, 2, 3}
  s[3] = 10
}


上面程序运行结果如下,可以看出触发了数组越界的异常:

panic: runtime error: index out of range [3] with length 3


无论是在主协程还是子协程中,一旦触发 panic异常,整个程序都会终止运行。

panic函数

除了数组越界等不可预测的异常会自动触发 panic,也可以手动调用 panic函数触发异常来终止程序的运行:

func loadConfig(path string){
  panic("can't load the config file on path " + path)
}


一个良好的程序最好不要主动调用 panic函数,尤其是开发类库的时候,最好通过返回 error类型来告诉调用者发生了什么错误,而不是触发 panic导致程序终止运行。

recover函数

当发生 panic异常时,如果不捕获得异常,那么程序就是终止运行,在Go语言中,可以用 defer语句和 recover函数的模式来捕获 panic异常:

1package main
 
import (
  "fmt"
  "log"
)
 
func main() {
 
  n1 := FindElementByIndex(1)
  fmt.Println(n1)
  
  n2 := FindElementByIndex(4)
  fmt.Println(n2)
}
 
func FindElementByIndex(index int) int {
  defer func() {
    if e := recover(); e != nil {
      log.Fatal(e)
    }
  }()
  s := []int{1, 2, 3, 4}
  return s[index]
}
 


总结

   本文深入探讨了Go语言的错误策略与异常机制。主要介绍了错误处理的重要性,以及Go语言中的错误类型和处理函数。此外还讨论了Go语言的异常机制,包括panic和recover函数的使用。通过合理的错误处理和异常处理,我们可以提高代码的可维护性和可靠性,减少潜在的bug和故障。希望本文对您有帮助,感谢阅读~

相关文章
|
1月前
|
监控 Java 应用服务中间件
高级java面试---spring.factories文件的解析源码API机制
【11月更文挑战第20天】Spring Boot是一个用于快速构建基于Spring框架的应用程序的开源框架。它通过自动配置、起步依赖和内嵌服务器等特性,极大地简化了Spring应用的开发和部署过程。本文将深入探讨Spring Boot的背景历史、业务场景、功能点以及底层原理,并通过Java代码手写模拟Spring Boot的启动过程,特别是spring.factories文件的解析源码API机制。
71 2
|
2月前
|
存储 缓存 算法
分布式锁服务深度解析:以Apache Flink的Checkpointing机制为例
【10月更文挑战第7天】在分布式系统中,多个进程或节点可能需要同时访问和操作共享资源。为了确保数据的一致性和系统的稳定性,我们需要一种机制来协调这些进程或节点的访问,避免并发冲突和竞态条件。分布式锁服务正是为此而生的一种解决方案。它通过在网络环境中实现锁机制,确保同一时间只有一个进程或节点能够访问和操作共享资源。
89 3
|
18天前
|
PHP 开发者 UED
PHP中的异常处理机制解析####
本文深入探讨了PHP中的异常处理机制,通过实例解析try-catch语句的用法,并对比传统错误处理方式,揭示其在提升代码健壮性与可维护性方面的优势。文章还简要介绍了自定义异常类的创建及其应用场景,为开发者提供实用的技术参考。 ####
|
22天前
|
存储 缓存 监控
后端开发中的缓存机制:深度解析与最佳实践####
本文深入探讨了后端开发中不可或缺的一环——缓存机制,旨在为读者提供一份详尽的指南,涵盖缓存的基本原理、常见类型(如内存缓存、磁盘缓存、分布式缓存等)、主流技术选型(Redis、Memcached、Ehcache等),以及在实际项目中如何根据业务需求设计并实施高效的缓存策略。不同于常规摘要的概述性质,本摘要直接点明文章将围绕“深度解析”与“最佳实践”两大核心展开,既适合初学者构建基础认知框架,也为有经验的开发者提供优化建议与实战技巧。 ####
|
21天前
|
缓存 NoSQL Java
千万级电商线上无阻塞双buffer缓冲优化ID生成机制深度解析
【11月更文挑战第30天】在千万级电商系统中,ID生成机制是核心基础设施之一。一个高效、可靠的ID生成系统对于保障系统的稳定性和性能至关重要。本文将深入探讨一种在千万级电商线上广泛应用的ID生成机制——无阻塞双buffer缓冲优化方案。本文从概述、功能点、背景、业务点、底层原理等多个维度进行解析,并通过Java语言实现多个示例,指出各自实践的优缺点。希望给需要的同学提供一些参考。
42 7
|
21天前
|
Java 数据库连接 开发者
Java中的异常处理机制:深入解析与最佳实践####
本文旨在为Java开发者提供一份关于异常处理机制的全面指南,从基础概念到高级技巧,涵盖try-catch结构、自定义异常、异常链分析以及最佳实践策略。不同于传统的摘要概述,本文将以一个实际项目案例为线索,逐步揭示如何高效地管理运行时错误,提升代码的健壮性和可维护性。通过对比常见误区与优化方案,读者将获得编写更加健壮Java应用程序的实用知识。 --- ####
|
26天前
|
Java 开发者 Spring
深入解析:Spring AOP的底层实现机制
在现代软件开发中,Spring框架的AOP(面向切面编程)功能因其能够有效分离横切关注点(如日志记录、事务管理等)而备受青睐。本文将深入探讨Spring AOP的底层原理,揭示其如何通过动态代理技术实现方法的增强。
53 8
|
1月前
|
Java 测试技术 API
Java 反射机制:深入解析与应用实践
《Java反射机制:深入解析与应用实践》全面解析Java反射API,探讨其内部运作原理、应用场景及最佳实践,帮助开发者掌握利用反射增强程序灵活性与可扩展性的技巧。
81 4
|
1月前
|
存储 安全 Linux
Golang的GMP调度模型与源码解析
【11月更文挑战第11天】GMP 调度模型是 Go 语言运行时系统的核心部分,用于高效管理和调度大量协程(goroutine)。它通过少量的操作系统线程(M)和逻辑处理器(P)来调度大量的轻量级协程(G),从而实现高性能的并发处理。GMP 模型通过本地队列和全局队列来减少锁竞争,提高调度效率。在 Go 源码中,`runtime.h` 文件定义了关键数据结构,`schedule()` 和 `findrunnable()` 函数实现了核心调度逻辑。通过深入研究 GMP 模型,可以更好地理解 Go 语言的并发机制。
|
1月前
|
存储 消息中间件 算法
深入探索操作系统的心脏——内核机制解析
本文旨在揭示操作系统核心——内核的工作原理,通过剖析其关键组件与机制,为读者提供一个清晰的内核结构图景。不同于常规摘要的概述性内容,本文摘要将直接聚焦于内核的核心概念、主要功能以及其在系统管理中扮演的角色,旨在激发读者对操作系统深层次运作原理的兴趣与理解。
下一篇
DataWorks