Warum müssen Sie beim Deklarieren von Variablen den Datentyp angeben?

In den meisten Programmiersprachen (wenn nicht allen) müssen Sie Variablen deklarieren. Zum Beispiel in C #, wenn es ein Zahlenfeld ist

int PhoneNumber

Wenn ich normale englische Sprache bin mit brauche ich nicht zu erklären , PhoneNumberwie intes zu benutzen. Wenn ich zum Beispiel meinen Freund Sam nach seiner Telefonnummer frage, sage ich:

"Sam gib mir die Telefonnummer"

Würde ich nicht sagen

"Char (20) Sam gib mir die int phoneNumber"

Warum müssen wir überhaupt den Datentyp angeben?

In den meisten Programmiersprachen (wenn nicht allen) müssen Sie Variablen deklarieren.

[…]

Warum müssen wir überhaupt den Datentyp angeben?

Das sind zwei unabhängige Fragen:

• Warum müssen wir Variablen deklarieren?
• Warum müssen wir Typen deklarieren?

Die Antwort auf beide lautet übrigens: Wir nicht.

Es gibt viele statisch typisierte Programmiersprachen, in denen Sie keine Typen deklarieren müssen. Der Compiler kann die Typen aus dem Umgebungskontext und der Verwendung ableiten.

In Scala kann man zum Beispiel sagen

val age: Int = 23

oder du könntest einfach sagen

val age = 23

Die beiden sind genau gleichwertig: Der Compiler leitet den Typ Intaus dem Initialisierungsausdruck ab 23.

Ebenso können Sie in C♯ beides sagen, und beide bedeuten genau dasselbe:

int age = 23;
var age = 23;

Diese Funktion wird als Typinferenz bezeichnet , und viele Sprachen außer Scala und C♯ haben sie: Haskell, Kotlin, Ceylon, ML, F♯, C ++, Sie nennen sie. Sogar Java hat begrenzte Formen der Typinferenz.

In dynamisch getippten Programmiersprachen haben Variablen nicht einmal Typen. Typen existieren nur dynamisch zur Laufzeit, nicht statisch. Nur Werte und Ausdrücke haben Typen, und Variablen haben nur zur Laufzeit keine Typen.

ZB in ECMAScript:

const age = 23;
let age = 23;

Und schließlich müssen Sie in vielen Sprachen überhaupt keine Variablen deklarieren. zB in Ruby:

age = 23

Tatsächlich ist das letzte Beispiel in einer Reihe von Programmiersprachen gültig. Die exakt gleiche Codezeile würde beispielsweise auch in Python funktionieren.

Damit,

• Selbst in statisch typisierten Sprachen, in denen Variablen Typen haben, müssen Sie diese nicht unbedingt deklarieren.
• In dynamisch getippten Sprachen haben Variablen keine Typen. Sie können sie also offensichtlich nicht einmal deklarieren.
• In vielen Sprachen müssen Sie nicht einmal Variablen deklarieren

Wenn Sie auf Informationen in natürlicher Sprache verweisen, ist dies nicht sehr präzise und kommuniziert insbesondere nicht viel über Ihre Absichten mit anderen. Ähnliche Probleme treten auf, wenn Sie versuchen, Mathematik in natürlicher Sprache zu üben: Es ist einfach nicht präzise genug.

Die Programmierung ist komplex; Fehler sind allzu leicht zu finden. Typen sind Teil eines Überprüfungssystems, mit dem unzulässige Programmzustände durch Erkennen von Fehlerzuständen verhindert werden sollen. Verschiedene Sprachen verwenden Typen unterschiedlich: Einige Sprachen verwenden Typen sehr häufig, um Fehler beim Kompilieren zu erkennen. Fast alle Sprachen kennen inkompatible Typen als Laufzeitfehler. Normalerweise weist ein Tippfehler auf einen Fehler im Programm hin. Wenn wir zulassen, dass Programme trotz Fehlern fortgesetzt werden, erhalten wir wahrscheinlich sehr schlechte Antworten. Wir halten das Programm lieber an, als falsche oder falsche Antworten zu erhalten.

