反射

定义

反射是指程序在运行期间能够检视自身的结构,获取类型、字段、方法等元信息,甚至动态地创建对象、调用方法或修改成员的能力。它让代码可以在不预先知道具体类型的情况下进行操作。

原理

支持反射的运行时会为类型保留完整的元数据。通过这些元数据,程序可以查询某个对象属于何种类型、有哪些可调用的成员,并以字符串名称为索引动态访问它们。这种动态性以一定的性能与安全检查为代价。

应用

反射在框架与工具中非常常见:

• 序列化与反序列化,根据字段自动转换数据。
• 依赖注入容器,按类型自动装配对象。
• 对象关系映射,把数据库记录映射为对象。
• 测试框架,自动发现并执行测试方法。

反射强大但应谨慎使用。它绕过了编译期检查,可能在运行时才暴露错误,且通常比直接调用更慢,因此一般限于框架底层而非业务热点路径。