动态行为
动态语言没有反射的概念,因为动态语言按照名称或者符号表寻址,它的一切都是动态的。那么为什么出现反射这种技术呢?是因为静态语言在动态行为上有很大不足。
泛型不属于动态行为。泛型本身是一种基于模板的机制,相当于带有占位符的代码模板交给编译器 JIT 翻译,用具体类型替换占位符生成多套不同的代码。
动态通常是运行期的行为,一般用于调整算法、数据结构、解析未知的数据。注意解析 XML 或者 JSON 行为不属于动态,因为 XML 或者 JSON 是自我描述的文本,数据本身自带数据格式。
反射属于动态行为。大多数 ORM 都是基于反射实现,因为 ORM 不确定有哪些对象或者对象属性名和数据库字段名不一致,所以必须建立一种映射关系。
反射
对象由类型对象和对象实例组成。类型对象通常称之为 Class,存储相应的类型信息和方法调用;对象实例有标准的头信息和实例字段,头信息指针指向类型对象。
动态访问不能通过字段名称访问字段,而是通过类型指针加上偏移量访问字段。汇编中访问地址是基于开始位置加上偏移量,偏移量确定字段位置,类型确定字段长度。
我们通过动态查找利用接口方式或者通用类传递的对象,所属的类型指针来获取对应类型的信息。类型字段包括属于哪种类型的名字 Name,有哪些字段 Field,字段包括字段的名字和类型和内存布局上的偏移量。
接下来可以取得有哪些方法。我