Typ-Unterschrift

In der Informatik, einer Typ-Unterschrift oder Typ-Anmerkung definiert die Eingänge und Produktionen für eine Funktion, Unterprogramm oder Methode. Eine Typ-Unterschrift schließt mindestens den Funktionsnamen und die Zahl seiner Argumente ein. Auf einigen Programmiersprachen kann es auch den Rücktyp der Funktion, die Typen seiner Argumente oder Fehler angeben, die es zurück passieren kann.

Beispiele

C/C ++

In C und C ++ wird die Typ-Unterschrift durch den meistens bekannten Funktionsprototyp erklärt.

In C/C ++ widerspiegelt eine Funktionsbehauptung seinen Gebrauch; zum Beispiel, ein Funktionszeigestock, der als angerufen würde:

Rotforelle c;

doppelter d;

interne Nummer retVal = (*fPtr) (c, d);

</Quelle>

hat die Unterschrift:

interne Nummer (*fPtr) (Rotforelle c, verdoppeln Sie d);

</Quelle>

Erlang

In Erlang können Typ-Unterschriften als fakultativ erklärt werden:

- Spekulation (function_name (type1 , type2 ...)-> out_type ).

</Quelle>

Zum Beispiel:

- Spekulation (is_even (Zahl )-> boolean ).

</Quelle>

Haskell

Eine Typ-Unterschrift auf der Programmiersprache von Haskell wird allgemein im folgenden Format geschrieben:

functionName:: arg1Type-> arg2Type->...-> argNType

</Quelle>

Bemerken Sie, dass der Typ des Ergebnisses als alles vorbei am ersten gelieferten Argument betrachtet werden kann. Das ist eine Folge mit Currysoße zuzubereiten, der möglich durch die Unterstützung von Haskell für erstklassige Funktionen gemacht wird. D. h. in Anbetracht einer Funktion, die in zwei Eingängen nimmt, aber ein Argument liefern lassen hat, wird die Funktion "mit Currysoße zubereitet", um eine Funktion eines Arguments — dasjenige zu erzeugen, das nicht geliefert wird. So gibt das Benennen, wo, eine neue Funktion nach, die genannt werden kann, um zu erzeugen.

Die wirklichen Typ-Spezifizierungen können aus einem wirklichen Typ, solcher als, oder eine allgemeine Typ-Variable bestehen, die in parametrischen polymorphen Funktionen, solcher als verwendet wird, oder, oder. So können wir etwas schreiben wie:

Da Haskell höherwertige Funktionen unterstützt, können Funktionen als Argumente passiert werden. Das wird als geschrieben:

Diese Funktion nimmt in einer Funktion mit der Typ-Unterschrift und kehrt zurück Daten dessen tippen.

Java

In Java virtuelle Maschine werden innere Typ-Unterschriften verwendet, um Methoden und Klassen am Niveau des virtuellen Maschinencodes zu identifizieren.

Beispiel:

Die Methode wird als vertreten.

Unterschrift

Die Unterschrift einer Funktion ist eine Weise, die Rahmen und Parameter-Typen zu beschreiben, mit denen ein gesetzlicher Anruf zur Funktion gemacht werden kann.

Es enthält den Namen der Funktion, seiner Rahmen und ihres Typs und des Rückwerts. Unterschriften können auch "Funktionsunterschriften", "Methode-Unterschriften", oder "Prototyp-Definitionen" genannt werden.

Der Begriff einer Funktionsunterschrift ist ein wichtiges Konzept für alle Informatik-Studenten

  • Moderne Gegenstand-Orientierungstechniken machen viel Gebrauch von Schnittstellen, die im Wesentlichen eine Schablone sind, die von Funktionsunterschriften gemacht ist
  • C ++ muss das Unterrichten das wichtige Konzept der Funktionsüberbelastung bedecken, die zuerst mit einführenden Funktionsunterschriften verbunden ist.

Die Praxis der Mehrfachvererbung verlangt, dass reifliche Überlegung der Funktionsunterschriften unvorhersehbare Ergebnisse vermeidet.

Informatik-Theorie und das Unterrichten von polymorphism machen insbesondere viel Gebrauch des Konzepts der Funktionsunterschrift.

Grob gleichwertig zu seiner Prototyp-Definition auf der C Programmiersprache.

CS, wie viele Wissenschaften, Wiedergebrauch-Fachsprache oft. Wenn Sie sich begegnen, der Begriff 'Unterschrift' in einem Gebiet von CS, der nicht mit der Programmierung dann betroffen ist, werden gewiss Ihre Fachsprache mit den veröffentlichten Texten überprüfen, um Verwirrung zu vermeiden.

Andere Gebiete der Informatik, wo Sie auf den Begriff Unterschrift stoßen könnten:

  • Die Studie von Datenbanken könnte auch mit dem Gebrauch des Begriffes 'Unterschrift', jedoch, vorher verwirrend die zwei Dinge verbunden sein, der Definition an der Oberseite von diesem Artikel sicher sein.

In der ML Familie von Programmiersprachen ist Unterschrift ein Schlüsselwort, das sich auf eine Konstruktion des Modul-Systems bezieht, das die Rolle einer Schnittstelle spielt.

Methode-Unterschrift

In der Computerprogrammierung, besonders objektorientierten Programmierung, wird eine Methode durch seine einzigartige Methode-Unterschrift allgemein identifiziert, die gewöhnlich den Methode-Namen, und die Zahl, Typen und Ordnung seiner Rahmen einschließt. Eine Methode-Unterschrift ist der kleinste Typ einer Methode.

Beispiele

C/C ++

In C/C ++ ist die Methode-Unterschrift der Methode-Name und die Zahl und der Typ seiner Rahmen, aber es ist möglich, einen letzten Parameter zu haben, der aus einer Reihe von Werten besteht:

interne Nummer printf (const Rotforelle *...);

</Quelle>

Die Manipulation dieser Rahmen kann durch das Verwenden der Routinen im Standardbibliothekskopfball getan werden


Richard Kempenfelt / Ludwig Bölkow
Impressum & Datenschutz