Discussion :

[shirya]

Bonjour tout le monde, j'aimerais savoir si il existe une fonction permmettant de savoir si un chiffre est pair ou non.
j'ai trouv� ceci:

Code :

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

1
2
3
4
5
6
if(chiffre% 2 == 0) {
   // ici c'est pair
} 
else {
   // ici c'est impair
}

mais si vous pensez qu'il y a mieux, svp faites moi signe
merci

[M�dinoc]

Code :

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

1
2
3
4
5
6
7
8
if( nombreEntier & 1 )
  {
  //Impair
  }
else
  {
  //Pair
  }

(Attention par contre, �a ne marche qu'avec des entiers, pas des flottants. De toute fa�on, peut-on dire d'un nombre � virgule flottante qu'il est pair ou impair ? )

[bigquick]

Il n'y a pas de fonction qui fait �a � ma connaissance.
Ta m�thode marche tr�s bien, sinon tu as aussi

Code :

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

1
2
3
4
5
bool estPair(const int i)
{
   return ! (i&1);  //  le ET binaire entre num et 0x00000001 retourne 1 si le nombre est impair
//   return  (i%2==0);   // la solution avec le modulo
}

qui est peut-�tre un poil plus rapide, mais honn�tement � ce niveau l� ca ne change pas grand chose (si il y a bien une diff�rence)...

edit: bah �a m'apprendra � faire autre chose pendant que je r�ponds, j'arrive trop tard du coup

[Selenite]

qui est peut-�tre un poil plus rapide, mais honn�tement � ce niveau l� ca ne change pas grand chose

Un compilateur n'est pas une br�le.
Si le compilateur �tait effectivement une br�le, la diff�rence serait effectivement importante (rapport d'un facteur 5, voire 10, sur x86).

[bigquick]

D�sol� d'avoir froiss� les amis des compilateurs
Enfin j'ai pas compris ton point, d�sol� ... au final �a ne change rien, c'est �a ? Il optimise le modulo pour qu'il prenne le moins de cycle possible, �tant donn� que c'est modulo 2 et pas modulo 237 ? Ou c'est juste le modulo en g�n�ral qui est opimis� ?

[Jan Rendek]

Un bon compilateur (m�me un moyen maintenant) optimise syst�matiquement les divisions par des constantes. Donc, oui, le modulo y'a de grande chance qu'il soit un tantinet arrang� et je pense qu'au final il ne doit pas y avoir d'�cart de perf mesurable.

[Invit�]

il ne doit pas y avoir d'�cart de perf mesurable.

D'apr�s moi, c'est pire que �a : que tu utilises une syntaxe ou l'autre, le r�sultat en code machine / assembleur sera exactement le m�me.

Pour gcc :

Algebraic simplifications
Expressions are simplified using algebraic properties of their operators and operands. For instance, i + 1 - i is converted to 1. Other properties like associativity, commutativity, and distributivity are also used to simplify expressions.

Constant folding
Expressions for which all operands are constant can be evaluated at compile time and replaced with their values. For instance, the expression a = 4 + 3 - 8 can be replaced with a = -1.

Traduction :

Simplifications alg�briques
Les expressions sont simplifi�es en utilisant les propri�t�s alg�briques de leurs op�rateurs et op�randes. Par exemple, i + 1 - i en converti en 1. D'autres propri�t�s comme l'associativit�, la commutativit�, et la distributivit� sont aussi utilis�es pour simplifier les expressions.

Evaluation des constantes
Les expressions dont toutes les op�randes sont des constantes peuvent �tre �valu�es au moment de la compilation et remplac�es par leur valeurs. Par exemple, l'expression a = 4 + 3 - 8 peut �tre remplac�e par a = -1.

[Luc Hermitte]

il ne doit pas y avoir d'�cart de perf mesurable.

D'apr�s moi, c'est pire que �a : que tu utilises une syntaxe ou l'autre, le r�sultat en code machine / assembleur sera exactement le m�me.

+1
Cela fait un moment que les compilos sont cens�s maitriser les multiplications et divisions par des constantes. (genre *254 qui est remplac� par d�calages et soustractions...)

[Matthieu Brucher]

En revanche, �a pourrait �tre plus int�ressant le !(machin&1), non ? Pas de test, pas de saut, ...

[M�dinoc]

� quoi sert-il de savoir qu'un nombre est pair si on n'utilise pas ce savoir? C'est � ca que sert la structure conditionnelle: � savoir ce qu'on fait s'il est pair ou non. Il y aura donc toujours un test et un saut...

[Jean-Marc.Bourguet]

En revanche, �a pourrait �tre plus int�ressant le !(machin&1), non ? Pas de test, pas de saut, ...

En quoi est-ce different de machin % 2 == 0 ? A part bien sur que l'utilisation de % a un comportement garanti dans le cas des nombres negatifs (je suis d'accord, les machines en complement a un ne sont pas legion).

[Matthieu Brucher]

� quoi sert-il de savoir qu'un nombre est pair si on n'utilise pas ce savoir? C'est � ca que sert la structure conditionnelle: � savoir ce qu'on fait s'il est pair ou non. Il y aura donc toujours un test et un saut...

Non, on peut utiliser cette donn�e dans d'autres op�rations avec addition, genre (result * nombre) + (!result * nombre), m�me si ce n'est pas tr�s propre - true a une valeur fixe valant 0xFF, non ? -

[Jean-Marc.Bourguet]

On peut utiliser cette donn�e dans d'autres op�rations avec addition, genre (result * nombre) + (!result * nombre), m�me si ce n'est pas tr�s propre - true a une valeur fixe valant 0xFF, non ? -

true vaut 1 et false 0.

[CGi]

D'apr�s moi, c'est pire que �a : que tu utilises une syntaxe ou l'autre, le r�sultat en code machine / assembleur sera exactement le m�me.

J'ai fait le test par curiosit� :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
int estpair1(int x)
{
   return x&1;
}
------------------------------	
 
	push ebp
	mov ebp,esp
 
	mov eax,dword ptr [ebp+8]
	and eax,1
 
	pop ebp
	ret

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
int estpair2(int x)
{
   return x%2;
}	
------------------------------
 
	push ebp
	mov ebp,esp
 
	mov eax,dword ptr [ebp+8]
	and eax,-2147483647
	jns short S1
	dec eax
	or eax,-2
	inc eax
S1:	
	pop ebp
	ret

[Aurelien.Regat-Barrel]

Si tu remplaces "int" par "unsigned int" pour le type de x, tu devrais obtenir la m�me chose.

[CGi]

Si tu remplaces "int" par "unsigned int" pour le type de x, tu devrais obtenir la m�me chose.

Affirmatif !

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
int nbpair1(unsigned int x)
{
   return x&1;
}
------------------------------	
 
	push ebp
	mov ebp,esp
 
	mov eax,dword ptr [ebp+8]
	and eax,1
 
	pop ebp
	ret

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
int nbpair2(unsigned int x)
{
   return x%2;
}	
------------------------------
 
	push ebp
	mov ebp,esp
 
	mov eax,dword ptr [ebp+8]
	and eax,1
 
	pop ebp
	ret

[Jean-Marc.Bourguet]

D'apr�s moi, c'est pire que �a : que tu utilises une syntaxe ou l'autre, le r�sultat en code machine / assembleur sera exactement le m�me.

J'ai fait le test par curiosit� :

Code :

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

1
2
3
4
5
6
7
8
9
int estpair1(int x)
{
   return x&1;
}
 
int estpair2(int x)
{
   return x%2;
}

Tu as teste avec des parametres negatifs? Normalement -1 & 1 donne 1 tandis que -1 % 2
donne -1. Pas trop etonnant que le code soit different. Je me demande si ton optimiseur est assez pousse pour savoir que les deux fonctions suivantes sont equivalentes:

Code :

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

1
2
bool estpair(int x)   { return (x&1) == 0; }
bool estpair2(int x) { return (x%2) == 0; }

[Matthieu Brucher]

On peut utiliser cette donn�e dans d'autres op�rations avec addition, genre (result * nombre) + (!result * nombre), m�me si ce n'est pas tr�s propre - true a une valeur fixe valant 0xFF, non ? -

true vaut 1 et false 0.

C'est encore mieux

[CGi]

Je me demande si ton optimiseur est assez pousse pour savoir que les deux fonctions suivantes sont equivalentes

Et bien apparement non :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
bool estpair1(int x)
{
   return (x&1) == 0;
}
------------------------------	
 
	push ebp
	mov ebp,esp
	test byte ptr [ebp+8],1
	sete al
	and eax,1
	pop ebp
	ret

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
bool estpair2(int x)
{
   return (x%2) == 0;
}	
------------------------------
 
	push ebp
	mov ebp,esp
	mov eax,dword ptr [ebp+8]
	and eax,-2147483647
	jns short S1
	dec eax
	or eax,-2
	inc eax
S1:	test eax,eax
	sete al
	and eax,1
 
	pop ebp
	ret

J'ai bien test� avec diff�rentes options d'otimisation mais �a ne change rien.

[M�dinoc]

Quelle est la condition, pour jns ? (surtout apr�s un AND...)