王中阳Go

V1

2022/11/25阅读:17主题:橙心

【Go必知必会】错误和异常、CGO、fallthrough

这篇文章将详解Go面试常问的知识点:

  1. switch中的fallthrough
  2. CGO是什么?CGO的作用是什么?
  3. 错误和异常的对比、发生panic后如何执行代码?会执行到defer代码段吗?

fallthrough

在一个 switch 块内,每个 case 无需声明 break 来终止,如果想顺序执行使用fallthrough

如果我们想强制执行满足条件case的后一个case,也可以通过设置fallthrough的方式:

代码示例

package main

import "fmt"

func main() {
    switch {
    case false:
            fmt.Println("false1")
            fallthrough
    case true:
            fmt.Println("true1")
            fallthrough
    case false:
            fmt.Println("false2")
            fallthrough
    case true:
            fmt.Println("true2")
    case false:
            fmt.Println("false3")
            fallthrough
    default:
            fmt.Println("default case")
    }
}

思考一下上面代码的执行结果是什么?

执行结果

image.png
image.png

注意:在switch块内,都建议包含一个 default 语句并且放在最后,即使它什么代码也没有。

延伸知识点:在select块中,default能避免死锁问题。

CGO

CGO是调用C代码模块,静态库和动态库。

CGO是C语言和Go语言之间的桥梁,原则上无法直接支持C++的类。CGO不支持C++语法的根本原因是C++至今为止还没有一个二进制接口规范(ABI)。

CGO只支持C语言中值类型的数据类型,所以我们是无法直接使用C++的引用参数等特性的。

错误&异常

错误指的是可能出现问题的地方出现了问题,比如打开一个文件时失败,这种情况在人们的意料之中

异常指的是不应该出现问题的地方出现了问题,比如引用了空指针,这种情况在人们的意料之外。

可见,错误是业务过程的一部分,而异常不是 。

处理错误:error

Golang中引入error接口类型作为错误处理的标准模式,如果函数要返回错误,则返回值类型列表中肯定包含error。error处理过程类似于C语言中的错误码,可逐层返回,直到被处理。

处理异常:panic&recover

Golang中引入两个内置函数panic和recover来触发和终止异常处理流程,同时引入关键字defer来延迟执行defer后面的函数。

panic&defer

当数组越界、访问非法空间或者我们直接调用panic时,panic会停掉当前正在执行的程序,包括所有协程,比起exit直接退出,panic的退出更有秩序,他会他会先处理完当前goroutine已经defer挂上去的任务,执行完毕后再退出整个程序。

而defer的存在,让我们有更多的选择,比如在defer中通过recover截取panic,从而达到try…catch的效果

panic还可以接收一个参数,通常是字符串类型错误信息,执行到panic时,他会打印这个字符串和触发他的调用栈。

当然,我们在写代码时要注意,不是所有的异常都能被捕获到的,像fatal error 和runtime.throw 都是不能被recover的

defer执行顺序

你可以在一个函数中执行多条defer语句,它们的执行顺序与声明顺序相反:最早声明的defer最后执行。

总结

当程序运行时,如果遇到引用空指针、下标越界或显式调用panic函数等情况,则先触发panic函数的执行,然后调用延迟函数。调用者继续传递panic,因此该过程一直在调用栈中重复发生:函数停止执行,调用延迟执行函数等。如果一路在延迟函数中没有recover函数的调用,则会到达该协程的起点,该协程结束,然后终止其他所有协程,包括主协程(类似于C语言中的主线程,该协程ID为1)。

对比Java、C++

错误和异常从Golang机制上讲,就是error和panic的区别。很多其他语言也一样,比如C++/Java,没有error但有errno,没有panic但有throw。

错误异常互相转换

Golang错误和异常是可以互相转换的:

  1. 错误转异常,比如程序逻辑上尝试请求某个URL,最多尝试三次,尝试三次的过程中请求失败是错误,尝试完第三次还不成功的话,失败就被提升为异常了。
  2. 异常转错误,比如panic触发的异常被recover恢复后,将返回值中error类型的变量进行赋值,以便上层函数继续走错误处理流程

总结

我们来总结一下:

  1. 在一个 switch 块内,每个 case 无需声明 break 来终止,如果想顺序执行使用fallthrough;如果我们想强制执行满足条件case的后一个case,也可以通过设置fallthrough的方式。
  2. CGO是调用C代码模块,静态库和动态库。CGO只支持C语言中值类型的数据类型,所以我们是无法直接使用C++的引用参数等特性的。
  3. 当程序运行时,如果遇到引用空指针、下标越界或显式调用panic函数等情况,则先触发panic函数的执行,然后调用延迟函数。调用者继续传递panic,因此该过程一直在调用栈中重复发生:函数停止执行,调用延迟执行函数等。如果一路在延迟函数中没有recover函数的调用,则会到达该协程的起点,该协程结束,然后终止其他所有协程,包括主协程(类似于C语言中的主线程,该协程ID为1)。

一起学习

掘金已经上线了私信功能,欢迎在掘金平台私信我。

如果没有及时回复的话也可以通过以下方式联系我:

公众号:程序员升级打怪之旅

微信号:wangzhongyang1993

视频教程:Go电商实战·视频合集[1]

参考资料

[1]

https://space.bilibili.com/19626338: https://link.juejin.cn/?target=https%3A%2F%2Fspace.bilibili.com%2F19626338

分类:

后端

标签:

Golang

作者介绍

王中阳Go
V1

专注Go语言开发