Quelle est la fonction de "(void) (&_min1 == &_min2)" dans la macro min de kernel.h ?

Question

Sur kernel.h min est défini comme suit :

#define min(x, y) ({                \
    typeof(x) _min1 = (x);          \
    typeof(y) _min2 = (y);          \
    (void) (&_min1 == &_min2);      \
    _min1 < _min2 ? _min1 : _min2; })

Je ne comprends pas ce que la ligne (void) (&_min1 == &_min2); fait. C'est une sorte de vérification de type ou autre ?

Answer 1

La déclaration

(void) (&_min1 == &_min2);

est un "no-op" garanti. Donc la seule raison pour laquelle il est là, c'est pour ses effets secondaires.

Mais la déclaration n'a pas d'effets secondaires !

Cependant : il oblige le compilateur à émettre un diagnostic lorsque les types de x et y ne sont pas compatibles .
Notez que le test avec _min1 == _min2 convertirait implicitement l'une des valeurs en l'autre type.

Donc, c'est ce qu'il fait. Il valide, au moment de la compilation, que les types de x et y sont compatibles .

Answer 2

Le code dans include/linux/kernel.h parle d'une comparaison de pointeurs "inutile". Il s'agit en fait d'une vérification de type stricte, qui assure que les types de x et y sont les mêmes.

Une incompatibilité de type entraîne une erreur de compilation ou un avertissement.

Answer 3

Cela permet de vérifier le type, l'égalité entre les pointeurs doit être entre des types compatibles et gcc fournira un avertissement pour les cas où ce n'est pas le cas.

Nous pouvons voir que l'égalité entre les pointeurs exige que les pointeurs soient de type types compatibles de la projet de norme C99 section 6.5.9 Opérateurs d'égalité qui dit :

L'une des situations suivantes s'applique :

et comprend :

les deux opérandes sont des pointeurs vers des versions qualifiées ou non qualifiées de types compatibles ;

et nous pouvons trouver ce qu'un type compatible est de la section 6.2.7 Type compatible et type composite qui dit :

Deux types ont un type compatible si leurs types sont les mêmes.

Cette discussion sur osnews couvre également ce sujet et a été inspiré par le Hacks GCC dans le noyau Linux qui contient le même exemple de code. La réponse dit :

a à voir avec la vérification du type.

Réaliser un programme simple :

int x = 10; 
long y = 20;
long r = min(x, y);

Donne l'avertissement suivant : avertissement : la comparaison de types de pointeurs distincts distincts n'est pas accompagnée d'un cast

Answer 4

Voir http://www.osnews.com/comments/20566 qui explique :

Cela a à voir avec la vérification de la typologie.

Réaliser un programme simple :

int x = 10; 
long y = 20; 
long r = min(x, y); 

Donne l'avertissement suivant : avertissement : la comparaison de types de pointeurs distincts n'a pas été effectuée par un cast.

Answer 5

Réponse trouvée ici

"Cela a à voir avec la vérification de la typologie. Faire un programme simple :

int x = 10; 
long y = 20; 
long r = min(x, y); 

Donne l'avertissement suivant : avertissement : la comparaison de types de pointeurs distincts n'est pas accompagnée d'un cast".