反射 (计算机科学)

✍ dations ◷ 2025-07-11 17:32:53 #编程典范

在计算机学中,反射(英语:reflection)是指计算机程序在运行时(runtime)可以访问、检测和修改它本身状态或行为的一种能力。用比喻来说,反射就是程序在运行的时候能够“观察”并且修改自己的行为。

要注意术语“反射”和“内省”(type introspection)的关系。内省(或称“自省”)机制仅指程序在运行时对自身信息(称为元数据)的检测;反射机制不仅包括要能在运行时对程序自身信息进行检测,还要求程序能进一步根据这些信息改变程序状态或结构。

反射用于观察并修改程序在运行时的行为。一个面向反射的(reflection-oriented)程序组件可以监测一个范围内的代码执行情况,可以根据获取的目标对象信息及与此相关的范围修改自身。这可通过在运行时动态分配程序代码实现。

在类型检测严格的面向对象的编程语言如Java中,一般需要在编译期间对程序中需要调用的对象的具体类型、接口、字段和方法的合法性进行检查。反射技术则允许将对需要调用的对象的信息检查工作从编译期间推迟到运行期间再现场执行。这样一来,可以在编译期间先不明确目标对象的接口名称、字段(fields,即对象的成员变量)、可用方法,然后在运行根据目标对象自身的信息决定如何处理。它还允许根据判断结果进行实例化新对象和相关方法的调用。

反射主要用途就是使给定的程序动态地适应不同的运行情况。利用面向对象建模中的多态性也可以简化编写分别适用于多种不同情形的功能代码,但是反射可以解决多态性并不适用的更普遍情形,从而更大程度地避免硬编码(即把代码的细节“写死”,缺乏灵活性)的代码风格。

反射也是元编程的一个关键策略。

考虑一个面向对象风格的应用程序,它可以分别使用功能类X、功能类Y、功能类Z来执行相似的操作。如果事先创建并传递给它的工具是类A的实例,它就调用类A实例具有的方法完成功能;如果事先创建的是类B的实例,它就调用类B实例具有的方法完成功能,如果事先创建的是类C的实例,它就调用类C实例完成功能。如果它们完成相似功能的方法名称都相同,或方法都继承自同一个父类并实现了多态性,那么只需调用名称唯一的目标方法即可,问题已经解决;如果这些条件并不满足,我们碰到的问题变成要根据情况从不同对象中调用名称上存在区别、功能却相似的方法,此时只能分别判断3种不同情况然后挨个进行硬编码,或者考虑使用更优雅的反射技巧。分别判断并硬编码的做法是:在主程序中对不同的功能类进行差异化对待,在运行主程序的时候判断当前可用的工具是不是类A的实例,如果是就以明确“指名道姓”的方式调用它的特定方法,如果不是就继续判断可用的工具是不是类B的实例,如果是就调用B的特定方法,如果也不是就将其视为类C的实例并调用对应的方法。如果可能的类型更多的话,就需要写更多的条件分支语句。然而,如果使用反射式的编程技术,应用程序可以在只写出主要流程、但不写死具体方法名称的情况下,在运行时期灵活地获取可用的目标对象信息,根据目标方法的大致特征自动识别和调用需要的方法,并自动调用目标对象的对应方法解决问题。

早期计算机的原生汇编语言本质上就具有反射特性。因为它是由定义编程指令作为数据,如动态修改指令或对它们进行分析等等的反射功能是很平常的。编程发展到如C语言等高抽象层次的语言时,这种实践消失了,带有反射特性的高级编程语言要到更晚的时候才出现。

1982年,布莱恩·史密斯(Brian Cantwell Smith)在其博士论文《编程语言中的步骤式反射》("Procedural Reflection in Programming Languages")中介绍了“编程语言的计算反射”概念,并且引入meta-circular解释器的概念用作3-Lisp的一个组成部分。

支持反射的语言提供了一些在早期高级语言中难以实现的运行时特性。

通过深入学习反射的特性和技巧,它的劣势可以尽量避免,但这需要许多时间和经验的积累。

相关

  • 国际刑事法院国际刑事法院(英语:International Criminal Court,常缩写作:ICC或ICCt;法语:Cour Pénale Internationale)成立于2002年,位于荷兰海牙,工作语言为英语和法语。其主要功能是对犯有灭绝
  • 组合城市组合城市(conurbation),又叫“集合都市”,是指多个邻接的都市随着都市规模的发展,跨过行政区划的界限发展为一个都市区的状态。这一概念由帕德里克·杰德斯在1915年提出。随着工
  • 小姐与流氓小姐与流氓可以指:
  • 手冢治虫手冢治虫(1928年11月3日-1989年2月9日),本名手冢治,生于日本大阪府,漫画家、动画制作人、医学博士,同时也是现代日本动画的创立者之一,在日本漫画界有着举足轻重的影响力,被后世尊称
  • 台视财经台本段时间均以二十四小时制东八区时间(UTC+8)为准。台视财经台,是台湾电视公司(台视)旗下频道之一,于2004年9月1日开播,2014年起陆续在数位有线电视系统上架。收播时间:每星期一03:00
  • 复数 (数学) N ⊆ Z ⊆ Q ⊆ R ⊆
  • 萨缪尔·贝克特萨缪尔·贝克特(Samuel Beckett,1906年4月13日-1989年11月10日),20世纪爱尔兰、法国作家,创作的领域包括戏剧、小说和诗歌,尤以戏剧成就最高。他是荒诞派戏剧的重要代表人物。1969
  • 三枝香水道三枝香水道位于广州市番禺区北部,是珠江后航道在洛溪岛西端右岸分出的汊流,三枝香水道自洛溪岛西端起沿洛溪岛南岸蜿蜒向东流至小谷围岛以南与后航道另一支汊流沥滘水道相会,中
  • 理查德·绍尔理查德·莱因哈德·埃米尔·绍尔(德语:Richard Reinhard Emil Schorr;1867年8月20日-1951年9月21日),是一位天文学家。月球上的斯科尔环形山和小行星1235 斯科尔就是以他的名字命
  • 德国联邦铁路E50型电力机车德国联邦铁路E50型电力机车(德语:DB-Baureihe E 50)是德国联邦铁路根据标准化电力机车计划而自1957年起生产的一款电力机车,并自1968年起改称为150型,主要用作重载货物运输(德语:G