First-Class-Objekt

Ein First-Class-Objekt (Skriptfehler: Ein solches Modul „Vorlage:lang“ ist nicht vorhanden., 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>Skriptfehler: Ein solches Modul „Vorlage:Literatur“ ist nicht vorhanden.</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[Bearbeiten]

Ein Objekt ist von erster Klasse, falls es die folgenden Bedingungen erfüllt:<ref>Skriptfehler: Ein solches Modul „Vorlage:Internetquelle“ ist nicht vorhanden. C2.com, Skriptfehler: Ein solches Modul „DateTime“ ist nicht vorhanden.; ehemals im Vorlage:Referrer (nicht mehr online verfügbar);.Vorlage:Toter Link/Core (Seite nicht mehr abrufbar. Suche im Internet Archive) </ref><ref>Skriptfehler: Ein solches Modul „Vorlage:Internetquelle“ ist nicht vorhanden. Catalysoft.com; ehemals im Vorlage:Referrer (nicht mehr online verfügbar); </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[Bearbeiten]

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[Bearbeiten]