Définitions de typedef struct et de struct

Question

Je suis un débutant en programmation C, mais je me demandais quelle est la différence entre l'utilisation de typedef lors de la définition d'une structure par rapport à la non-utilisation de typedef . Il me semble qu'il n'y a pas vraiment de différence, ils accomplissent le même but.

struct myStruct{
    int one;
    int two;
};

vs.

typedef struct{
    int one;
    int two;
}myStruct;

Answer 1

L'idiome commun est d'utiliser les deux :

typedef struct S { 
    int x; 
} S;

Il s'agit de définitions différentes. Pour rendre la discussion plus claire, je vais diviser la phrase :

struct S { 
    int x; 
};

typedef struct S S;

Dans la première ligne, vous définissez l'identifiant S dans l'espace de nom struct (pas au sens de C++). Vous pouvez l'utiliser et définir des variables ou des arguments de fonction du type nouvellement défini en définissant le type de l'argument comme suit struct S :

void f( struct S argument ); // struct is required here

La deuxième ligne ajoute un alias de type S dans l'espace global des noms et permet ainsi d'écrire simplement :

void f( S argument ); // struct keyword no longer needed

Notez que puisque les deux espaces de noms d'identifiants sont différents, la définition de S à la fois dans les espaces structs et global n'est pas une erreur, car il ne s'agit pas de redéfinir le même identifiant, mais plutôt de créer un identifiant différent à un endroit différent.

Pour que la différence soit plus claire :

typedef struct S { 
    int x; 
} T;

void S() { } // correct

//void T() {} // error: symbol T already defined as an alias to 'struct S'

Vous pouvez définir une fonction avec le même nom que la structure car les identifiants sont conservés dans des espaces différents, mais vous ne pouvez pas définir une fonction avec le même nom qu'un typedef lorsque ces identifiants entrent en collision.

En C++, c'est légèrement différent car les règles pour localiser un symbole ont subtilement changé. Le C++ conserve les deux espaces d'identification différents, mais contrairement au C, lorsque vous définissez le symbole uniquement dans l'espace d'identification de classe, vous n'êtes pas tenu de fournir le mot-clé struct/class :

 // C++
struct S { 
    int x; 
}; // S defined as a class

void f( S a ); // correct: struct is optional

Ce qui change, ce sont les règles de recherche, et non l'endroit où les identifiants sont définis. Le compilateur va chercher dans la table des identificateurs globaux et après S n'a pas été trouvé, il cherchera S dans les identifiants de classe.

Le code présenté précédemment se comporte de la même manière :

typedef struct S { 
    int x; 
} T;

void S() {} // correct [*]

//void T() {} // error: symbol T already defined as an alias to 'struct S'

Après la définition de la S dans la deuxième ligne, la fonction struct S ne peuvent pas être résolus automatiquement par le compilateur, et pour créer un objet ou définir un argument de ce type, vous devez revenir à l'inclusion de la balise struct mot-clé :

// previous code here...
int main() {
    S(); 
    struct S s;
}

Answer 2

Une autre différence qui n'a pas été soulignée est que donner un nom à la structure (par exemple struct myStruct) vous permet également de fournir des déclarations directes de la structure. Ainsi, dans un autre fichier, vous pourriez écrire :

struct myStruct;
void doit(struct myStruct *ptr);

sans avoir besoin d'avoir accès à la définition. Ce que je recommande, c'est de combiner vos deux exemples :

typedef struct myStruct{
    int one;
    int two;
} myStruct;

Cela vous donne la commodité du nom plus concis de typedef mais vous permet toujours d'utiliser le nom complet de struct si vous avez besoin.

Answer 3

En C (pas en C++), vous devez déclarer des variables struct comme :

struct myStruct myVariable;

Afin d'être en mesure d'utiliser myStruct myVariable; à la place, vous pouvez typedef la structure :

typedef struct myStruct someStruct;
someStruct myVariable;

Vous pouvez combiner struct définition et typedef dans une seule instruction qui déclare un fichier anonyme de type struct y typedef C'est ça.

typedef struct { ... } myStruct;

Answer 4

En C, les mots-clés du spécificateur de type des structures, unions et énumérations sont obligatoires, c'est-à-dire que vous devez toujours préfixer le nom du type (son étiquette ) avec struct , union o enum lorsqu'on se réfère au type.

Vous pouvez vous débarrasser des mots clés en utilisant un typedef Il s'agit d'une forme de dissimulation de l'information, car le type réel d'un objet ne sera plus visible lors de sa déclaration.

Il est donc recommandé (voir par exemple le Guide de style de codage du noyau Linux chapitre 5) de ne le faire que lorsque vous veulent pour cacher cette information et pas seulement pour économiser quelques frappes de clavier.

Un exemple de cas où vous devez utiliser un typedef serait un type opaque qui n'est jamais utilisé qu'avec les fonctions d'accès/macros correspondantes.

Answer 5

El typedef comme pour les autres constructions, est utilisé pour donner un nouveau nom à un type de données. Dans ce cas, cela est surtout fait pour rendre le code plus propre :

struct myStruct blah;

vs.

myStruct blah;