Discussion :

[Kleer]

Bonjour c'est encore moi. Il y a certaines "écritures" que je rencontre souvent dans le langage Ada. En fait, j'aimerais savoir ce que font les instructions suivantes:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

for I in reverse 0..Deg loop

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

Put("coeff du degre "&Natural'Image(I)&" : ");

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

P := new Element'(I, Coeff, P);

ou encore...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

for I in P.all'Range 0..Deg loop

Je vous demande cela pour ensuite remplacer ces instructions plus simplement car je veux tout d'abord faire le plus "compliqué" possible..

Merci à tous par avance, bonne journée !!

$ Kleer $

[Invité]

Re-bonjour,

Pour la 1, reverse signifit que tu va developper la bouvle dans le sens inverse de celui que tu spécifis :
For i in reverse 0..deg loop equivau à For i in deg .. 0 loop

Pour la 2, tu affiche un texte coprenant une conversion d'un entier naturel, oû le character '&' concatène les multiple composant du texte.
Tu peux faire la chose en trois fois.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
text_io.Put("Coeff du degres ");
ada.integer_text_io.Put(i);
text_io.put(" : ");

Mai ça n'est pas forcement plus simple ni plus lisible ... à mon sens.

Pour la 3, tu initialise un nouveau pointeur sur un type contenant 3 composants.
Tu peux fair la chose en 4 fois.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
P := new element;
P.composant_1 := i;
P.composant_2 := coeff;
P.composant_3 := P;

Mai ça n'est pas forcement plus simple ni plus lisible ... à mon sens.

Pour la 4, si je ne m'abuse, l'expression n'est pas correcte ....
Soit tu spécifi l'intevale de la boucle avaec l'attribut "Range", soit en donnant explicitement les bornes, mais pas les deux. Donc c'est soit For i in P.all'Range loop, soit For i in 0..deg loop.

Si je ne m'abuse.

[Invité]

Désolé, j'ai fait une petite erreur pour la trois ...

Pour pouvoir décomposer comme je l'ai fait, il faut d'abord souvegarder P car dans l'initialisation tu utilise P qui est modifié. Donc ça implique l'utilisation d'une variable supplementaire. Pas vraiment plus simple ni plus lisible à mon sens.

[Kleer]

Pour la 4, si je ne m'abuse, l'expression n'est pas correcte ....
Soit tu spécifi l'intevale de la boucle avaec l'attribut "Range", soit en donnant explicitement les bornes, mais pas les deux. Donc c'est soit For i in P.all'Range loop, soit For i in 0..deg loop.

Si je ne m'abuse.

Oui, en fait tu as raison, je rectifie donc: que signifie l'instruction suivante alors:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

For i in P.all'Range loop

merci par avance !

$ Kleer $

[Invité]

Dans ce cas, P est, soit un pointeur sur un type discret, soit un pointeur sur un tableau.
Pour reformuler l'expression il faut voir les bornes du type en question et ramplacer P.All'Range par l'inteval des bornes -> Borne _Inf .. Borne_Sup

[Kleer]

Dans ce cas, P est, soit un pointeur sur un type discret, soit un pointeur sur un tableau.
Pour reformuler l'expression il faut voir les bornes du type en question et ramplacer P.All'Range par l'inteval des bornes -> Borne _Inf .. Borne_Sup

Ok merci de vos réponses !!! j'ai plus qu'à remplacer ça alors !!

$ Kleer $

[Celelibi]

Pour la 1, reverse signifit que tu va developper la boucle dans le sens inverse de celui que tu spécifis :
For i in reverse 0..deg loop equivau à For i in deg .. 0 loop

Ceci n'est pas tout à fait une équivalence car la deuxième construction va effectuer l'itération zéro fois car deg..0 est un interval vide. Il n'y a pas à ma connaissance d'autre moyen d'écrire la boucle "reverse". (À moins de transformer la boucle for en while ou loop.)

Pour la 3, tu initialise un nouveau pointeur sur un type contenant 3 composants.
Tu peux fair la chose en 4 fois.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
P := new element;
P.composant_1 := i;
P.composant_2 := coeff;
P.composant_3 := P;

Mai ça n'est pas forcement plus simple ni plus lisible ... à mon sens.

Il manque un ".all".
Quand on fait

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

P := new Element'(I, Coeff, P);

On ne désigne pas spécifiquement le nom des champs, donc cette syntaxe serait plus proche de :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
P := new element;
P.all := (I, Coeff, P);

Le compilateur reconnait tout seul que P.all est de type element, et donc interprète l'agrégat comme étant de type element. Il est aussi possible de spécifier directement que l'agrégat est de type element :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
P := new element;
P.all := element'(I, Coeff, P);

Après on peut aussi énumérer chaque champ comme jovalise l'a montré (sans oublier de rajouter les .all).
À quoi sert le ".all" :
Le .all sert à "déréférencer le pointeur". P est de type access sur element, alors que P.all est de type element.


Si l'objectif est de réécrire le code "en plus simple", il faut préciser que X'Range est équivalent à X'First..X'Last.
X est généralement un tableau.
Attention tout de même : X'First est le premier indice du tableau X, et non le premier élément (et réciproquement pour X'Last).