tant que tu ne fais pas de comparaisons c'est rigoureusement équivalent aux entiers non signés

Ouais on se demande même pourquoi ces cons ont mis dans les microprocesseurs des instructions mulu et muls, divu et divs.

c'est rigoureusement équivalent aux entiers non signés

Voui c'est un autre point qui me chatouille :
En fait entiers et entiers signés, c'est le même type. Ce sont les *lois* qui sont différentes. Il y a là une incohérence.

Bon sinon je comprends : tu veux que l'ensemble des positifs soit stable par + et *.


>>> N+N-N avec N entier est souvent optimisée en N (parce que l'overflow est undefined), alors que si il était défini, le compilateur ne pourrait pas faire de telles optimisations.

Voui mais alors ces deux expressions, "N+N-N" et "N", ne sont pas équivalentes au sens défini plus haut...

Kevin Kofler (./155) :
L'intérêt de ne pas autoriser l'overflow,c'est que c'est ce que le standard C définit pour les entiers signés.

C'est le contraire, ou alors c'est plus un standard, c'est une dictature.