文档章节

Go中error类型的nil值和nil

chai2010
 chai2010
发布于 2013/03/27 10:30
字数 828
阅读 9568
收藏 10

<!-- Go中error类型的nil值和nil -->

先看C语言中的类似问题:空字符串。

const char* empty_str0 = "";
const char* empty_str1 = "\0empty";
const char* empty_str2 = NULL;

以上3个字符串并不相等,但是从某种角度看,它们都是对应空的字符串。

  • empty_str0 指向一个空的字符串,但是empty_str0本身的值是有效的。
  • empty_str1 指向一个非空的字符串,但是字符串的第一个字符是'\0'。
  • empty_str2 本身是一个空的指针。

Go的error是一个interface类型,error的nil问题和C语言的字符串类似。

参考官方的error文档说明:

在底层,interface作为两个成员实现:一个类型和一个值。该值被称为接口的动态值, 它是一个任意的具体值,而该接口的类型则为该值的类型。对于 int 值3, 一个接口值示意性地包含(int, 3)。

只有在内部值和类型都未设置时(nil, nil),一个接口的值才为 nil。特别是,一个 nil 接口将总是拥有一个 nil 类型。若我们在一个接口值中存储一个 *int 类型的指针,则内部类型将为 *int,无论该指针的值是什么:(*int, nil)。 因此,这样的接口值会是非 nil 的,即使在该指针的内部为 nil。

下面是一个错误的错误返回方式:

func returnsError() error {
	var p *MyError = nil
	if bad() {
		p = ErrBad
	}
	return p // Will always return a non-nil error.
}

这里 p 返回的是一个有效值(非nil),值为 nil。 类似上面的 empty_str0。

因此,下面判断错误的代码会有问题:

func main() {
	if err := returnsError(); err != nil {
		panic(nil)
	}
}

针对 returnsError 的问题,可以这样处理(不建议的方式):

func main() {
	if err := returnsError(); err.(*MyError) != nil {
		panic(nil)
	}
}

在判断前先将err转型为*MyError,然后再判断err的值。 类似的C语言空字符串可以这样判断:

bool IsEmptyStr(const char* str) {
	return !(str && str[0] != '\0');
}

但是Go语言中标准的错误返回方式不是returnsError这样。 下面是改进的returnsError:

func returnsError() error {
	if bad() {
		return (*MyError)(err)
	}
	return nil
}

因此,在处理错误返回值的时候,一定要将正常的错误值转换为 nil。

比如,syscall中就有一个bug是由于没有处理好error导致的:

// syscall: (*Proc).Call always returns non-nil err
// http://code.google.com/p/go/issues/detail?id=4686
package main

import "syscall"

func main() {
	h := syscall.MustLoadDLL("kernel32.dll")
	proc := h.MustFindProc("GetVersion")
	r, _, err := proc.Call()
	major := byte(r)
	minor := uint8(r >> 8)
	build := uint16(r >> 16)
	print("windows version ", major, ".", minor, " (Build ", build, ")\n")
   if err != nil {
	   e := err.(syscall.Errno)
	   println(err.Error(), "errno =", e)
   }
}

目前issues4686这个bug已经在修复中。

作为用户,临时可以用前面的方法回避这个bug:

// Issue 4686: syscall: (*Proc).Call always returns non-nil err
// https://code.google.com/p/go/issues/detail?id=4686
func call(h *syscall.LazyDLL, name string,
	a ...uintptr) (r1, r2 uintptr, err error) {
	r1, r2, err = h.NewProc(name).Call(a...)
	if err.(syscall.Errno) == 0 {
		return r1, r2, nil
	}
	return
}

Go作为一个强类型语言,不同类型之前必须要显示的转换(而且必须是基础类型相同)。 这样可以回避很多类似C语言中因为隐式类型转换引入的bug。

但是,Go中interface是一个例外:type到interface和interface之间可能是隐式转换的。 或许,这是Go做得不太好的地方吧。


https://chai2010.cn/

© 著作权归作者所有

chai2010

chai2010

粉丝 428
博文 102
码字总数 81536
作品 10
武汉
程序员
私信 提问
加载中

评论(1)

chai2010
chai2010 博主
type T struct{}

p := new(interface{})
println(p == nil)
println(*p == nil)

q := new(T)
println(q == nil)
//println(*q == nil) // cannot convert nil to type Type
不得不知道的golang知识点之nil

golang中的,很多人都误以为与Java、PHP等编程语言中的null一样。但是实际上Golang的niu复杂得多了,如果不信,那我们继续往下阅读。 为预声明的标示符,定义在, nil的零值 按照Go语言规范,...

梦朝思夕
2017/10/30
688
0
golang: 详解interface和nil

golang的nil在概念上和其它语言的null、None、nil、NULL一样,都指代零值或空值。nil是预先说明的标识符,也即通常意义上的关键字。在golang中,nil只能赋值给指针、channel、func、interfa...

陈亦
2014/01/19
22.9K
29
初探swift语言的学习笔记二(可选类型?和隐式可选类型!)

初探swift语言的学习笔记二(可选类型?和隐式可选类型!) 作者:fengsh998 原文地址:http://blog.csdn.net/fengsh998/article/details/28904115 可选类型、隐式可选类型 在swift中,可选类型...

法斗斗
2016/03/03
11
0
重读 Swift 之一:Optional(可选型)

之前学习 Swift 的时候都是比较破碎,零零散散,以至于有些地方学习的不够透彻。所以趁最近有时间,就开始重新学习 Swift ,从最基本的开始学习,希望能深入理解,见微知著! 关于 Swift 我们...

HenryCheng
2016/08/05
0
0
go client http post upload上传及 server 参数获取

go upload 遇到的问题 首先需要知道client是如何通过 http 协议 实现信息和参数的传递,以及server是怎么接受参数. 可以看两篇博客 : Go发起Http请求及获取相关参数 golang web开发获取get、...

solate
2016/09/01
3.2K
2

没有更多内容

加载失败,请刷新页面

加载更多

只需一步,在Spring Boot中统一Restful API返回值格式与统一处理异常

统一返回值 在前后端分离大行其道的今天,有一个统一的返回值格式不仅能使我们的接口看起来更漂亮,而且还可以使前端可以统一处理很多东西,避免很多问题的产生。 比较通用的返回值格式如下:...

晓月寒丶
昨天
61
0
区块链应用到供应链上的好处和实际案例

区块链可以解决供应链中的很多问题,例如记录以及追踪产品。那么使用区块链应用到各产品供应链上到底有什么好处?猎头悬赏平台解优人才网小编给大家做个简单的分享: 使用区块链的最突出的优...

猎头悬赏平台
昨天
29
0
全世界到底有多少软件开发人员?

埃文斯数据公司(Evans Data Corporation) 2019 最新的统计数据(原文)显示,2018 年全球共有 2300 万软件开发人员,预计到 2019 年底这个数字将达到 2640万,到 2023 年达到 2770万。 而来自...

红薯
昨天
66
0
Go 语言基础—— 通道(channel)

通过通信来共享内存(Java是通过共享内存来通信的) 定义 func service() string {time.Sleep(time.Millisecond * 50)return "Done"}func AsyncService() chan string {retCh := mak......

刘一草
昨天
59
0
Apache Flink 零基础入门(一):基础概念解析

Apache Flink 的定义、架构及原理 Apache Flink 是一个分布式大数据处理引擎,可对有限数据流和无限数据流进行有状态或无状态的计算,能够部署在各种集群环境,对各种规模大小的数据进行快速...

Vincent-Duan
昨天
62
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部