第一类对象(英语:First-class object)在计算机科学中指可以在执行期创造并作为参数传递给其他函数或存入一个变数的实体。将一个实体变为第一类对象的过程叫做“物件化”(Reification)。
“第一类对象”这一名称最早由克里斯托弗·斯特雷奇在1960年代发明,原称“第一类公民”(First-class citizen),意指函数可作为电脑语言中的第一类公民。英文中也称“First-class entity”或“First-class value”。
第一类对象和第二类对象的概念,在1960年由克里斯托弗·斯特雷奇引入。 实际上他并没有给出严格的术语定义,而是给出了ALGOL语言中实数和过程的对比:
第一类对象和第二类对象。在Algol程序语言中,一个“实数”可能会出现在一个表达式中或被赋给一个变量,并可能在过程调用中作为实际参数出现。而“过程”只可能会出现在另一个过程调用中,最常见的是作为操作符,有时候也作为实参。除此之外,没有表达式会涉及到过程,或者将过程作为计算结果。因此在某种意义上,在Algol程序语言中的过程是第二类变量,它们总是会单独出现,不可能被一个表达式或一个变量表示(形式参数除外)…
在1990年代,拉斐尔芬克尔 提出了第二类值和第三类值的定义,但这些定义尚未被广泛采用。
第一类对象不一定是面向对象程序设计所指的物件,而可以指任何程序中的实体。一般第一类对象所特有的特性为:
可以被存入变数或其他结构
可以被作为参数传递给其他函数
可以被作为函数的返回值
可以在执行期创造,而无需完全在设计期全部写出
即使没有被系结至某一名称,也可以存在
绝大多数语言中,数值与基础型别都是第一类对象,然而不同语言中对函数的区别很大,例如C语言与C++中的函数不是第一类对象,因为在这些语言中函数不能在执行期创造,而必须在设计时全部写好。相比之下,Scheme中的函数是第一类对象,因为可以用lambda语句来创造匿名函数并作为第一类对象来操作。
第一类对象
最新推荐文章于 2022-10-27 16:56:57 发布