Discussion :

[r0d]

Salut,

je suis tombé sur un truc bizarre. Du coup je vous propose un petit exercice amusant.
Prenons le code suivant :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
#include <iostream>
int main() 
{
   int i = -1;
   unsigned int j = 1;
   if ( i < j ) 
      std::cout << " i is less than j";
   else
      std::cout << " i is greater than j";
   return 0;
}

Question: quel est l'output console ?

[Bousk]

warning C4018: '<': signed/unsigned mismatch
Ensuite, c'est indéfini et un UB compilo-specific imo.

[r0d]

warning C4018: '<': signed/unsigned mismatch

Pas en /W2 (ok je pinaille)
Tu as raison, alors je reformule ma question :
Quel est l'output, sur les 2 compilateurs sur lesquels j'ai pu tester : GCC 4.9.2 et MSVC 2017 ?

[jo_link_noir]

i est plus que j.

Les règles de conversion sont parfaitement définies par la norme. Du moins, à la manière de C++ avec des pages et des pages de point à prendre en compte .

https://en.cppreference.com/w/cpp/la...tor_arithmetic

Otherwise, if the unsigned operand's conversion rank is greater or equal to the conversion rank of the signed operand, the signed operand is converted to the unsigned operand's type.

Du coup, int(-1) est transformé en ~unsigned(0), qui est très grand.

[camboui]

Pareil.
L'équivalent en hexa serait

Code :

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

if (0xFFFFFFFF < 0x00000001) ...

qui est évalué comme false.

[camboui]

Puisque vous aimez les petits problèmes...
Voici une fonction qui doit agir comme une fonction de comparison en C, renvoyer un entier négatif si l<r, un entier positif si l>r, et 0 si l==r.
Le code est-t-il correct pour toute valeur l et r ?

Code :

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

1
2
3
4
5
6
7
template<typename T>
constexpr std::enable_if_t<
	std::is_integral<T>::value && (sizeof(T) <= sizeof(intptr_t)),
	intptr_t> compare_op(T l, T r) noexcept
{
	return intptr_t(std::make_signed_t<T>(l - r));
}