历史

第一类对象和第二类对象的概念,在1960年由Christopher Strachey 引入。 实际上他并没有给出严格的术语定义，而是给出了Algol语言中实数和过程的对比：

在1990年代，拉斐尔芬克尔 提出了第二类值和第三类值的定义,但这些定义尚未被广泛采用。

定义

第一类对象不一定是面向对象程序设计所指的物件，而可以指任何程序中的实体。一般第一类对象所特有的特性为：

可以被存入变数或其他结构

可以被作为参数传递给其他函数

可以被作为函数的返回值

可以在执行期创造，而无需完全在设计期全部写出

即使没有被系结至某一名称，也可以存在

范例

绝大多数语言中，数值与基础型别都是第一类对象，然而不同语言中对函数的区别很大，例如C语言与C++中的函数不是第一类对象，因为在这些语言中函数不能在执行期创造，而必须在设计时全部写好。相比之下，Scheme中的函数是第一类对象，因为可以用lambda语句来创造匿名函数并作为第一类对象来操作。

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。