Syntaxe pour conditions C++

Bonjour les amis,
J'essaie de traduire, en Xojo et Delphi, un programme (Algorithm 493: Zeros of a Real Polynomial) �crit au d�part en Fortran et que j'ai trouv� en C++ aussi.

Je voulais vous demander si cette condition pouvait avoir un sens en C++?
Code:

1 2 3 4 5 6 7 fflag = 1; do { if ((fflag && ((fflag = 0) == 0)) && ((spass) && (!vpass || (tss < tvv)))) ...
fflag est d�clar� comme entier et n'intervient ni avant ni apr�s ce bout de code.
Si cette condition est logique, pourriez-vous me dire comment l'interpr�ter?

Salut,

Si tu veux comprendre ce test, il faut appliquer les priorit�s impos�es par les diff�rentes paires de parenth�ses,

Le plus facile est sans doute donc de commencer par s�parer les diff�rentes expressions, et de les "indenter" en fonction du "niveau" auquel se trouve la parenth�se ouvrante qui s'y rapporte.
on a donc ((fflag && ((fflag = 0) == 0)) && ((spass) && (!vpass || (tss < tvv)))) qui est compos� de
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 ( // 1 ( // 2 fflag && ( // 3 ( // 4 fflag = 0 ) // 4 == 0 ) // 3 ) // 2 && ( // 5 ( // 6 spass ) // 6 && ( // 7 !vpass || ( // 8 tss < tvv ) // 8 ) //7 ) // 5 ) // 1
Les chiffres que j'ai plac�s en commentaires permettent de retrouver la parenth�se correspondante qui permet d'avoir une paire compos�e d'une parenth�se ouvrante et une parenth�se fermante ;).
Les �l�ments qui se trouvent au m�me niveau d'indentation et qui sont inclus dans la m�me paire de parenth�se devront au final �tre �valu�s ensembles.

Cependant, chaque terme devra �tre �valu�, du moins, le r�sultat de cette �valuation risque encore de changer le r�sultat final, car && et || sont des op�rateurs logiques dits "optimis�s" : l'expression se trouvant � droite de ces op�rateurs n'�tant �valu�e que si elle peut encore changer le r�sultat.
C'est � dire que l'expression se trouvant � droite de l'op�rateur && ne sera �valu�e que si le r�sultat de l'expression se trouvant � gauche est �quivalent � true et que l'expression se trouvant � droite de l'op�rateur ||ne sera �valu�e que si le r�sultat de l'expression se trouvant � gauche est �quivalent � false.

Commencons donc par comprendre les diff�rents termes de cette expression :

fflag est en fait �quivalent � fflag != 0, car, pour convertir n'importe quelle valeur en bool�en, on part du principe que 0 vaut false, et que n'importe quelle autre valeur vaut 1
fflag = 0 assigne la valeur 0 � flag
==0 v�rifie que le r�sultat de l'assignation est �gal � 0
spass est �quivalent � spass != 0
!vpass est �quivalent � [c]!(pass[ !=0)/c], autrement dit, inverse l'�valuation bool�enne de vpass : si vpass vaut 0, son �valuation d'origne est �quivalente � false et devient true, si vpass est diff�rent de 0, son �valuation d'origine est �quivalente � true et devient false
tss <tvv �value le fait que tss soit plus petit que tvv

La suite va �tre plus joyeuse, car il va s'agir de regrouper les diff�rents termes en fonction des pairs de parenth�ses.

La plus imple � expliquer est la paire num�ro 8 : cette paire de parenth�ses ne sert normalement � rien. Elle n'est l� que pour indiquer que l'on prend bel et bien le r�sultat de l'�valuation de tss < tvv (autrement dit: vrai ou faux selon que tss est plus petit que tvv ou non)

Et comme j'ai commenc� avec la paire num�ro 8, autant continuer avec la paire num�ro 7, qui fait une expression bas�e sur la 8 ( !vpass || (tss < tvv):
Si !vpass est �valu� � false, alors on utilise le r�sultat de tss < tvv comme r�sultat de cette expression.

Et, tant qu'on y est, on peut terminer avec les paires de parenth�ses 5 et 6 (spass && (!vpass || (tss <tvv) ) ):
Si spass est diff�rent de z�ro,alors il faut soit que !vpass (autrement dit que vpass soit �gal � 0 ) soit vrai, soit que tss soit plus petit que tvv.

Ne restent plus que les paires de parenth�ses 2, 3 et 4 ...

La paire de parenth�ses num�ro 4 va avoir un effet de bord : si fflag est diff�rent de z�ro, sa valeur sera chang�e pour qu'il soit �gal � 0

La paire de parenth�se num�ro 3 va utiliser la valeur true si on a du changer la valeur de fflag et ... ne sera pas utilis�e si fflag �tait �gal � 0 � l'origine

Au final, on a donc un test bool�en dont le r�sultat est vrai si fflag n'est pas �gal � 0 et faux si fflag est �gal � 0

Si fflag n'est pas �gal � 0 � l'origine, il faut aussi v�rifier la valeur de spass, qui doit elle aussi �tre diff�rente de 0
Et si spass est diff�rent de 0, alors il faut aussi s'assurer que soit vpass est �gal � z�ro soit que tss est plus petit que tvv

Les op�rateurs utilis�s permettent d'�viter les v�rifications "inutiles", � savoir que:
on ne testera si tss est plus petit que tvv que si on a test� vpass et qu'il n'est pas �gal � 0
on ne testera vpass que si fflag n'est pas �gal � 0 ET que si n'est pas non plus �gal � 0

Mais attention: quoi qu'il arrive, fflag faudra 0 apr�s ce test.

On pourrait donc r��crire cette boucle sous une forme "plus lisible" qui serait proche de
Code:

1 2 3 4 5 6 7 8 9 10 do{ if(fflag != 0){ if(spass != 0){ if (vpass == 0 || (tss < tvv)){ fflag=0; // effet de bord de la parenthèse 4 // tout ce qui doit être fait dans la boucle } } } } // il y a surement une condition while ici (

Est-ce que ce ne serait pas plut�t

Code:

1
2
3
4
5
6
7
8
9
10
do{
    if(fflag != 0){
        fflag=0; // effet de bord de la parenthèse 4
        if(spass != 0){
            if (vpass == 0 || (tss < tvv)){
                // tout ce qui doit être fait dans la boucle
            }
        }
    }
} // il y a surement une condition while ici (

Les op�rations �tant effectu�es dans l'ordre de gauche � droite, fflag sera assign� d�s qu'il sera non nul en entr�e

Citation:
Envoy� par Bousk
Est-ce que ce ne serait pas plut�t
Code:

1 2 3 4 5 6 7 8 9 10 do{ if(fflag != 0){ fflag=0; // effet de bord de la parenthèse 4 if(spass != 0){ if (vpass == 0 || (tss < tvv)){ // tout ce qui doit être fait dans la boucle } } } } // il y a surement une condition while ici (
Tu as tout � fait raison, je me suis tromp� sur ce point...

Et c'est d'autant plus emb�tant que, dans la version correspondante que je donne, fflag pourrait ne pas �tre remis � z�ro lorsque fflag est diff�rent de z�ro, mais que l'une ou l'autre des deux condition suivante n'est pas respect�e.

Ta version corrig�e s'assure que fflag sera syst�matiquement remis � z�ro si il a une valeur diff�rente, alors que, dans le code que je pr�sentais, il y a au moins deux cas dans lesquels ce ne serait pas fait, alors que l'on s'attend � ce que ce le soit.

Merci pour l'attention port�e � ma r�pose :D

Hol�! Merci Koala pour ce cours de C++.
Donc on peut attribuer une valeur � une variable dans une condition.
Je n'invente pas grand chose, je traduis la plupart du temps des programmes �crits dans diff�rents langages mais le C++ a une syntaxe difficile je trouve, toutes sortes de signes cabalistiques,..., ce qui ne m'a jamais donn� envie de m'y mettre.
Je sais que c'est une question d'habitude mais quand m�me.
Et merci aussi Bousk pour ta contribution sinon je serais toujours en train de traduire cette ligne de code en fran�ais.
Tch�ss