本文探讨了反射在静态语言中的作用，强调动态行为的重要性，并解释了反射如何允许ORM等工具工作。通过Go语言的例子，展示了反射的实现方式，包括通过接口获取类型元数据。反射操作分为类型元数据和实例状态两类，可以用于动态调用和数据操作。文中还讨论了反射的性能问题及其优化策略。
动态行为
动态语言没有反射的概念，因为动态语言按照名称或者符号表寻址，它的一切都是动态的。那么为什么出现反射这种技术呢？是因为静态语言在动态行为上有很大不足。
泛型不属于动态行为。泛型本身是一种基于模板的机制，相当于带有占位符的代码模板交给编译器 JIT 翻译，用具体类型替换占位符生成多套不同的代码。
动态通常是运行期的行为，一般用于调整算法、数据结构、解析未知的数据。注意解析 XML 或者 JSON 行为不属于动态，因为 XML 或者 JSON 是自我描述的文本，数据本身自带数据格式。
反射属于动态行为。大多数 ORM 都是基于反射实现，因为 ORM 不确定有哪些对象或者对象属性名和数据库字段名不一致，所以必须建立一种映射关系。
反射
对象由类型对象和对象实例组成。类型对象通常称之为 Class，存储相应的类型信息和方法调用；对象实例有标准的头信息和实例字段，头信息指针指向类型对象。
动态访问不能通过字段名称访问字段，而是通过类型指针加上偏移量访问字段。汇编中访问地址是基于开始位置加上偏移量，偏移量确定字段位置，类型确定字段长度。
我们通过动态查找利用接口方式或者通用类传递的对象，所属的类型指针来获取对应类型的信息。类型字段包括属于哪种类型的名字 Name，有哪些字段 Field，字段包括字段的名字和类型和内存布局上的偏移量。
接下来可以取得有哪些方法。我
订阅专栏 解锁全文
95
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
