Notion de type
Définition
Un type est un ensemble nommé de valeurs, muni d’opérations sur ces
valeurs.
Exemple :
Type Entier (ensemble de tous les entiers relatifs); les opérations sur le
type entier sont : addition, soustraction, multiplication, division,
comparaison,….
Type Personne (ensemble de toutes les personnes). Les opérations
peuvent être : sexe, âge, taille, nom, prénom, …
Utilité des types
Vérification du programme
On s’assure dès la compilation que les bonnes opérations sont exécutées sur les bons types
Contre-exemple : application de la fonction racine carrée sur une personne
Lisibilité du programme : le type de toutes les variables est connu
Une variable est un nom associé à un contenu stocké en mémoire.
Représentation des valeurs en machine
Le type indique la place en mémoire à réserver pour la variable