Anders ausgedrückt, Typen drücken Einschränkungen für das Verhalten des Programms aus. Einschränkungen bieten, wenn sie durch einen Mechanismus erzwungen werden, Garantien. Diese Garantien begrenzen den Umfang der Überlegungen, die zum Nachdenken über das Programm erforderlich sind, und vereinfachen so das Lesen und Verwalten des Programms für Programmierer. Ohne Typen und deren Implikation durch Tools (dh den Compiler), die Typfehler erkennen, ist der Programmieraufwand erheblich höher und damit teurer.

Es ist wahr, dass (viele) Menschen leicht zwischen einer europäischen, einer amerikanischen und einer internationalen Telefonnummer unterscheiden können. Der Computer "denkt" jedoch nicht wirklich und wählt, wenn er dazu aufgefordert wird, eine Telefonnummer in Europa (USA) oder umgekehrt. Typen zum Beispiel sind eine gute Möglichkeit, zwischen diesen Fällen zu unterscheiden, ohne dem Computer beibringen zu müssen, wie man "denkt". In einigen Sprachen kann ein Kompilierungsfehler auftreten, wenn versucht wird, eine europäische Telefonnummer in einem amerikanischen Telefonsystem zu mischen. Dieser Fehler besagt, dass wir unser Programm ändern müssen (möglicherweise durch Konvertieren der Telefonnummer in eine internationale Wählfolge oder durch Verwenden der Telefonnummer in Europa), bevor wir überhaupt versuchen, das Programm auszuführen.

Da der Computer nicht denkt, bedeutet der Name des Feldes oder der Variablen (z. B. phonenumber) für den Computer nichts. Für den Computer ist dieser Feld- / Variablenname nur "blah123". Überlegen Sie, wie Ihr Programm aussehen würde, wenn alle Variablen "blahxxx" wären. Huch. Nun, das sieht der Computer. Das Bereitstellen eines Typs gibt dem Computer einen Hinweis auf die Bedeutung der Variablen, die er einfach nicht allein aus ihrem Namen ableiten kann.

Wie @Robert sagt, müssen wir in vielen modernen Sprachen nicht mehr so ​​viele Typen wie früher angeben, da Sprachen wie C # "Typinferenz" ausführen, dh eine Reihe von Regeln, um den richtigen Typ zu bestimmen für eine Variable im Kontext. C # ermöglicht nur eine Typinferenz für lokale Variablen, nicht jedoch für formale Parameter oder Klassen- oder Instanzfelder.

Neben den anderen Antworten sollte noch eines berücksichtigt werden. Denken Sie daran, dass Computer nur Bits sind. Sagen wir, ich gebe dir die Bytes:

26 3A 00 FF

Was bedeutet , dass Mittel ? Es wird auf diese Weise vom Computer gespeichert, aber ohne Interpretation sind es nur Bits . Es können 4 ASCII-Zeichen sein. Es könnte eine ganze Zahl sein. Es können einige Bytes in einem Array sein. Es könnte Teil eines Objekts sein. Dies könnte ein Hinweis darauf sein, wo das Katzenvideo zwischengespeichert wird. So gut wie alle Programmiersprachen von der Montage auf bis Notwendigkeit , etwas zu wissen , wie die Bits zu interpretieren , um sie zu tun sinnvolle Berechnung zu machen.

Und da der Computer die Bedeutung dieser Bits nicht kennen kann, müssen Sie sie mitteilen - entweder explizit über Typanmerkungen oder implizit über Typinferenzmechanismen, die in den anderen Antworten erwähnt werden.

Die Antwort, warum die Computer diese Informationen benötigen, hat mit der Datendarstellung zu tun .

Der Name des "Datentyps" ist ein Verweis auf Regeln, die dem Computer helfen, Informationen aus dem Rohzustand der Nullen und Einsen im Computerspeicher zu speichern und abzurufen.

Beispiel: Ihr reguläres 8-Bit-ASCII-Zeichen wird im Computerspeicher (RAM oder Disk) als 01000001(Großbuchstabe "A", ASCII-Code 65) oder 00001000(Prozentzeichen) oder beliebige Kombinationen von Nullen und gespeichert Einsen in diesen 8 Bits.

In einem anderen Beispiel kann eine 8-Bit-Ganzzahl ohne Vorzeichen als 00000101(die Nummer 5) oder 00001000(die Nummer 8) gespeichert werden.

