动态：反射

动态行为

动态语言没有反射的概念，因为动态语言按照名称或者符号表寻址，它的一切都是动态的。那么为什么出现反射这种技术呢？是因为静态语言在动态行为上有很大不足。

泛型不属于动态行为。泛型本身是一种基于模板的机制，相当于带有占位符的代码模板交给编译器 JIT 翻译，用具体类型替换占位符生成多套不同的代码。

动态通常是运行期的行为，一般用于调整算法、数据结构、解析未知的数据。注意解析 XML 或者 JSON 行为不属于动态，因为 XML 或者 JSON 是自我描述的文本，数据本身自带数据格式。

反射属于动态行为。大多数 ORM 都是基于反射实现，因为 ORM 不确定有哪些对象或者对象属性名和数据库字段名不一致，所以必须建立一种映射关系。

反射

对象由类型对象和对象实例组成。类型对象通常称之为 Class，存储相应的类型信息和方法调用；对象实例有标准的头信息和实例字段，头信息指针指向类型对象。

动态访问不能通过字段名称访问字段，而是通过类型指针加上偏移量访问字段。汇编中访问地址是基于开始位置加上偏移量，偏移量确定字段位置，类型确定字段长度。

我们通过动态查找利用接口方式或者通用类传递的对象，所属的类型指针来获取对应类型的信息。类型字段包括属于哪种类型的名字 Name，有哪些字段 Field，字段包括字段的名字和类型和内存布局上的偏移量。

接下来可以取得有哪些方法。我们知道所有的方法在 .text 段里都有地址，通过地址可以获得方法的指针、参数和返回值。从汇编角度看，函数调用是用这些信息依次入栈调用地址。类似的，反射可以理解在运行期生成的一段动态汇编代码，类型描述信息可以确定汇编代码执行的数据，其中包括元数据、起始地址、方法、字段名字、字段类型、字段偏移量，元数据用来描述类型的