Spécificateurs de type C

Les spécificateurs de type dans les déclarations définissent le type d'une variable ou d'une déclaration de fonction.

Syntaxe

• type-specifier :
  void

  char

  short

  int

  long

  float

  double

  signed

  unsigned

  struct-or-union-specifier

  enum-specifier

  typedef-name

Les types signed char, signed int, signed short int et signed long int, ainsi que leurs équivalents unsigned et enum, sont appelés types « intégraux ». Les spécificateurs de type float, double et long double sont appelés types « flottants » ou « à virgule flottante ». Vous pouvez utiliser n'importe quel spécificateur de type intégral ou à virgule flottante dans une variable ou une déclaration de fonction. Si aucun type-specifier n'est fourni dans une déclaration, int est utilisé par défaut.

Les mots clés facultatifs signed et unsigned peuvent précéder ou suivre tout type intégral, à l'exception d'enum, et peuvent également être utilisés seuls comme spécificateurs de type, auquel cas ils sont compris respectivement comme signed int et unsigned int. S'il est utilisé seul, le mot clé int est supposé être signed. S'ils sont utilisés seuls, les mots clés long et short sont compris comme long int et short int.

Les types énumération sont considérés comme des types de base. Les spécificateurs de type pour les types énumération sont traités dans Déclarations d'énumération.

Le mot clé void a trois utilisations : spécifier un type de retour de fonction, spécifier une liste de types d'arguments pour une fonction qui n'accepte pas d'argument et spécifier un pointeur vers un type non spécifié. Vous pouvez utiliser le type void pour déclarer des fonctions qui ne retournent aucune valeur ou pour déclarer un pointeur vers un type non spécifié. Pour plus d'informations sur void lorsqu'il apparaît seul entre les parenthèses qui suivent un nom de fonction, consultez Arguments.

Section spécifique à Microsoft

La vérification de type est maintenant conforme à la spécification ANSI, ce qui signifie que le type short et le type int sont des types distincts. Par exemple, voici une redéfinition dans le compilateur C Microsoft qui était acceptée par les versions précédentes du compilateur.

int   myfunc();
short myfunc();

Cet exemple suivant génère également un avertissement concernant l'indirection vers différents types :

int *pi;
short *ps;

ps = pi;  /* Now generates warning */

Le compilateur C Microsoft génère également des avertissements pour les différences de signe. Par exemple :

signed int *pi;
unsigned int *pu

pi = pu;  /* Now generates warning */

Les expressions void de type sont évaluées quant à leurs effets secondaires. Vous ne pouvez en aucune manière utiliser la valeur (inexistante) d'une expression de type void, ni convertir une expression void (par conversion implicite ou explicite) en un type autre que void. Si vous utilisez une expression d'un autre type dans un contexte où une expression void est requise, sa valeur est ignorée.

Pour être conforme à la spécification ANSI, void** ne peut pas être utilisé comme int**. Seul void* peut être utilisé comme pointeur vers un type non spécifié.

FIN de la section spécifique à Microsoft

Vous pouvez créer des spécificateurs de type supplémentaires avec des déclarations typedef, comme décrit dans Déclarations typedef. Pour plus d'informations sur la taille de chaque type, consultez Stockage des types de base.

Voir aussi

Concepts

Déclarations et types