Golang map之reflexivekey函数详解

风神韵

于 2019-09-10 21:22:24 发布

阅读量263

点赞数

CC 4.0 BY-SA版权

分类专栏： Go 文章标签： go map reflexivekey 详解

本文链接：https://blog.csdn.net/fengshenyun/article/details/100713066

Go 专栏收录该内容

23 篇文章

订阅专栏

本文深入探讨了Go语言中MapKey的反身性概念，解释了在何种条件下key类型可以被认为是反身的。文章指出，除了常见的整型、布尔型、字符串等类型外，float32、float64、complex64、complex128和interface类型在作为MapKey时并不具备反身性，这为理解Go语言的内存管理和并发编程提供了关键视角。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

定义和实现

@(src/runtime/type.go:382)

func (mt *maptype) reflexivekey() bool { // true if k==k for all keys
	return mt.flags&4 != 0
}

reflexive中文意思是反身的、反射性的，从注释上看是说当k==k时，表示是reflexivekey，但有字段k!=k吗？还真有，像浮点数，在计算机里面是不能够直接用等号比较的，而是在一个误差范围内相等。详细代码如下：

@(src/cmd/compile/internal/gc/reflect.go:1024)

func isreflexive(t *types.Type) bool {
	switch t.Etype {
	case TBOOL,
		TINT,
		TUINT,
		TINT8,
		TUINT8,
		TINT16,
		TUINT16,
		TINT32,
		TUINT32,
		TINT64,
		TUINT64,
		TUINTPTR,
		TPTR,
		TUNSAFEPTR,
		TSTRING,
		TCHAN:
		return true

	case TFLOAT32,
		TFLOAT64,
		TCOMPLEX64,
		TCOMPLEX128,
		TINTER:
		return false

	case TARRAY:
		return isreflexive(t.Elem())

	case TSTRUCT:
		for _, t1 := range t.Fields().Slice() {
			if !isreflexive(t1.Type) {
				return false
			}
		}
		return true

	default:
		Fatalf("bad type for map key: %v", t)
		return false
	}
}

最后可以得出结论：只要key类型是float32\float64\complex64\complex64\interface，或字段里面包含这些类型的都是inreflexive。