Beachten Sie, dass die binäre Darstellung von 8 und dem% -Zeichen zwar identisch ist, jedoch unterschiedliche Bedeutungen hat, da ihre Typen unterschiedlich sind.

Selbst die Sprachen, die auf den Datentyp schließen, haben möglicherweise nicht die Regel, dass "alle Variablentypen vom Programmierer deklariert werden müssen". Sie haben Regeln wie "Wenn Ihre Zeichenfolge in Anführungszeichen eingeschlossen ist, handelt es sich um eine Zeichenfolge" viele weitere Regeln für jeden Datentyp.

Selbst diese benötigen Datentypen, um zu verstehen, was die Nullen und Einsen bedeuten. Sie können also beispielsweise die Funktion zur Verkettung von Zeichenfolgen ausführen, wenn Sie versuchen, zwei Zeichen "hinzuzufügen", oder die Ganzzahladdition, wenn Sie versuchen, zwei Ganzzahlen hinzuzufügen .

In Ihrer Geschichte zu, sagen wir , Sie nicht Sam fragen Sie nach der Telefonnummer , aber Sam gibt Ihnen ein Stück Papier , das „1123581321“ auf sie hat. Sie konnten nicht sicher sein, ob Sam nur ein Fan der ersten acht Fibonacci-Nummern ist oder ob das eine Telefonnummer ist. Um eine Vermutung anzustellen, müssen Sie den verfügbaren Kontext und die verfügbaren Hinweise berücksichtigen, z. B. haben Sie Sam vor einem Tag nach einer Telefonnummer gefragt oder in der Notiz steht "Ruf mich an", oder wenn Sie die Ziffern zählen und suchen Es entspricht den Mustern der meisten Telefonnummern. Nur dann würden Sie wissen, dass es sich um eine Telefonnummer handelt, die Sie anrufen können, und nicht um einige Ziffern, die Sie in einen Taschenrechner eingeben würden.

Beachten Sie, wie diese Hinweise, die Sie zu der Annahme geführt haben, dass es sich bei der Nummer um eine Telefonnummer handelt, denen ähneln, wie Hinweise zu einer Computersprache führen, für die keine Deklaration erforderlich ist, um den Typ eines Werts abzuleiten.

In einigen Sprachen müssen Sie den Datentyp nicht angeben.

Sprachen, die Typinferenz unterstützen, können normalerweise den Datentyp aus Ihrer Verwendung ermitteln. Zum Beispiel,

var name = "Ali"

wird intern als Zeichenfolge eingegeben, da der Wert von Anführungszeichen umgeben ist.

In einigen Sprachen müssen Sie die Variable auch nicht deklarieren. Die Variable wird bei der ersten Verwendung erstellt. Es wird jedoch aus mehreren wichtigen Gründen als bewährte Methode angesehen, Ihre Variablen speziell zu deklarieren. Meistens, weil dies Ihre Absicht besser zum Ausdruck bringt.

Denn genau das gibt das Sprachdesign vor. Um Ihre Frage zu beantworten, müssen wir uns die Absicht hinter expliziter Eingabe in Sprachen wie C # und C ++ ansehen. (Nun, C # macht es, weil C ++ es tut, weil C es tut, also müssen wir uns die Absichten von damals ansehen.)

Erstens bietet die explizite und statische Typisierung eine strenge Codierung. Wenn Sie eine Variable als Ganzzahl angeben, sollten der Compiler und die Software überrascht sein und einen Fehler auslösen, wenn Sie der Variablen ein Zeichen oder eine Zeichenfolge zuweisen. Dynamische Eingabe kann Kopfschmerzen für die Unachtsamen verursachen (schauen Sie sich einfach PHP an oder Javascripts nähern sich der Wahrheit von Dingen wie Arrays und leeren Strings).

Sie können statisch mit impliziter Typisierung arbeiten. Wenn Sie eine Variable als Zeichenfolge initialisieren, bedeutet dies, dass die Variable immer nur eine Zeichenfolge sein sollte. Ich bin jedoch der Meinung, dass dies beim Lesen des Codes zu Problemen führen kann ).

In einigen Sprachen ist es auch möglich, so etwas wie diesen Pseudocode zu schreiben, um eine Klasse aus einer Zeichenfolgeneingabe zu initialisieren:

