imported>Phzh: Form, typo

2022-11-18T09:09:02Z

Form, typo

Neue Seite

Ein '''First-Class-Objekt''' ({{enS|first-class object}}, deutsch etwa „Objekt erster Klasse“) bezeichnet in der [[Programmierung]] von Computersystemen ein Objekt, das als Übergabeparameter oder Rückgabewert einer [[Funktion (Programmierung)|Funktion]] oder [[Prozedur (Programmierung)|Prozedur]] auftritt bzw. einer [[Variable (Programmierung)|Variablen]] zugewiesen werden kann.<ref>{{Literatur |Autor=Michael Scott |Titel=Programming Language Pragmatics |Verlag=Morgan Kaufmann Publishers |Ort=San Francisco, CA |Datum=2006 |Seiten=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>{{Internetquelle |url=http://www.c2.com/cgi/wiki?FirstClass |titel=First Class |hrsg=C2.com |datum=2006-01-25 |abruf=2010-10-09}}</ref><ref>{{Internetquelle |url=http://www.catalysoft.com/definitions/firstClassObject.html |titel=first class object |hrsg=Catalysoft.com |abruf=2010-10-09}}</ref>
* es kann in [[Variable (Programmierung)|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 (Informatik)|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 [[Objektorientierte Programmierung|objektorientierten Programmiersprache]] verstanden werden. In den meisten Programmiersprachen sind insbesondere die Objekte der elementaren [[Datentyp]]en, z. B. Ganzzahl- und Gleitkommaobjekte, immer erster Klasse.

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

== Einzelnachweise ==
<references />

[[Kategorie:Programmierkonzept]]

First-Class-Objekt - Versionsgeschichte

imported>Phzh: Form, typo