Je pensais qu'on ce comprenait mais apparement non
C'est voulu dans le code
Non, ce qu'il veut c'est implanter une pile utilisable avec comme conteneur un tableau. Mais c'est un flemmard.
! Normalement, c devra quand même respecter les assertions (l'invariant notamment) de s donc en théorie il ne devrait même pas y avoir de casse ...
Bon, il faut absolument que je déterre un compilo eiffel pour vérifier ... grmbl.
reprenons depuis le début, dans une pile, la seule manière de midifier une valeur est de la dépiler et de rempiler la nouvelle. Or là, on peut modifier une valeur par le passage par l'interface ARRAY[G], qui n'est là qu'accidentellement. Bien entendu, les invariants serons vérifiés, mais la clause qui dit que tu retrouves ce que tu y a mis n'est pas exprimable simplement en Eiffel, en son absence, tout devrait lamentablement chier.
[^] # Re: Si j'ai bien tout compris
Posté par Dugland Bob . En réponse au journal Si j'ai bien tout compris. Évalué à 1.
C'est voulu dans le code
Non, ce qu'il veut c'est implanter une pile utilisable avec comme conteneur un tableau. Mais c'est un flemmard.
! Normalement, c devra quand même respecter les assertions (l'invariant notamment) de s donc en théorie il ne devrait même pas y avoir de casse ...
Bon, il faut absolument que je déterre un compilo eiffel pour vérifier ... grmbl.
reprenons depuis le début, dans une pile, la seule manière de midifier une valeur est de la dépiler et de rempiler la nouvelle. Or là, on peut modifier une valeur par le passage par l'interface ARRAY[G], qui n'est là qu'accidentellement. Bien entendu, les invariants serons vérifiés, mais la clause qui dit que tu retrouves ce que tu y a mis n'est pas exprimable simplement en Eiffel, en son absence, tout devrait lamentablement chier.