PhoneNumber phoneNumber = "(61) 8 8000 8123";

Zweitens geht die explizite Eingabe auch mit der Speicherzuweisung einher. Ein int ist immer so viele Bytes. Eine PhoneNumber besteht aus so vielen Bytes. Der Compiler kann einen Speicherblock mit der entsprechenden Größe zuweisen, der später verwendet werden kann, ohne dass Sie sehen müssen, wie viel Speicherplatz für die Zuweisung eines Werts erforderlich ist.

PhoneNumber phoneNumber;
...
phoneNumber = "some value from somewhere";

Schließlich beseitigt es Verwirrung ... ist 123 eine ganze Zahl oder eine vorzeichenlose ganze Zahl? Sie benötigen die gleiche Anzahl von Bytes, aber der in Variablen beider Typen gespeicherte Maximalwert ist sehr unterschiedlich ...

Dies bedeutet nicht, dass explizit besser ist als implizit - aber das Sprachdesign basiert auf diesen Auswahlmöglichkeiten, und C # würde bei impliziter Typisierung anders funktionieren. PHP und Javascript würden bei expliziter Eingabe anders funktionieren.

Weil Sam schlauer ist als Compiler. Wenn Sie beispielsweise sagen, dass Sie mir die Telefonnummer geben, geben Sie nicht an, ob Sie die Ländervorwahl oder die Vorwahl haben möchten, ob es sich um eine Geschäftsnummer handelt, für die nur die letzten 4 Ziffern erforderlich sind. Auch wenn Sie nach der Nummer des örtlichen Pizzakneipens fragen, können Sie sich mit der Antwort "pizza4u" auseinandersetzen.

Sam, findet es aus dem Kontext heraus. Während der Compiler es auch aus dem Kontext herausfinden kann, wird Sam es besser können (und in der Lage sein, den Prozess zu unterbrechen, um nach einer Klärung zu fragen).

Es gibt zwei grundlegende Ansätze für Typen und Variablen: Entweder hat die Variable einen Typ. In diesem Fall sind Aktionen, die vom Typ nicht zugelassen sind, verboten und verhindern die Kompilierung, oder der Wert hat einen Typ und Aktionen, die vom Typ nicht zugelassen sind Typ werden zur Laufzeit abgefangen.

Jeder Ansatz hat seine Vor- und Nachteile. Im Allgemeinen versuchen Compiler-Autoren, die Nachteile zu minimieren und die Vorteile zu maximieren. Aus diesem Grund ermöglicht var phoneNumber = GetPhoneNumber();und leitet C # den Typ der phoneNumber aus der Signatur von GetPhoneNumber ab. Das heißt, Sie müssen den Typ für die Methode deklarieren, aber nicht die Variable, die das Ergebnis empfängt. Auf der anderen Seite gibt es verschiedene Arten von Hinweisen / Durchsetzungsprojekten für Javascript. Alles ist ein Kompromiss.

Es ist eine Frage der Art und Weise, wie die Daten gespeichert werden. Ihre Interaktion mit Sam würde einen besseren Vergleich ergeben, wenn Sie darum bitten, dass Sie es aufschreiben könnten, aber nur Papier im Wert von acht Zeichen haben.

"Sam, gib mir die Telefonnummer."

"5555555555"

"Oh nein, ich habe kein Papier mehr. Wenn ich nur vorher gewusst hätte, wie viele Daten ich angefordert habe, hätte ich sie besser aufbereiten können!"

In den meisten Sprachen müssen Sie stattdessen einen Typ deklarieren, damit dieser im Voraus weiß und sich vorbereitet:

"Sam, wie lange ist eine Telefonnummer?"

"Zehn Zeichen."

"Okay, dann lass mich ein größeres Stück Papier holen. Jetzt gib mir die Telefonnummer."

"5555555555"

"Verstanden! Danke Sam!"

Noch haariger wird es, wenn man sich die grundlegenden Arten der Datenspeicherung ansieht. Wenn Sie wie ich sind, haben Sie ein Notizbuch mit verschiedenen Notizen, nur notierten Zahlen, keinem Kontext oder Beschriftungen für irgendetwas, und drei Tage später haben Sie keine Ahnung, was dies bedeutet. Dies ist auch für Computer häufig ein Problem. Viele Sprachen haben "int" -Typen (int, long, short, byte) und "float" -Typen (float, double). Warum ist das notwendig?

