Discussion :

[Marc_3]

Bonjour,
Je fais des exo sur Cpp et je suis tombee sur un livre d'ex. qui me donne un exemple ou on travaille avec les commandes suivantes:

const int N(6); //Taille maxi liste
typedef int type;
typedef type Liste[N];

J'ai trouve cela suffisament curieux pour chercher a me renseigner un plus loin et je suis tombe sur cette definition de la FAQ.

la var. struct d�finit un nom pour une structure. Lors de la d�claration d'une variable, il faut la d�clarer en sp�cifiant qu'il s'agit d'une structure.

typedef struct d�finit un type de variable et peut �tre utilis� comme tel, c'est � dire en d�clarant directement la variable avec son type et sans avoir besoin de sp�cifier qu'il s'agit d'une structure.

En dehors du fait que je trouve le concept de bloc de variable accolee les une aux autres dans une entite tres pratique, je voulais savoir si on pourrait considerer cela comme un objet assez primitif sans encore de bloc de fonctions accoles et integre au bloc de donnees?

D'avance merci

Marc_3

[Caine]

Attention � ne pas confondre avec d'autres langages (mieux typ�s).

typedef ne d�finit pas un nouveau type mais un alias vers un type.

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
 
typedef char TChar;
int Length = 0;
TChar Hello[]="Hello World"; // identique à la déclaration char Hello[15];
 
Length = strlen(Hello);
 
Hello[5] = '!';
 
cout << Hello;

Contrairement � une vrai d�finition de type, il reste compatble avec son type de base.

Pour ta question, je n'ai pas saisi.

[Marc_3]

Je cherche a comprendre ce qui ce passe au niveau de l�interpreteur quand il recoit le code. Je crois avoir compris que quand un code est compile l'interpreteur reserve les espace de memoire dans un tas quelque part et le linker organise des pointeurs entres toutes les references decrite par le code.

J'essaie de mettre en relation avec cela ce que j'ai plus ou moins compris en ce qui concerne les objets: Cad le meme processus mais avec en plus de la reservation d'espace de memoire pour les donnees la meme chose pour les methodes.

Ce qui reviens a dire que les structures seraient en fait des objets primitif sans methode.

En fait pour repondre a ca il faudrai avoir vu au moins une fois l'interpreteur ce qui est loin d'etre mon cas.

[Caine]

La compilation se passe en deux phases:
Interpr�tation des directives (#define, typedef, #include...)

Puis compilation du code interm�diaire.

Dans l'exemple pr�c�dent, en sortie de la premi�re phase, le compilateur lira ceci:

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
 
int Length = 0; 
char Hello[]="Hello World";

Toutes les occurrences de 'TChar' sont remplac�es en 'char'. C'est pour cette raison que l'on ne peut pas parler strictement de nouveau type, mais d'alias.

[xavlours]

Le typedef peut etre utile lorsque tu as des types au noms interminables genre :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

multimap< vector< struct sockaddr_in>, struct ... >

dans ton code.

Par contre lorsque tu d�finis des typedef � partir d'autres typedef, ca peut vite devenir infernal, surtout si tu dois caster ...

[Caine]

Il y a surtout un grand risque d'erreur, car le pr�processing ne se fait qu'en une seule passe. Je me suis fait avoir une fois avec des macros.

[Marc_3]

merci pour les reponses je vais encore bucher la dessus

marc_3

[Jean-Marc.Bourguet]

La compilation se passe en deux phases:
Interpr�tation des directives (#define, typedef, #include...)

Puis compilation du code interm�diaire.

Non. Formellement il y a 9 phases et pas 2. Mais surtout, typedef n'est g�r� ni par le pr�processeur (en gros les 4 premi�res phases), ni comme une macro (son effet n'est pas un remplacement textuel).

En particulier, consid�rer un typedef comme un remplacement textuel ne permet pas de comprendre pourquoi dans la port�e de

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

typedef int* pointeur;

la d�claration

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

const pointeur ptr = f();

est �quivalente �

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

int* const ptr = f();

et non �

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

const int* ptr = f();

[Caine]

Je ne parlais que des eux phases de preprocess et compilation � la fin de la premi�re.

Peux importe pour un d�butant le nombre de phases qui aboutissent au code binaire.

Ensuite, il n'y a bien qu'une seule phase de peprocess, essai donc de faire une macro qui utilise une autre macro. Je n'ai plus le code sous la main. Mais si je retrouve le principe, je le posterais.

Quant � ta question, � vue de nez, je pense que le preprocess g�re tout simplement la priorit� ou d'autres crit�res.

[Jean-Marc.Bourguet]

Note: Je cite dans le d�sordre...

Peux importe pour un d�butant le nombre de phases qui aboutissent au code binaire.

Je suis d'accord que le nombre de phases utilis�es dans la description par la norme est peut utile. Mais j'ai du mal � voir moins de 3 phases (pre-process, compilation et �dition de liens).

L'important dans ma remarque est que la gestion des typedefs n'est pas faite durant le preproccess. Celui-ci est d�crit et fonctionne en substitution lexicale hors les typedef ne sont pas d�crit comme tel d'une part, et d'autre part ne sont pas impl�mentables comme tel non plus (j'ai d�j� donn� un exemple, un autre est qu'ils ob�issent aux r�gles de port�e et qu'il est impossible d'impl�menter celles-ci sans faire une analyse gramaticale et s�mantique relativement pouss�e).

Ensuite, il n'y a bien qu'une seule phase de peprocess, essai donc de faire une macro qui utilise une autre macro. Je n'ai plus le code sous la main. Mais si je retrouve le principe, je le posterais.

Je n'ai aucun probl�me � �crire des macros qui utilisent d'autres macros. Les macros du C++ forment m�me un langage complet (voir boost pour voir jusqu'ou on peut pousser cela). Mais bon, comme tout macro-langage, il est assez difficile � ma�triser.

Quant � ta question, � vue de nez, je pense que le preprocess g�re tout simplement la priorit� ou d'autres crit�res.

Je ne vois pas comment (et j'ai commenc� � �crire pourquoi ci-dessus). Ayant dans une vie ant�rieure, �crit un pr�processeur pour le C ainsi qu'un front-end pour un sous-ensemble du C qui comprenait les typedef, une description plus pr�cise de ta m�thode m'int�resse vivement (la gestion des typedef est quelque chose de relativement compliqu� en C et en C++, surtout quand on essaie d'utiliser simplement des outils comme lex et yacc; un moyen pour le faire proprement dans le pr�processeur serait un progr�s par rapport � toutes les m�thodes que je connais).