Ist PHP eine stark typisierte Sprache?

Schwach typisierte Sprachen ermöglichen die Betrachtung eines Teils der Erinnerung als mehrere Typen. Fügen Sie beispielsweise direkt Ganzzahlvariablen und Zeichenvariablen hinzu. C und C++ sind statische Sprachen, aber auch schwach typisierte Sprachen; Perl und PHP sind dynamische Sprachen, aber auch schwach typisierte Sprachen.

PHP ist eine schwach typisierte Sprache

Wir weisen darauf hin, dass es nicht notwendig ist, diese Variable zu deklarieren zum PHP-Datentyp.

PHP konvertiert die Variable basierend auf ihrem Wert automatisch in den richtigen Datentyp. (Empfohlenes Lernen: PHP-Programmierung vom Einstieg bis zur Kompetenz)

In stark typisierten Programmiersprachen müssen wir Variablen deklarieren (definieren), bevor wir sie verwenden. Typ und Name.

Starke und schwache Typen

Stark typisiert: Wenn sich alle Programme in einer Sprache gut verhalten – das heißt, wenn es sich um verbotene Verhaltensweisen handelt nicht möglich, die Sprache ist stark typisiert.

Schwach getippt: Andernfalls ist es schwach getippt. Beispielsweise gehört der Pufferüberlauf in der C-Sprache zu abgefangenen Fehlern, also zu verbotenen Verhaltensweisen. Daher ist C ein schwacher Typ.

Die vorherige Person sagte auch, dass in einer schwach typisierten Sprache die Typprüfung weniger streng ist und es ist toleranter bei der impliziten Typkonvertierung. Beispielsweise kann int in der C-Sprache in double umgewandelt werden. Das Ergebnis ist: Es ist leicht, verbotene Verhaltensweisen zu erzeugen, daher ist es schwach typisiert

Dynamischer, statischer Typ

Statischer Typ statisch: Wenn das sich schlecht verhaltende Programm abgelehnt wird zur Kompilierungszeit wird es statisch typisiert;

dynamisch typisiert dynamisch: Wenn Fehlverhalten zur Laufzeit abgelehnt wird, wird es dynamisch typisiert.

Missverständnis

Jeder denkt, dass die C-Sprache int a, int b usw. schreiben muss, aber Python muss nicht schreiben (Sie können a, b schreiben). direkt), also ist C statisch, Python ist dynamisch. Dieses Verständnis ist nicht genau genug. Ocaml ist beispielsweise statisch typisiert, muss aber nicht explizit geschrieben werden. .

Ocaml ist ein statischer impliziter Typ

Statische Typen können in zwei Typen unterteilt werden:

Wenn der Typ Teil der Sprachsyntax ist, ist er es ist ein explizit typisierter expliziter Typ;

Wenn der Typ zur Kompilierungszeit abgeleitet wird, wird er implizit typisiert, z. B. ML und Haskell

Das obige ist der detaillierte Inhalt vonIst PHP eine stark typisierte Sprache?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!