Schauen wir uns zunächst an, wie eine Ganzzahl gespeichert und im Allgemeinen im Computer dargestellt wird. Sie wissen wahrscheinlich, dass auf der Basisebene alles binär ist (Einsen und Nullen). Binär ist eigentlich ein Zahlensystem, das genau wie unser Dezimalzahlensystem funktioniert. In der Dezimalzahl zählen Sie 0 bis 9 (mit unendlichen implizierten führenden Nullen, die Sie nicht schreiben), dann rollen Sie zurück auf 0 und erhöhen die nächste Ziffer, so dass Sie 10 haben. Sie wiederholen, bis Sie von 19 auf 20 rollen, Wiederholen Sie diesen Vorgang, bis Sie von 99 auf 100 gewechselt haben.

Binär ist nicht anders, außer dass Sie anstelle von 0 bis 9 0 bis 1 zählen. 0, 1, 10, 11, 100, 101, 110, 111, 1000. Wenn Sie also 9 eingeben, wird der Speicher binär aufgezeichnet als 1001. Dies ist eine tatsächliche Zahl. Es kann in genau dieser Form addiert, subtrahiert, multipliziert usw. werden. 10 + 1 = 11. 10 + 10 = 100 (1 auf 0 rollen und 1 tragen). 11 × 10 = 110 (und äquivalent 11 + 11 = 110).

Jetzt gibt es im eigentlichen Speicher (einschließlich der Register) eine Liste, ein Array, wie auch immer Sie es nennen möchten, von Bits (potenzielle Einsen oder Nullen) direkt nebeneinander. Auf diese Weise werden diese Bits logisch organisiert, um eine zu erstellen Zahl größer als 1. Problem ist, was machst du mit Dezimalstellen? Sie können nicht einfach ein Stück Hardware zwischen die beiden Bits im Register einfügen, und es würde viel zu viel kosten, zwischen jedem Bitpaar "Dezimalbits" einzufügen. Also, was ist zu tun?

Sie kodieren es. Im Allgemeinen bestimmt die Architektur der CPU oder der Software, wie dies durchgeführt wird. Eine übliche Methode besteht jedoch darin, ein Vorzeichen (+ oder -, im Allgemeinen 1 ist negativ) im ersten Bit des Registers, einer Mantisse, zu speichern (Ihre Nummer ist verschoben Es muss jedoch häufig erforderlich sein, die Dezimalzahl für die folgende X-Anzahl von Bits und einen Exponenten (die Anzahl der Verschiebungen) für den Rest zu entfernen. Es ähnelt der wissenschaftlichen Notation.

Durch die Eingabe kann der Compiler erkennen, worauf es ankommt. Stellen Sie sich vor, Sie haben den Wert 1,3 in Register 1 gespeichert. Wir werden hier nur unser eigenes ausgefallenes Codierungsschema entwickeln, 1 Bit für das Vorzeichen, 4 für die Mantisse, 3 für den Exponenten (1 Bit für das Vorzeichen, 2 für die Größe). Dies ist eine positive Zahl, daher ist das Vorzeichen positiv (0). Unsere Mantisse wäre 13 (1101) und unser Exponent wäre -1 (101 (1 für negativ, 01 = 1)). Also speichern wir 01101101 in Register 1. Jetzt haben wir diese Variable nicht mehr eingegeben. Wenn die Laufzeitumgebung sie verwendet, heißt es "sicher, das ist eine ganze Zahl, warum nicht". Wenn also der Wert ausgegeben wird, wird 109 (64 +) angezeigt 32 + 8 + 4 + 1), was offensichtlich nicht richtig ist.

Es ist jedoch nicht für jede Sprache erforderlich, dass Sie explizit eingeben. C # hat ein Schlüsselwort "var", das bewirkt, dass der Variablentyp beim Kompilieren interpretiert wird, und andere Sprachen wie Javascript werden vollständig dynamisch typisiert, bis Sie eine Ganzzahl in einer Variablen speichern und sie dann einem Booleschen Wert zuweisen können Weisen Sie es erneut einer Zeichenfolge zu, und die Sprache behält alles im Auge.

