Chapitre 5. Le système de types Java
Cet ouvrage a été traduit à l'aide de l'IA. Tes réactions et tes commentaires sont les bienvenus : translation-feedback@oreilly.com
Dans ce chapitre, on va au-delà des bases de la programmation orientée objet avec les classes pour aborder les concepts supplémentaires nécessaires pour bien maîtriser le système de typage statique de Java.
Remarque
Un langage à typage statique est un langage dans lequel les variables ont des types bien définis, et où l’affectation d’une valeur de type incompatible à une variable entraîne une erreur de compilation. Les langages qui vérifient la compatibilité des types lors de l’exécution sont dits à typage dynamique.
Java est un exemple assez classique de langage à typage statique. JavaScript, quant à lui, est un exemple de langage à typage dynamique qui permet à n’importe quelle variable de stocker n’importe quel type de valeur. Python a commencé par être un langage à typage dynamique, mais il intègre désormais la possibilité d’adopter de manière sélective certains aspects du typage statique — une approche que certains appellent le « typage progressif ».
Le système de types de Java implique non seulement des classes et des types primitifs, mais aussi d’autres types de référence liés au concept de base d’une classe, tout en s’en distinguant d’une certaine manière et en étant généralement traités de façon particulière par javac ou la JVM.
On a déjà découvert les tableaux et les classes, deux des types de référence ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access