计算中的反射是程序检查自身结构的能力,特别是通过类型;这是元编程的一种形式。这也是一个很大的混乱来源。
在本文中,我们试图通过解释反射在 Go 中的工作原理来澄清事情。每种语言的反射模型都不同(许多语言根本不支持它),但这篇文章是关于 Go 的,所以对于本文的其余部分,“反射”一词应该理解为“Go 中的反射”。
2022 年 1 月添加的注释:这篇博文写于 2011 年,早于 Go 中的参数多态性(又名泛型)。虽然文章中没有任何重要内容因为语言的发展而变得不正确,但它在几个地方进行了调整以避免混淆熟悉现代 Go 的人。
因为反射建立在类型系统之上,所以让我们从回顾一下 Go 中的类型开始。
Go 是静态类型的。每个变量都有一个静态类型,也就是说,只有一种类型已知并在编译时固定: int、float32、*MyType、[]byte等等。如果我们声明
type MyInt int
var i int
var j MyInt
然后i有 typeint和jtype MyInt。变量i和j具有不同的静态类型,尽管它们具有相同的基础类型,但如果不进行转换,它们
下一篇:@Builder注解使用