Der Compiler, der Interpreter oder die Laufzeit sind jedoch viel einfacher - und dies führt häufig zu einem schnelleren Programm, da keine wertvollen Ressourcen für die Eingabe von Daten aufgewendet werden müssen Daten, die Sie geben.

Es gibt Programmiersprachen, in denen Sie keine Datentypen für Ihre Variablen deklarieren müssen. Es gibt sogar Programmiersprachen, in denen Sie Variablen nicht vorher deklarieren müssen. Sie können einfach verwenden sie, sofort.

Das Problem, dass Variablennamen nicht deklariert werden, besteht darin, dass Sie versehentlich eine neue, völlig unabhängige Variable erstellt haben, wenn Sie den Namen einer Variablen versehentlich falsch geschrieben haben. Also , wenn Sie Ihr Programm ausführen, können Sie nicht herausfinden , warum die Hölle , dass Variable , die Sie plötzlich nichts in ihm aufgebaut ... Bis nach vielen Stunden Debuggen, merkt man den verdammten Namen falsch eingegeben! GRRR !!

Sie haben es also so gemacht, dass Sie die Variablennamen, die Sie verwenden möchten, vorher deklarieren müssen . Und jetzt, wenn Sie einen falschen Namen eingeben, erhalten Sie einen Fehler beim Kompilieren, der Ihnen sofort genau sagt , wo der Fehler ist, bevor Ihr Programm überhaupt ausgeführt wird. Ist das nicht so viel einfacher?

Gleiches gilt für Datentypen. Es gibt Programmiersprachen, in denen Sie nicht deklarieren müssen, welcher Typ die Dinge sein sollen. Wenn Sie eine customerVariable haben, die eigentlich nur der Name eines Kunden ist, nicht das gesamte Kundenobjekt, funktioniert der Versuch, die Kundenadresse aus einer einfachen gewöhnlichen Zeichenfolge abzurufen, nicht. Der gesamte Punkt der statischen Typisierung ist, dass das Programm nicht kompiliert werden kann. es wird sich lautstark beschweren und auf den genauen Ort hinweisen, an dem das Problem liegt. Das ist viel schneller, als den Code auszuführen und herauszufinden, warum zum Teufel das nicht funktioniert.

All dies sind Funktionen, die dem Compiler mitteilen, was Sie beabsichtigt haben, damit er überprüfen kann, was Sie tatsächlich getan haben, und sicherstellen kann, dass es sinnvoll ist. Dies ermöglicht es dem Compiler, automatisch Fehler für Sie zu lokalisieren, was eine große Sache ist.

(Früher mussten Sie keine Unterroutinen deklarieren . Sie mussten nur GOSUBeine bestimmte Zeilennummer angeben. Wenn Sie Informationen zwischen Unterroutinen weitergeben möchten, würden Sie bestimmte globale Variablen festlegen, Ihre Unterroutine aufrufen und dann andere untersuchen Variablen, wenn das Unterprogramm zurückkehrt, aber das macht es erschreckend einfach, zu vergessen, einen der Parameter zu initialisieren. Daher verlangen heutzutage fast alle modernen Programmiersprachen, dass Sie deklarieren, welche tatsächlichen Parameter ein Unterprogramm annimmt, damit wir überprüfen können, ob Sie sie alle angegeben haben. )

Wenn ich normale englische Sprache verwende, muss ich PhoneNumber nicht als int deklarieren, um es zu verwenden. Wenn ich zum Beispiel meinen Freund Sam nach seiner Telefonnummer frage, sage ich:

"Sam gib mir die Telefonnummer"

Ich würde nicht sagen>

"Char (20) Sam gib mir die int phoneNumber"

Warum müssen wir überhaupt den Datentyp angeben?

Kommen Sie zu MathOverflow oder Theoretical Computer Science und lesen Sie eine Weile, um eine Vorstellung davon zu bekommen, wie Menschen Alogrithmen miteinander kommunizierten, um sicherzustellen, dass es keine Möglichkeit für Missverständnisse gibt. Oder lesen Sie den Standard für eine ausgereifte Programmiersprache.

Sie werden feststellen , dass die Definition , welche Arten von Werten zu einem Begriff erlaubt ist Teil wirklich präzise Kommunikation auch von Mensch zu Mensch üben.

