Discussion :

[Médinoc]

Le zéro renvoyé par strcmp() n'a rien de magique.

strcmp() compare octet par octet les deux variables qui les sont passées. Tant que la différence entre les deux octets vaut zéro, la comparaison se prolonge. Si les deux variables sont identiques, la dernière comparaison donnera une différence de zéro, c'est ce qui est renvoyé. A l'inverse, si à un moment quelconque la comparaison donne un résultat différent de zéro, c'est ce résultat qui est renvoyé (d'où le terme: un nombre < 0 ou supérieur à 0). Ainsi 'A' cmp 'C' renverra -2 et 'C' cmp 'A' renverra 2

Ça, c'est un détail d'implémentation. La norme C11 dit seulement ceci:

The sign of a nonzero value returned by the comparison functions memcmp, strcmp, and strncmp is determined by the sign of the difference between the values of the first pair of characters (both interpreted as unsigned char) that differ in the objects being compared.

Ce qui veut dire qu'une implémentation pourrait tout aussi bien limiter ses retours à { -42, 0, 42 } tout en restant conforme.

[Sve@r]

De mémoire, le langage de programmation C considère les valeurs zéro sous toutes ses formes comme étant fausses et "un" comme vrai. Cela est dû au fait que le langage de programmation C ne dispose pas d’un véritable type booléen à proprement parler.

Plus précisément C considère 0=faux et "pas 0" = vrai. if (5) printf("ok\n"); affichera "ok" parce que "5" est vu comme "vrai".

Il faut se l’avouer : l’emploi "==" est une pratique répandue et également (peut-être) pour de nombreuses raisons que vous évoquez, à savoir plus de lisibilité et de maintenabilité, mais dans les faits, elle met en évidence non pas un test de nullité, mais bien un test booléen d’une part et de l’autre un test booléen pour celui qui lit l’instruction.

Exact. Est-ce que le résultat de la fonction vaut 0 ? réponse oui ou non => c'est bien une expression booléenne.

Code C :

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

1
2
3
4
typedef enum{
	TRUE = 1,
	FALSE = (!TRUE)
}BOOL;

Moi j'aurais plutôt écrit

Code C :

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

1
2
3
4
typedef enum{
	FALSE = 0,
	TRUE = !FALSE
}BOOL;

Question rigueur, on pourrait se poser la question de savoir ce que signifie réellement le zéro "magique", comparé avec la valeur que retourne la fonction strcmp (surtout, que la fonction est susceptible de renvoyer une valeur autre que zéro), le zéro magique veut-il dire false, true, que les deux chaînes sont égales, un pointeur nul ...?.

Non, c'est juste question d'équilibre (ou d'harmonie). Imaginons c1 et c2 deux chaines sur une balance type Roberval. Soit c1 est plus grande que c2 et l'aiguille penche vers c1, soit c1 est plus petite que c2 et l'aiguille penche vers c2, soit elles sont égales et l'aiguille reste au neutre. Et quelle est la valeur "communément" admise comme "neutre" ? Réponse zéro (élément neutre de l'addition et de la soustraction).

[exe2bin]

. Et quelle est la valeur "communément" admise comme "neutre" ? Réponse zéro (élément neutre de l'addition et de la soustraction).

Si je puis me permettre de m'immiscer dans cette conversation d'expert ,le zéro est l'élément neutre de l'addition mais l'élément absorbant de la multiplication !
Ca change rien c'était juste pour faire avancer le schmilblik ....

[Sve@r]

Si je puis me permettre de m'immiscer dans cette conversation d'expert ,le zéro est l'élément neutre de l'addition mais l'élément absorbant de la multiplication !

Merci pour tes lumières

[sambia39]

Bonjour,

Plus précisément C considère 0=faux et "pas 0" = vrai. if (5) printf("ok\n"); affichera "ok" parce que "5" est vu comme "vrai".

"Non, c'est juste question d'équilibre (ou d'harmonie). Imaginons c1 et c2 deux chaines sur une balance type Roberval. Soit c1 est plus grande que c2 et l'aiguille penche vers c1, soit c1 est plus petite que c2 et l'aiguille penche vers c2, soit elles sont égales et l'aiguille reste au neutre. Et quelle est la valeur "communément" admise comme "neutre" ? Réponse zéro (élément neutre de l'addition et de la soustraction)".

D'accord, mais ici, je parle bien du fait qu'en langage C, le zéro sous toutes ces formes est considéré comme étant faux et le contraire vrai. Quand bien même en tenant compte de votre remarque du pas zéro cela est égal à vrai ; ceci n'est pas faux puisque tout ce qui n'est "pas zéro" est forcément vrai, tout comme tout ce qui est positif est vrai parce qu'il n'est point négatif. (Ou je n'ai pas bien saisi votre remarque ? & personnellement, je vois les choses autrement sur la question rigueur pour le zéro magique que j'ai déjà évoqué).

à bientôt.