Les langages faiblement typés permettent de visualiser un morceau de mémoire comme plusieurs types. Par exemple, ajoutez directement des variables entières et des variables de caractères. C et C++ sont des langages statiques, mais aussi des langages faiblement typés ; Perl et PHP sont des langages dynamiques, mais aussi des langages faiblement typés.
PHP est un langage faiblement typé
On note qu'il n'est pas nécessaire de déclarer cette variable au type de données PHP.
PHP convertira automatiquement la variable en type de données correct en fonction de sa valeur. (Apprentissage recommandé : Programmation PHP de l'entrée à la maîtrise)
Dans les langages de programmation fortement typés, il faut déclarer (définir) les variables avant de les utiliser Type et nom.
Types forts et faibles
Fortement typés : Si tous les programmes dans une langue se comportent bien, c'est-à-dire si les comportements interdits sont pas possible, la langue est fortement typée.
Faiblement typé : Sinon, il est faiblement typé. Par exemple, le débordement de tampon en langage C appartient aux erreurs piégées, c'est-à-dire aux comportements interdits. Par conséquent, C est un type faible
La personne précédente a également dit que dans un langage faiblement typé, la vérification de type est moins stricte. , et il est plus tolérant. Par exemple, int en langage C peut être transformé en double. Le résultat est : il est facile de produire des comportements interdits, donc il est faiblement typé
Type dynamique et statique
Type statique statique : si le programme qui s'est mal comporté est rejeté au moment de la compilation, il est typé statiquement ;
typé dynamiquement : si les mauvais comportements sont rejetés au moment de l'exécution, il est typé dynamiquement.
Malentendu
Tout le monde pense que le langage C doit écrire int a, int b et autres, mais Python n'a pas besoin d'écrire (vous pouvez écrire a, b directement), donc C est statique, Python est dynamique. Cette compréhension n’est pas assez précise. Par exemple, Ocaml est typé statiquement, mais il n'est pas nécessaire de l'écrire explicitement. .
Ocaml est un type implicite statique
Les types statiques peuvent être divisés en deux types :
Si le type fait partie de la syntaxe du langage, il est explicitement typé Type explicite
Si le type est déduit au moment de la compilation, il est implicitement typé, comme ML et Haskell
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!