Inhaltsverzeichnis:
Definition - Was bedeutet Typinferenz?
Typinferenz ist die automatische Ableitung der Datentypen bestimmter Ausdrücke in einer Programmiersprache, die normalerweise zur Kompilierungszeit ausgeführt wird. Dabei wird ein Programm analysiert und dann auf die verschiedenen Typen einiger oder aller Ausdrücke in diesem Programm geschlossen, sodass der Programmierer nicht jedes Mal, wenn Variablen im Programm verwendet werden, explizit Datentypen eingeben und definieren muss.Techopedia erklärt Typinferenz
Typinferenz ist häufig eine Compilerfunktion von funktionalen Programmiersprachen und nicht von objektorientierten. Der Compiler oder Interpreter benötigt nur minimale Informationen und nur minimalen Kontext, um den Datentyp einer Variablen oder eines Ausdrucks zu bestimmen.
Der Inferenzalgorithmus versucht, die Argumenttypen sowie den Rückgabewerttyp zu bestimmen und dann den spezifischsten Datentyp zu finden, der mit allen Argumenten funktioniert. Als ein grundlegendes Beispiel betrachte man die Funktion Foo (a, b) = x + y; Der Compiler weiß, dass der "+" - Operator zwei Ganzzahlen akzeptiert und auch eine Ganzzahl zurückgibt, sodass der Compiler oder Interpreter nun schließen kann, dass Foo auch den Typ Ganzzahl hat.
