头等对象(英语:First-class object),在计算机科学中,指称支持其他实体通常能获得的所有运算的实体。这些运算典型的包括:在执行期创造,作为参数传递给其他函数,或存入一个变数等[1]。将一个实体变为头等对象的过程叫做“实化”(Reification)[2]。
“头等对象”这一名称最早由克里斯托弗·斯特雷奇在1960年代发明,原称“头等公民”(First-class citizen),意指函数可作为电脑语言中的头等公民。英文中也称“First-class entity”或“First-class value”。