En el que computa, un objeto de primera clase (también valor del, la entidad, y el ciudadano ), en el contexto de un lenguaje de programación particular, es una entidad que se puede utilizar en programas sin la restricción (cuando está comparado a otras clases de objetos en la misma lengua). Los objetos de primera clase se dicen para pertenecer a un tipo de datos de primera clase del .

El término fue acuñado por el Christopher Strachey en el contexto de “funciones como ciudadanos de primera clase” en el mid-1960.

Dependiendo de la lengua, esto puede implicar:

que es expresable como valor literal anónimo
siendo almacenable en las variables
siendo almacenable en las estructuras de datos
teniendo una identidad intrínseca (independiente de cualquie nombre dado)
siendo comparable para la igualdad con otras entidades
siendo pasable como parámetro a un procedimiento/a una función
siendo retornable como resultado de un procedimiento/de una función
siendo constructable en el tiempo de pasada
siendo imprimible
siendo legible
siendo transmisible entre procesos distribuidos
siendo procesos corrientes exteriores almacenables

Por ejemplo, en el C y el C++, no es posible crear las nuevas funciones en el tiempo de pasada (aunque ver los atascamientos anónimos de la lambda en la biblioteca del alza ), mientras que otras clases de objetos se pueden crear en el tiempo de pasada. Consecuentemente, las funciones en C no son objetos de primera clase; en lugar, a veces se llaman el los objetos de segunda clase porque pueden todavía ser manipuladas en la mayor parte de las maneras antedichas (vía los indicadores de la función. Semejantemente, las secuencias no son objetos de la primera clase en FORTRAN 66 porque no es posible asignarlas a las variables (desemejantes, por ejemplo, números).

En el palique, las funciones (métodos) son objetos de la primera clase, apenas como palique clasifican. Desde operadores del palique (+, -) están los métodos, ellos son también objetos; uno sin embargo puede sostener que no son objetos de primera clase, porque mientras que los nuevos operadores pueden ser declarados, no es posible (por ejemplo) modificar su precedencia.

En virtualmente todas las idiomas, los valores de los tipos de los datos más simples, incluyendo números enteros y números de coma flotante, son objetos de primera clase. En muchas más viejas idiomas, los órdenes no eran de primera clase: no podían ser asignados como objetos; solamente sus elementos podían ser manipulados directo. Pocas idiomas apoyan las continuaciones de los encierros y el INDICADO - etiquetas como objetos de primera clase, aunque no los apoyan discutible como objetos en absoluto.