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

Le noyau Linux est rempli de ce genre de choses (hacks gratuits spécifiques à gcc au nom de la "sécurité des types" et autres considérations similaires), et je considère que c'est une très mauvaise pratique et je vous conseille vivement de ne pas la suivre à moins que quelqu'un ne vous y oblige.

pmg a raison sur le but du piratage, mais toute personne saine d'esprit définirait min comme ((x)<(y)?(x):(y)) .

Notez que la définition du noyau exclut de nombreuses utilisations correctes, par exemple lorsqu'un argument est int et un autre est long . Je soupçonne que ce qu'ils voulaient vraiment éviter, c'était les incompatibilités de signature, où par exemple min(-1,1U) est égal à 1. Une meilleure façon d'affirmer cela serait d'utiliser une assertion au moment de la compilation pour la variable ((1?-1:(x))<0)==((1?-1:(y))<0) . Notez que cela ne nécessite aucune modification spécifique à gcc.