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

简介: 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和故障。希望本文对您有帮助,感谢阅读~

相关文章
|
12小时前
|
消息中间件 Go API
Golang深入浅出之-Go语言中的微服务架构设计与实践
【5月更文挑战第4天】本文探讨了Go语言在微服务架构中的应用,强调了单一职责、标准化API、服务自治和容错设计等原则。同时,指出了过度拆分、服务通信复杂性、数据一致性和部署复杂性等常见问题,并提出了DDD拆分、使用成熟框架、事件驱动和配置管理与CI/CD的解决方案。文中还提供了使用Gin构建HTTP服务和gRPC进行服务间通信的示例。
9 0
|
13小时前
|
监控 算法 Go
Golang深入浅出之-Go语言中的服务熔断、降级与限流策略
【5月更文挑战第4天】本文探讨了分布式系统中保障稳定性的重要策略:服务熔断、降级和限流。服务熔断通过快速失败和暂停故障服务调用来保护系统;服务降级在压力大时提供有限功能以保持整体可用性;限流控制访问频率,防止过载。文中列举了常见问题、解决方案,并提供了Go语言实现示例。合理应用这些策略能增强系统韧性和可用性。
11 0
|
2天前
|
前端开发 Go
Golang深入浅出之-Go语言中的异步编程与Future/Promise模式
【5月更文挑战第3天】Go语言通过goroutines和channels实现异步编程,虽无内置Future/Promise,但可借助其特性模拟。本文探讨了如何使用channel实现Future模式,提供了异步获取URL内容长度的示例,并警示了Channel泄漏、错误处理和并发控制等常见问题。为避免这些问题,建议显式关闭channel、使用context.Context、并发控制机制及有效传播错误。理解并应用这些技巧能提升Go语言异步编程的效率和健壮性。
12 5
Golang深入浅出之-Go语言中的异步编程与Future/Promise模式
|
2天前
|
监控 负载均衡 算法
Golang深入浅出之-Go语言中的协程池设计与实现
【5月更文挑战第3天】本文探讨了Go语言中的协程池设计,用于管理goroutine并优化并发性能。协程池通过限制同时运行的goroutine数量防止资源耗尽,包括任务队列和工作协程两部分。基本实现思路涉及使用channel作为任务队列,固定数量的工作协程处理任务。文章还列举了一个简单的协程池实现示例,并讨论了常见问题如任务队列溢出、协程泄露和任务调度不均,提出了解决方案。通过合理设置缓冲区大小、确保资源释放、优化任务调度以及监控与调试,可以避免这些问题,提升系统性能和稳定性。
13 6
|
2天前
|
安全 Go
Golang深入浅出之-Go语言中的并发安全队列:实现与应用
【5月更文挑战第3天】本文探讨了Go语言中的并发安全队列,它是构建高性能并发系统的基础。文章介绍了两种实现方法:1) 使用`sync.Mutex`保护的简单队列,通过加锁解锁确保数据一致性;2) 使用通道(Channel)实现无锁队列,天生并发安全。同时,文中列举了并发编程中常见的死锁、数据竞争和通道阻塞问题,并给出了避免这些问题的策略,如明确锁边界、使用带缓冲通道、优雅处理关闭以及利用Go标准库。
12 5
|
2天前
|
存储 缓存 安全
Golang深入浅出之-Go语言中的并发安全容器:sync.Map与sync.Pool
Go语言中的`sync.Map`和`sync.Pool`是并发安全的容器。`sync.Map`提供并发安全的键值对存储,适合快速读取和少写入的情况。注意不要直接遍历Map,应使用`Range`方法。`sync.Pool`是对象池,用于缓存可重用对象,减少内存分配。使用时需注意对象生命周期管理和容量控制。在多goroutine环境下,这两个容器能提高性能和稳定性,但需根据场景谨慎使用,避免不当操作导致的问题。
17 4
|
2天前
|
安全 Go 开发者
Golang深入浅出之-Go语言中的CSP模型:深入理解并发哲学
【5月更文挑战第2天】Go语言的并发编程基于CSP模型,强调通过通信共享内存。核心概念是goroutines(轻量级线程)和channels(用于goroutines间安全数据传输)。常见问题包括数据竞争、死锁和goroutine管理。避免策略包括使用同步原语、复用channel和控制并发。示例展示了如何使用channel和`sync.WaitGroup`避免死锁。理解并发原则和正确应用CSP模型是编写高效安全并发程序的关键。
21 4
|
3天前
|
安全 Go 开发者
Golang深入浅出之-Go语言中的CSP模型:深入理解并发哲学
【5月更文挑战第1天】Go语言基于CSP理论,借助goroutines和channels实现独特的并发模型。Goroutine是轻量级线程,通过`go`关键字启动,而channels提供安全的通信机制。文章讨论了数据竞争、死锁和goroutine泄漏等问题及其避免方法,并提供了一个生产者消费者模型的代码示例。理解CSP和妥善处理并发问题对于编写高效、可靠的Go程序至关重要。
13 2
|
3天前
|
设计模式 Go 调度
Golang深入浅出之-Go语言中的并发模式:Pipeline、Worker Pool等
【5月更文挑战第1天】Go语言并发模拟能力强大,Pipeline和Worker Pool是常用设计模式。Pipeline通过多阶段处理实现高效并行,常见问题包括数据竞争和死锁,可借助通道和`select`避免。Worker Pool控制并发数,防止资源消耗,需注意任务分配不均和goroutine泄露,使用缓冲通道和`sync.WaitGroup`解决。理解和实践这些模式是提升Go并发性能的关键。
20 2
|
3天前
|
JSON 监控 安全
Golang深入浅出之-Go语言中的反射(reflect):原理与实战应用
【5月更文挑战第1天】Go语言的反射允许运行时检查和修改结构,主要通过`reflect`包的`Type`和`Value`实现。然而,滥用反射可能导致代码复杂和性能下降。要安全使用,应注意避免过度使用,始终进行类型检查,并尊重封装。反射的应用包括动态接口实现、JSON序列化和元编程。理解反射原理并谨慎使用是关键,应尽量保持代码静态类型。
17 2