First-Class-Objekt

Ein First-Class-Objekt ({{Modul:Vorlage:lang}} Modul:Vorlage:lang:103: attempt to index field 'wikibase' (a nil value), deutsch etwa „Objekt erster Klasse“) bezeichnet in der Programmierung von Computersystemen ein Objekt, das als Übergabeparameter oder Rückgabewert einer Funktion oder Prozedur auftritt bzw. einer Variablen zugewiesen werden kann.<ref>Michael Scott: Programming Language Pragmatics. Morgan Kaufmann Publishers, San Francisco, CA 2006, S. 140. </ref>

Der Begriff wurde von Christopher Strachey im Kontext functions as first-class citizens Mitte der 1960er Jahre geprägt.<ref>Rod Burstall: Christopher Strachey—Understanding Programming Languages. Higher-Order and Symbolic Computation, Band 13, Nr. 52, 2000.</ref>

Definition

Ein Objekt ist von erster Klasse, falls es die folgenden Bedingungen erfüllt:<ref>First Class. C2.com, 25. Januar 2006, abgerufen am 9. Oktober 2010. </ref><ref>first class object. Catalysoft.com, abgerufen am 9. Oktober 2010. </ref>

es kann in Programmvariablen gespeichert werden,
es kann als Parameter an Funktionen oder Prozeduren übergeben werden,
es kann als Rückgabewert von Funktionen dienen,
es kann zur Laufzeit eines Programms erstellt werden und
es hat eine eigene Identität (unabhängig vom Namen).

Der Begriff Objekt muss dabei nicht im engeren Sinne als ein Objekt einer objektorientierten Programmiersprache verstanden werden. In den meisten Programmiersprachen sind insbesondere die Objekte der elementaren Datentypen, z. B. Ganzzahl- und Gleitkommaobjekte, immer erster Klasse.

Beispiele

In C und C++ sind Funktionen keine Objekte erster Klasse, da es nicht möglich ist, sie zur Laufzeit zu erzeugen – anders als z. B. Zahlen. Auch Arrays sind keine Objekte erster Klasse, da sie nicht als Funktionsparameter übergeben werden können.
In Fortran sind Strings keine Objekte erster Klasse, da es nicht möglich ist, sie Variablen zuzuweisen.
Hingegen sind Funktionen in den meisten funktionalen Programmiersprachen First-Class-Objekte (bzw. First-Class-Funktionen) z. B. in Haskell, Scala, Smalltalk, OCaml und verschiedenen Lisp-Dialekten wie Scheme und Clojure, nicht jedoch in Common Lisp.
Die auf Konzepten von Scratch und Scheme aufbauende erziehungsorientierte visuelle Programmiersprache Snap! bietet einen anschaulichen und durchgängigen Zugang zu First-Class-Objekten.

Einzelnachweise