Was Sie bemerkt haben, ist, dass die alltäglichen Interaktionen ziemlich regelmäßig sind und dass Menschen ziemlich fehlertolerant sind, so dass ein Missverständnis über Telefonnummern im Allgemeinen durch das gemeinsame Wissen der Teilnehmer vermieden wird.

Aber haben Sie jemals versucht, eine Telefonnummer für jemanden in einem anderen Land zu notieren? Haben sie Ihnen ausdrücklich gesagt, wie oft Sie auf Null drücken müssen, um zur internationalen Adressierung zu gelangen? Haben sie Ihnen ihre Landesvorwahl mitgeteilt? Hast du es als solches erkannt? Wie viele Stellen haben Sie erwartet? Wie viele hast du bekommen? Wussten Sie, wie man die Ziffern gruppiert? Oder auch wenn die Gruppierung Bedeutung hat?

Plötzlich ist das Problem viel schwerer und Sie haben wahrscheinlich viel mehr Sorgfalt darauf verwendet, explizit zu überprüfen, ob die empfangene Nummer so verstanden wurde, wie es der Absender meinte.

Ein weiterer Grund für die Angabe von Typen ist die Effizienz. Während eine Ganzzahl in 1 Byte oder 2 Byte oder 4 Byte gespeichert werden kann, kann ein Programm, das eine sehr große Anzahl von Variablen verwendet, den vierfachen Speicherbedarf haben, je nachdem, was gerade ausgeführt wird. Nur der Programmierer weiß, ob ein kleinerer Speicherplatz sinnvoll ist, und kann dies durch Angabe des Typs sagen.

Dynamisch getippte Objekte ermöglichen auch viele mögliche Typen im laufenden Betrieb. Dies könnte etwas Aufwand "unter der Haube" verursachen und das Programm verlangsamen, verglichen mit dem Festhalten an einem Typ.

In einigen frühen Programmiersprachen (insbesondere in Fortran) mussten Sie vor der Verwendung keine Variablen deklarieren.

Dies führte zu einer Reihe von Problemen. Eine wirklich offensichtliche ist, dass der Compiler einfache typografische Fehler nicht mehr annähernd so zuverlässig abfangen kann. Wenn Sie Code haben, der eine vorhandene Variable ändern soll, aber einen Tippfehler aufweist, haben Sie immer noch absolut legitimen Code, der gerade eine neue Variable erstellt (und einen Wert zugewiesen) hat:

longVariableName = 1

// ...

longVaraibleName = longvariableName + anotherLongVariableName

Wenn ich dies isoliert betrachte, da ich bereits einen Tippfehler als Quelle des Problems erwähnt habe, ist es wahrscheinlich ziemlich einfach, den Tippfehler und das Problem hier zu finden. In einem langen Programm, in dem dies inmitten vieler anderer Codes vergraben ist, ist es viel einfacher, es zu übersehen.

Sogar gegenwärtig mit vielen dynamisch getippten Sprachen können Sie immer noch ziemlich leicht das gleiche Grundproblem bekommen. Einige haben die Möglichkeit, Sie zu warnen, wenn Sie eine Variable zuweisen, aber lesen Sie sie nie (was heuristisch einige Probleme wie dieses aufwirft), beide andere haben solche Dinge nicht.

Wenn Sie eine Variable deklarieren, wird Speicherplatz im Speicher zugewiesen, aber der Computer (in diesem Fall der Computer) weiß noch nicht, wie viel Speicherplatz für diese Variable zugewiesen werden muss.

Beispiel: - Sie erstellen ein Programm, das den Benutzer auffordert, eine beliebige Nummer einzugeben. In diesem Fall müssen Sie einen Datentyp angeben, um diese Nummer zu speichern. Andernfalls kann der Computer nicht selbst beurteilen , ob er 2 Bytes oder 2 Gigabytes zuweisen soll , wenn er dies versucht Wenn Sie die Zuordnung selbst vornehmen, kann dies zu einer ineffizienten Speichernutzung führen. Wenn Sie dagegen den Datentyp in Ihrem Programm angeben, weist die Maschine nach der Kompilierung den erforderlichen Speicherplatz zu.