Java est-il un langage dynamique ou un langage statique ?

Java est un langage statique. Les types de variables Java sont déterminés au moment de la compilation et ne peuvent pas être modifiés pendant l'exécution. La conversion de type est également obligatoire, par exemple, lorsqu'un type entier à grande plage est converti en un type entier à petite plage. , il doit être forcé. , comme int, qui doit être converti pour obtenir l'octet de type à petite plage ; Java est donc un langage statique et fortement typé.

L'environnement d'exploitation de cet article : système Windows 7, ordinateur Dell G3.

Étude recommandée : "Cours vidéo de programmation"

Java est-il un langage dynamique ou un langage statique, et est-il fortement typé ou faiblement typé ? Même si je le sais, ce n’est toujours pas assez profond. Discutons-en ensemble ensuite.

Émoticônes

Il m'est arrivé de voir une image qui distinguait parfaitement les problèmes ci-dessus, comme indiqué ci-dessous :

Comme le montre la figure, Java est un langage fortement typé avec un typage statique. Expliquons pourquoi.

Explication

1. Langage de type statique : Un langage dans lequel les variables sont définies avec des déclarations de type.

(1) Le type de la variable est déterminé au moment de la compilation

(2) Le type de la variable ne peut pas être modifié au moment de l'exécution

De cette façon, le compilateur peut déterminer ce qui est nécessaire au moment de l'exécution Quantité totale de mémoire.
Par exemple : les langages C, Scala, Java et F# sont des langages typés statiquement.

2. Langage typé dynamiquement : un langage sans déclaration de type lors de la définition des variables.

(1) Le type de la variable est déterminé au moment de l'exécution

(2) Le type de la variable peut être modifié au moment de l'exécution

Par exemple : python, Javascript, et les langages Ruby sont des langages de types dynamiques.

3. Langage de définition de type fort

Un langage qui force la définition du type de données. En d’autres termes, une fois qu’un certain type de données est attribué à une variable, ce sera toujours ce type de données si elle n’est pas convertie. Par exemple : si vous définissez une variable entière a, alors il est impossible pour le programme de traiter a comme un type chaîne. Un langage de définition fortement typé est un langage de type sécurisé.

4. Langage de définition faiblement typé

Un langage dans lequel les types de données peuvent être ignorés. C'est l'opposé d'un langage de définition fortement typé, dans lequel une variable peut se voir attribuer des valeurs de différents types de données. Les langages de définition fortement typés peuvent être légèrement plus lents que les langages de définition faiblement typés, mais la rigueur apportée par les langages de définition fortement typés peut effectivement éviter de nombreuses erreurs.

Pour résumer :

Java est un type de variable déterminé au moment de la compilation et ne peut pas être modifié au moment de l'exécution. La conversion de type est également obligatoire, comme la conversion d'une large gamme de types entiers en un petit. range. Le type entier doit être converti. Par exemple, int doit être converti pour obtenir l'octet de type petite plage. Java est donc un langage statique et fortement typé.

Pour plus d'articles connexes, veuillez visiter le Site Web PHP chinois ! !

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!