Un identificateur peut être défini comme un nom permettant de désigner, de faire référence à une entité du langage. Un exemple d’identificateur bien connu est le nom d’une variable ou d’une fonction. Toutefois, un identificateur est plus qu’un simple nom et c’est ce qui est exposé dans ce cours.
Je tiens à remercier @Maëlan, @AScriabine et Marc Mongenet pour leur relecture attentive de ce cours et leur aide dans son amélioration.
Première approche
Un identificateur est un nom qui permet de désigner une entité du langage. Oui, mais quelles entités ? La norme C11 en différencie huit types1 (en comptant les membres de structures, unions ou énumérations à part), à savoir les identificateurs :
- d’objet ;
- de fonction ;
- d’étiquette de structure, union ou énumération, qui correspond au nom que vous donnez à votre structure, union ou énumération ;
- de membre de structure, d’union ou d’énumération ;
- de définition de type (
typedef) ; - d’étiquette, utilisée pour l’instruction de saut
goto; - de macro ;
- de paramètre de macrofonction.
En C, un objet est une zone mémoire pouvant contenir des données2.
Afin d’illustrer cette énumération, voici un code déclarant un identificateur pour chacune des entités présentées ci‐dessus.
#define identificateur_de_macro(identificateur_de_parametre_de_macro)
struct identificateur_d_etiquette_de_structure {
int identificateur_de_membre_de_structure;
};
typedef int identificateur_de_definition_de_type;
void
identificateur_de_fonction(void)
{
int identificateur_d_objet;
identificateur_d_etiquette:
;
}
Je ne parlerai pas des identificateurs de macro et de paramètre de macrofonction dans la suite du tutoriel, ces derniers n’existant plus après traitement du code par le préprocesseur.
Portée, espaces de noms et masquage
Vous avez peut‐être remarqué que j’ai utilisé le terme déclaration dans la présentation, ce n’est pas anodin, il s’agit d’un concept fondamental du langage C permettant la création d’identificateurs.
La notion de portée
Une déclaration déclare un identificateur, c’est-à-dire qu’elle le rend utilisable, visible pour la suite du programme. On dit qu’une déclaration confère une portée à l’identificateur, c’est-à-dire une portion du programme où il sera utilisable. Il existe quatre types de portée1 :
- au niveau d’un bloc ;
- au niveau d’un fichier ;
- au niveau d’une fonction ;
- au niveau d’un prototype.
Cependant, je n’aborderai pas la portée au niveau d’un prototype dans la suite de ce cours, étant donné le peu d’intérêt de cette dernière.
Au niveau d’un bloc
Une portée au niveau d’un bloc signifie qu’un identificateur est utilisable, visible de sa déclaration jusqu’à la fin du bloc dans lequel il est déclaré. Ainsi, dans le code suivant, L’identificateur n ne peut pas être utilisé dans le bloc de la fonction g() car il a une portée limitée au bloc de la fonction f().
void
f(void)
{
int n = 10;
}
void g(void)
{
n = 20; /* Incorrect */
}
De même, le code suivant est erroné car au moment de la déclaration de l’identificateur p, l’identificateur a n’est pas encore déclaré, il est donc utilisé en dehors de sa portée.
int *p = &a; /* Incorrect */
int a = 10;
Au niveau d’un fichier
Une portée au niveau d’un fichier signifie qu’un identificateur est utilisable, visible de sa déclaration jusqu’à la fin du fichier dans lequel il est déclaré. Pour obtenir un identificateur ayant une portée au niveau d’un fichier, il est nécessaire de le déclarer en dehors de tout bloc, par exemple comme ceci.
int n;
void
f(void)
{
n = 10;
}
void
g(void)
{
n = 20;
}
Dans ce code, l’identificateur n a une portée au niveau du fichier et peut par conséquent être aussi bien utilisé dans la fonction f() que dans la fonction g().
Au niveau d’une fonction
Une portée au niveau d’une fonction signifie qu’un identificateur est utilisable, visible dans toute la fonction où il est déclaré et ce, peu importe la position de sa déclaration. Cette portée est propre aux identificateurs d’étiquette utilisés par l’instruction de saut goto.
int
main(void)
{
int n = 0;
test:
if (!n) {
goto dix;
} else {
goto fin;
}
dix:
n = 10;
goto test;
fin:
return 0;
}
Comme vous le voyez, les identificateurs dix et fin peuvent être utilisés avant leur déclaration, car ils ont une portée au niveau de la fonction main().
La notion d’espace de noms
Le concept d'espace de noms n’est pas évident à définir, mais est par contre très facile à comprendre à l’aide d’un exemple. Sachez tout d’abord qu’il existe quatre espaces de noms2 :
- un dédié aux identificateurs d’étiquettes ;
- un dédié aux identificateurs d’étiquettes de structures, unions ou énumérations ;
- un dédié aux identificateurs de membres de structures ou unions ;
- un dédié à tous les autres identificateurs.
Avant la normalisation du langage en 1989, les champs de structures ou d’unions ne disposaient pas forcément d’un espace de noms distinct. Cela explique pourquoi certaines structures de la bibliothèque standard préfixent le nom de leur champ (c’est le cas de la structure tm définie dans l’en-tête <time.h> par exemple).
Ensuite, comme convenu, voici un exemple.
int
main(void)
{
struct test {
int test;
};
struct test test;
goto test;
test:
test.test = 10;
return 0;
}
Comme vous le voyez, il y a quatre identificateurs déclarés avec le nom test :
- un identificateur d’étiquette de structure (
struct test, ligne 4) ; - un identificateur de membre de structure (
int test, ligne 5) ; - un identificateur d’objet (
struct test test, ligne 7) ; - un identificateur d’étiquette (
test:, ligne 10).
Ces quatre identificateurs ont tous une portée au niveau du bloc de la fonction main(). Ce code ne pose pourtant aucun problème, tout simplement parce que ces derniers appartiennent à quatre espaces de noms différents. Tout risque de confusion est évité de par :
- le contexte d’utilisation de l’identificateur (l’instruction
gotoattend un identificateur d’étiquette) ; - l’utilisation de mots‐clés (
struct,unionouenumpour désigner l’identificateur d’étiquette d’une structure, union, ou énumération) ; - l’utilisation d’opérateurs (l’opérateur
.ou‐>pour accéder aux membres d’une structure et/ou d’union) ; - la syntaxe de la déclaration (par exemple les deux points suivant la déclaration d’un identificateur d’étiquette).
La notion de masquage
Une règle importante à retenir est qu’il n’est pas possible de déclarer (ou plutôt définir pour les variables et fonctions, nous y reviendrons) deux identificateurs de même nom et de même espace de noms dans la même portée3. Ainsi, le code suivant est incorrect car il déclare deux identificateurs d’objet x dans le même espace de noms et dans la même portée.
int
main(void)
{
int x;
int x; /* Incorrect */
return 0;
}
Maintenant, que se passe-t-il lorsque l’on déclare deux identificateurs de même nom et de même espace de noms, mais dans des portées différentes ? Autrement dit, que se passe‐t‐il dans ce cas ci ?
#include <stdio.h>
int n = 10;
int
main(void)
{
int n = 20;
printf("%d\n", n);
return 0;
}
En fait, dans une telle hypothèse, c’est l’identificateur ayant la portée la plus faible qui sera privilégié. On dit qu’il masque celui ou ceux ayant une portée plus élevée4 (en l’occurrence celui ayant une portée au niveau d’un fichier). Je dis : « celui ou ceux », car les identificateurs déclarés dans un sous‐bloc ont une portée plus faible que ceux déclarés dans le bloc supérieur.
#include <stdio.h>
int n = 10;
int
main(void)
{
int n = 20;
if (n == 20) {
int n = 30;
printf("%d\n", n);
}
return 0;
}
Dans cet exemple, il y a trois identificateurs d’objet portant tous les trois le nom n :
- le premier a une portée au niveau du fichier ;
- le second au niveau du bloc de la fonction
main(); - et le troisième au niveau du bloc du
if.
L’identificateur ayant une portée au niveau du fichier est donc masqué par celui ayant une portée au niveau du bloc de la fonction main(), qui est lui‐même masqué par celui ayant une portée au niveau du bloc du if. Si l’on exécute ce petit programme, il affichera donc 30.
Notez que le masquage n’opère qu’une fois l’identificateur de portée plus faible déclaré. Ainsi, dans cet exemple :
#include <stddef.h>
#include <stdio.h>
int x;
int
main(void)
{
size_t x[sizeof x] = { sizeof x };
printf("%zu %zu\n", x[0], sizeof x);
return 0;
}
L’expression sizeof x utilisée pour déterminer la taille du tableau x va être évaluée en utilisant l’identificateur ayant une portée au niveau du fichier, le tableau n’étant pas encore déclaré à ce moment. Toutefois, la seconde expression sizeof x, utilisée pour initialiser le premier membre du tableau va, elle, utiliser l’identificateur ayant une portée au niveau du bloc de la fonction main(), ce dernier étant désormais déclaré.
Liaisons et définitions
Dans le chapitre précédent, nous avons entre autres vu que les identificateurs étaient confinés à une portée et que cette dernière ne pouvait s’étendre au delà d’un fichier. Cependant, si cela s’arrêtait là, il ne serait pas possible d’utiliser des objets ou des fonctions d’autres fichiers. Autrement dit, l’exemple ci‐dessous serait incorrect et il serait nécessaire de n’utiliser qu’un seul fichier source, ce qui serait assez peu commode.
- autre.c
int
f(void)
{
return 1;
}
- main.c
int f(void);
int
main(void)
{
f();
return 0;
}
La notion de liaison
Heureusement, il existe une solution : la notion de liaison. Chaque identificateur peut disposer d’une liaison qui peut être de deux types : externe ou interne1. Grâce à cette notion, il est possible de considérer un groupe d’identificateurs identiques comme faisant référence à un même objet ou à une même fonction. En fait, elle permet de préciser que :
- tous les identificateurs avec liaison externe d’un même programme font référence au même objet ou à la même fonction2 ;
- tous les identificateurs avec liaison interne d’un même fichier font référence au même objet ou à la même fonction2.
Ainsi, si je reprends l’exemple donné au début de ce chapitre et que l’on considère que tous les identificateurs de fonction f() ont une liaison externe, on peut en déduire qu’en fait, ils font tous référence à la même fonction : celle du fichier autre.c.
- autre.c
int
f(void)
{
return 1;
}
- main.c
int f(void);
int
main(void)
{
f(); /* Retournera 1 */
return 0;
}
La même logique peut être appliquée pour une liaison interne, mis à part que le regroupement se limite à un fichier. En conséquence, dans l’exemple ci‐dessous, si l’on considère tous les identificateurs de fonction f() comme ayant une liaison interne, tous ceux situés dans le fichier main.c font référence à la fonction de ce fichier, alors que celui du fichier autre.c fait référence à celle située en son sein.
Le code ci-dessous est incorrect et ne compile pas, il est présenté pour illustrer le propos.
- autre.c
int
f(void)
{
return 1;
}
- main.c
int
f(void)
{
return 2;
}
int
main(void)
{
f(); /* Retournera 2 */
return 0;
}
Conditions d’attribution
Maintenant que vous connaissez la notion de liaison, il reste encore à déterminer dans quelles conditions cette dernière est attribuée à un identificateur. En fait, la présence d’une liaison et son type sont déterminés par la position de la déclaration de l’identificateur ainsi que par l’utilisation des mots‐clés extern et static. Concrètement, cela se détermine suivant les règles exposées ci‐dessous.
Le mot-clé static est également utilisé en langage C pour modifier la classe de stockage d’une variable automatique (voyez ce chapitre du tutoriel C). Il n’en est pas question ici.
Un identificateur de fonction ou d’objet ayant une portée au niveau d’un fichier a une liaison externe3 4, sauf si sa déclaration est précédée du mot‐clé static, auquel cas il a une liaison interne5.
int a; /* Liaison externe */
static int b; /* Liaison interne */
void f(void); /* Liaison externe */
static void g(void); /* Liaison interne */
Un identificateur d’objet déclaré à l’intérieur d’un bloc n’a pas de liaison sauf s’il est précédé du mot‐clé extern (voyez la règle suivante)6.
{
int a; /* Pas de liaison */
}
Un identificateur d’objet ou de fonction dont la déclaration est précédée du mot‐clé extern a une liaison externe sauf si une déclaration du même identificateur la précède, auquel cas il a la même liaison que ce dernier7.
Dans le cas où une déclaration d’un identificateur de fonction n’est précédée, ni du mot‐clé static, ni du mot‐clé extern, le mot‐clé extern est implicitement ajouté8.
Ces règles peuvent paraître quelque peu indigestes, aussi, voici un exemple illustrant chacune de ces dernières.
/*
* « a » est un identificateur d'objet déclaré en dehors de tout bloc.
* Il a donc une liaison externe.
*/
int a;
/*
* « b » est un identificateur d'objet déclaré en dehors de tout bloc.
* Sa déclaration est précédée du mot‐clé « static ».
* Il a donc une liaison interne.
*/
static int b;
/*
* « c » est un identificateur d'objet déclaré en dehors de tout bloc.
* Sa déclaration est précédée du mot‐clé « extern ».
* Aucune déclaration du même identificateur ne le précède.
* Il a donc une liaison externe.
*/
extern int c;
/*
* « f » est un identificateur de fonction.
* Sa déclaration n'est pas précédée du mot‐clé « extern » ou « static ».
* Dès lors, il faut faire comme si elle était précédée du mot‐clé « extern ».
* Aucune déclaration du même identificateur ne le précède.
* Il a donc une liaison externe.
*/
void f(void);
/*
* « g » est un identificateur de fonction.
* Sa déclaration est précédée du mot‐clé « static ».
* Il a donc une liaison interne.
*/
static void g(void);
/*
* « h » est un identificateur de fonction.
* Sa déclaration est précédée du mot‐clé « extern ».
* Aucune déclaration du même identificateur ne le précède.
* Il a donc une liaison externe.
*/
extern void h(void);
int
main(void)
{
/*
* « a » est un identificateur d'objet déclaré à l'intérieur d'un bloc.
* Sa déclaration est précédée du mot‐clé « extern ».
* Il existe déjà une autre déclaration de celui‐ci avec liaison externe.
* Il a donc une liaison externe.
*/
extern int a;
/*
* « b » est un identificateur d'objet déclaré à l'intérieur d'un bloc.
* Sa déclaration est précédée du mot‐clé « extern ».
* Il existe déjà une autre déclaration de celui‐ci avec liaison interne.
* Il a donc une liaison interne.
*/
extern int b;
/*
* « c » est un identificateur d'objet déclaré à l'intérieur d'un bloc.
* Sa déclaration n'est pas précédée du mot‐clé « extern ».
* Il n'a donc pas de liaison.
*/
int c;
/*
* « d » est un identificateur d'objet déclaré à l'intérieur d'un bloc.
* Sa déclaration est précédée du mot‐clé « extern ».
* Aucune déclaration du même identificateur ne le précède.
* Il a donc une liaison externe.
*/
extern int d;
/*
* « g » est un identificateur de fonction.
* Sa déclaration n'est pas précédée du mot‐clé « extern ».
* Dès lors, il faut faire comme si elle était précédée du mot‐clé « extern ».
* Il existe déjà une autre déclaration de celui‐ci avec liaison interne.
* Il a donc une liaison interne.
*/
void g(void);
return 0;
}
La notion de définition
Je vous ai dit que la notion de liaison permettait de grouper des identificateurs et de les considérer comme faisant référence au même objet ou à la même fonction. Je vous ai également dit que tous les identificateurs avec liaison externe d’un même programme font référence au même objet ou à la même fonction et que tous les identificateurs avec liaison interne d’un même fichier font référence au même objet ou à la même fonction. Cependant, il y a un corollaire qui découle de ces deux règles : il ne peut exister qu'un seul objet ou qu'une seule fonction qui puisse être référencé par le groupe d’identificateurs.
Au fond, c’est assez logique. Prenez l’exemple ci‐dessous, l’identificateur de fonction f() déclaré dans le bloc de la fonction main() a une liaison interne. Cependant, laquelle des deux fonctions désigne‐t‐il ? La première ? La deuxième ? Les deux ?
static int
f(void)
{
return 1;
}
static int
f(void)
{
return 2;
}
int
main(void)
{
static int f(void);
f();
return 0;
}
Il est impossible de le dire, il faudrait qu’il n’existe qu’une seule fonction ou, dit plus formellement, qu’il n’y ait qu’une seule définition de la fonction f(). Qu’est‐ce qu’une définition ? C’est ce que nous allons voir tout de suite.
Les identificateurs de fonction
Une définition d’un identificateur de fonction est une déclaration qui comporte le corps de la fonction11. Autrement dit, dans le code ci‐dessous, le premier élément est une déclaration de l’identificateur de fonction f() alors que le deuxième est une définition de l’identificateur de fonction f(), car il comporte le corps de celle-ci.
/* Déclaration */
int f(void);
/* Définition */
int
f(void)
{
return 1;
}
Les identificateurs d’objet
Une définition d’un identificateur d’objet est une déclaration qui alloue l’objet qu’il référence11. Vous voilà bien peu avancé me direz-vous… Tout d’abord, cela dépend si nous sommes au sein d’un bloc ou en dehors de tout bloc.
Au sein d’un bloc
Au sein d’un bloc, la règle est assez simple : une déclaration d’un identificateur d’objet est également une définition sauf si elle précédée du mot-clé extern.
int a;
int
main(void) {
extern int a; /* Déclaration */
static int b; /* Définition */
int c; /* Définition */
int d = 0; /* Définition */
return 0;
}
En dehors de tout bloc
En dehors de tout bloc, les choses se compliquent un peu. Toutefois, il y a une première règle simple et absolue pour différencier une déclaration et une définition d’un identificateur d’objet : une déclaration d’un identificateur d’objet, en dehors de tout bloc, comportant une initialisation est une définition12.
int a; /* Déclaration */
static int b; /* Déclaration */
extern int c; /* Déclaration */
int d = 10; /* Définition */
Cependant, il y a une (petite) subtilité : les déclarations d’identificateurs d’objet, en dehors de tout bloc, à l’exception de celles précédées du mot‐clé extern, sont appelées des définitions potentielles. Et, dans le cas où un fichier comprend une ou plusieurs définitions potentielles d’un identificateur d’objet mais aucune définition de cet identificateur, une définition est implicitement incluse au début du fichier avec un initialiseur valant zéro13.
Rassurez-vous, nous allons revoir cela en douceur. Avant toute chose, il est nécessaire de bien différencier une déclaration, une définition potentielle et une définition d’un identificateur d’objet. Pour ce faire, voici un exemple simple.
/*
* Cette déclaration ne comporte pas d'initialisation.
* Elle n'est pas précédée du mot‐clé « extern ».
* Il s'agit donc d'une définition potentielle.
*/
int n;
/*
* Cette déclaration comporte une initialisation.
* Il s'agit donc d'une définition.
*/
int n = 10;
/*
* Cette déclaration ne comporte pas d'initialisation.
* Elle n'est pas précédée du mot‐clé « extern ».
* Il s'agit donc d'une définition potentielle.
*/
static int n;
/*
* Cette déclaration ne comporte pas d'initialisation.
* Elle est précédée du mot‐clé « extern ».
* Il s'agit donc d'une déclaration.
*/
extern int n;
Ensuite, reprenons cette règle pas à pas à l’aide du code ci‐dessous.
int n;
int
main(void)
{
return n;
}
Comme vous le voyez, nous avons un fichier comprenant une définition potentielle de l’identificateur d’objet n, mais aucune définition de cet identificateur. Ce que dit l’obscure règle que je vous ai présentée auparavant, c’est que dans le cas où un fichier comprend une ou plusieurs définitions potentielles d’un identificateur mais aucune définition de cet identificateur (ce qui est le cas de notre fichier), une définition est implicitement inclue au début de ce fichier avec un initialiseur valant zéro. Autrement dit, appliquée à notre exemple, cela donne ceci.
/* Définition implicite */
int n = 0;
int n;
int
main(void)
{
return n;
}
Formalisation de l’interdiction
Maintenant que nous avons vu la notion de définition, il m’est possible de formaliser ce que je vous ai dit au début de la présentation de cette notion : il ne peut exister qu’un seul objet ou qu’une seule fonction qui puisse être référencée par un groupe d’identificateur. Ou, dit de manière plus formelle :
- il ne peut y avoir qu’une seule définition d’un même identificateur avec liaison externe dans tout le programme14 ;
- il ne peut y avoir qu’une seule définition d’un même identificateur avec liaison interne dans un même fichier15 ;
Certains compilateurs (gcc pour ne citer que lui) sont par défaut capables de gérer certains cas de définitions multiples. Sachez cependant qu’il s’agit d’une extension non standard. Dans le cas de gcc, il est possible de désactiver cette extension en utilisant l’option ‐fno‐common.
Le code ci‐dessous est donc incorrect car il comporte plus d’une définition avec liaison interne de l’identificateur n.
static int n = 10;
static int n = 20;
int
main(void)
{
return n;
}
De même, le code qui suit est faux car il existe plus d’une définition avec liaison externe de l’identificateur n dans tout le programme (n’oubliez pas la définition implicite !).
- autre.c
int n = 10;
- main.c
int n;
int
main(void)
{
return n;
}
Notez enfin que si un identificateur apparaît dans un fichier avec à la fois une liaison externe et interne, le résultat est indéterminé16.
- autre.c
int
f(void)
{
return 1;
}
- main.c
int f(void);
static int
f(void)
{
return 2;
}
int
main(void)
{
f();
return 0;
}
Dans cet exemple, l’identificateur f() du fichier main.c a à la fois une liaison externe et interne. Il est donc impossible de dire à quelle fonction il fait référence.
En bref
Que retenir de ce chapitre si ce n’est qu’il est affreusement théorique et complexe ? En fait, il est possible d’en déduire une méthode générale afin de partager des variables ou des fonctions entre plusieurs fichiers source.
Étant donné que les fichiers d’en‐têtes sont très souvent inclus dans plusieurs fichiers (pensez à ceux de la bibliothèque standard par exemple), ces derniers ne doivent contenir que des déclarations. En effet, si ce n’est pas le cas, vous allez vous retrouver avec des définitions multiples (explicites ou implicites) et, dès lors, rencontrer des erreurs lors de la compilation.
Les fichiers source, quant à eux, recueillent donc les définitions. Ainsi, lorsque vous souhaitez utiliser une ou plusieurs variables ou fonctions définies dans un autre fichier, vous incluez le ou les fichiers d’en‐tête comprenant leurs déclarations dans les fichiers source où vous souhaitez les utiliser. Cette méthode a l’avantage d’éviter d’avoir à réécrire toutes les déclarations dans chaque fichier.
L’exemple ci‐dessous illustre ce qui vient d’être exposé.
- autre.h
#ifndef AUTRE_H
#define AUTRE_H
extern int n; /* Déclaration */
extern void setn(int); /* Déclaration */
#endif /* !AUTRE_H */
- autre.c
/* Inclusion des déclarations */
#include "autre.h"
/* Définition potentielle */
int n;
/* Définition */
void
setn(int a)
{
n = a;
}
- main.c
/* Inclusion des déclarations */
#include <stdio.h>
#include "autre.h"
int
main(void)
{
printf("%d\n", n); /* 0 */
setn(99);
printf("%d\n", n); /* 99 */
return 0;
}
- ISO/IEC 9899:201x, doc. N1570, avril 2011, § 6.2.2, al. 1, p. 36.↩
- Ibid., p. 36, § 6.2.2, al. 2.↩
- Ibid., p. 37, § 6.2.2, al. 5.↩
- Ibid., § 6.2.2, al. 5, p. 37.↩
- Ibid., § 6.2.2, al. 3, p. 36.↩
- Ibid., § 6.2.2, al. 6, p. 37.↩
- Ibid., § 6.2.2, al. 4, p. 37.↩
- Ibid., § 6.2.2, al. 5, p. 37.↩
- Ibid., § 6.2.4, al. 3, p. 38.↩
- Ibid., § 6.7.1, al. 7, p. 110.↩
- Ibid., § 6.7, al. 5, p. 108.↩
- Ibid., § 6.9.2, al. 1, p. 158.↩
- Ibid., § 6.9.2, al. 2, p. 158.↩
- Ibid., § 6.9, al. 5, p. 155.↩
- Ibid., § 6.9, al. 3, p. 155.↩
- Ibid., § 6.2.2, al. 7, p. 37.↩
Les noms
Nous allons à présent terminer notre tour d’horizon des identificateurs avec un sujet plus léger et plus simple : le nom des identificateurs.
Caractères utilisables
Un nom est composé d’une suite de lettres et de chiffres. Oui, mais quelles lettres et quels chiffres ? La liste exhaustive nous est donnée par la norme1.
a b c d e f g h i j k l m n o p q r s t u v w x y z
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 _
Sachez qu’un nom ne peut pas commencer par un chiffre, il doit obligatoirement débuter par une lettre ou par un underscore2.
Noms réservés par le langage
Nous savons désormais de quels caractères peuvent être composés nos noms. Cependant, tous les noms ne sont pas utilisables. En effet, certains sont réservés par le langage C lui‐même et ne sont donc pas disponibles3.
auto if unsigned
break inline void
case int volatile
char long while
const register _Alignas
continue restrict _Alignof
default return _Atomic
do short _Bool
double signed _Complex
else sizeof _Generic
enum static _Imaginary
extern struct _Noreturn
float switch _Static_assert
for typedef _Thread_local
goto union
Il est à noter que certaines implémentations réservent aussi les mots asm et fortran. Il est donc également préférable de les éviter.
Noms réservés par la bibliothèque standard
À côté des noms réservés par le langage lui‐même, il y a ceux réservés par la bibliothèque standard. En fait, tous les noms de fonctions (par exemple printf()) ou de variables (par exemple errno) utilisés par celle‐ci sont à éviter, même si vous n’incluez pas l’en‐tête les utilisant. Renseignez‐vous sur les différents en‐têtes pour obtenir les noms qu’ils emploient.
En plus de cela, la bibliothèque standard réserve certains types de noms dans des portées particulières. Ainsi, sont interdits :
- les noms commençant par un underscore et une lettre majuscule ou commençant par deux underscores et ce, peu importe leur portée4 ;
- les noms commençant par un underscore et ayant une portée au niveau d’un fichier4.
Afin de bien cerner cette interdiction, voici un petit code d’exemple.
/* Interdit */
#define _HELLO
/* Interdit */
#define __HELLO
/* Interdit */
#define __hello
/* Interdit car il a une portée au niveau d'un fichier */
#define _hello
/* Interdit pour les mêmes motifs */
struct _structure {
/* Permis car il s'agit d'un membre de structure */
int _membre;
};
int
main(void)
{
/* Permis car il a une portée au niveau d'un bloc */
int _variable;
/* Interdit car « auto » est un mot-clé réservé du langage */
int auto;
return 0;
}
Remarquez enfin que dans le cas de l’en‐tête <errno.h>, les noms de macro commençant par un E et un chiffre ou une lettre majuscule ne doivent pas non plus être employés5 de même pour l’en‐tête <signal.h> et les noms de macro commençant par SIG ou SIG_ et une lettre majuscule6.
Voilà qui termine mon exposé sur les identificateurs. J’espère que vous y voyez désormais plus clair et que vous jonglez avec les portées et les liaisons. 
