Pourquoi utiliser «b <a? a: b »au lieu de« a <b? b: a ”pour implémenter le modèle max?

Modèles C ++ - Le guide complet, 2e édition présente le modèle max :

template<typename T>
T max (T a, T b)
{
  // if b < a then yield a else yield b
  return  b < a ? a : b;
}

Et cela explique l'utilisation “b < a ? a : b”au lieu de “a < b ? b : a”:

Notez que le modèle max () selon [StepanovNotes] renvoie intentionnellement «b <a? a: b »au lieu de« a <b? b: a ”pour s'assurer que la fonction se comporte correctement même si les deux valeurs sont équivalentes mais non égales.

Comment comprendre " even if the two values are equivalent but not equal."? “a < b ? b : a”semble avoir le même résultat pour moi.

std::max(a, b) est en effet spécifié pour retourner a lorsque les deux sont équivalents.

C'est considéré comme une erreur par Stepanov et d'autres parce que cela brise la propriété utile donnée aet b, vous pouvez toujours les trier {min(a, b), max(a, b)}; pour cela, vous voudrez max(a, b)revenir blorsque les arguments sont équivalents.

Cette réponse explique pourquoi le code donné est erroné d'un point de vue standard C ++, mais il est hors contexte.

Voir la réponse de @ TC pour une explication contextuelle.

La norme définit std::max(a, b)comme suit [alg.min.max] ( je souligne):

template<class T> constexpr const T& max(const T& a, const T& b);

Nécessite : Le type T est LessThanComparable (Tableau 18).

Retour : la valeur la plus élevée.

Remarques : renvoie le premier argument lorsque les arguments sont équivalents.

Équivalent ici signifie que !(a < b) && !(b < a)c'esttrue [alg.sorting # 7] .

En particulier, si aet bsont équivalents, les deux a < bet b < asont false, donc la valeur à droite de :sera renvoyée dans l'opérateur conditionnel, elle adoit donc être à droite, donc:

a < b ? b : a

... semble être la bonne réponse. Il s'agit de la version utilisée par libstdc ++ et libc ++ .

Les informations contenues dans votre devis semblent donc erronées selon la norme actuelle, mais le contexte dans lequel elles sont définies peut être différent.

Le point est celui qui doit être retourné quand ils sont équivalents; std::maxdoit retourner a(c'est-à-dire le premier argument) pour ce cas.

S'ils sont équivalents, renvoie a.

Donc a < b ? b : adevrait être utilisé; d'autre part, b < a ? a : b;retournera bincorrectement.

(Comme l'a dit @Holt, la citation semble opposée.)

«les deux valeurs sont équivalentes mais non égales» signifie qu'elles ont la même valeur lorsqu'elles sont comparées, mais qu'elles migth être des objets différents à certains autres aspects.

par exemple

struct X { int a; int b; };
bool operator< (X lhs, X rhs) { return lhs.a < rhs.a; }
X x1 {0, 1};
X x2 {0, 2};
auto x3 = std::max(x1, x2); // it's guaranteed that an X which cantains {0, 1} is returned