Warum „b <a“ verwenden? a: b “statt„ a <b? b: a ”um die maximale Vorlage zu implementieren?

C ++ - Vorlagen - In der vollständigen Anleitung, 2. Ausgabe , wird die maximale Vorlage vorgestellt:

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

Und es erklärt die Verwendung “b < a ? a : b”anstelle von “a < b ? b : a”:

Beachten Sie, dass die Vorlage max () gemäß [StepanovNotes] absichtlich „b <a? a: b “statt„ a <b? b: a ”, um sicherzustellen, dass sich die Funktion auch dann korrekt verhält, wenn die beiden Werte gleich, aber nicht gleich sind.

Wie verstehe ich " even if the two values are equivalent but not equal."? “a < b ? b : a”scheint das gleiche Ergebnis für mich zu haben.

std::max(a, b)wird in der Tat angegeben, um zurückzukehren, awenn die beiden gleichwertig sind.

Dies wird von Stepanov und anderen als Fehler angesehen, da es die angegebene nützliche Eigenschaft verletzt aund bSie sie jederzeit sortieren können {min(a, b), max(a, b)}. Dafür möchten Sie max(a, b)zurückkehren, bwenn die Argumente gleichwertig sind.

Diese Antwort erklärt, warum der angegebene Code aus Sicht des C ++ - Standards falsch ist, aber nicht im Zusammenhang steht.

Siehe @ TC Antwort für eine kontextuelle Erklärung.

Der Standard definiert std::max(a, b)wie folgt [alg.min.max] (Schwerpunkt liegt bei mir):

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

Erforderlich : Typ T ist LessThanComparable (Tabelle 18).

Rückgabe : Der größere Wert.

Anmerkungen : Gibt das erste Argument zurück, wenn die Argumente äquivalent sind.

Equivalent hier bedeutet , dass !(a < b) && !(b < a)sich true [alg.sorting # 7] .

Insbesondere wenn aund gleich bsind, beide a < bund b < asind false, so wird der Wert auf der rechten Seite :im bedingten Operator zurückgegeben, amuss also auf der rechten Seite sein, also:

a < b ? b : a

... scheint die richtige Antwort zu sein. Dies ist die von libstdc ++ und libc ++ verwendete Version .

Die Informationen in Ihrem Angebot scheinen nach dem aktuellen Standard falsch zu sein, aber der Kontext, in dem sie definiert sind, kann unterschiedlich sein.

Der Punkt ist, welcher zurückgegeben werden sollte, wenn sie gleichwertig sind; std::maxmuss afür diesen Fall zurückgeben (dh das erste Argument).

Wenn sie gleichwertig sind, wird zurückgegeben a.

Also a < b ? b : asollte verwendet werden; auf der anderen Seite b < a ? a : b;wird bfalsch zurückgegeben.

(Wie @Holt sagte, scheint das Zitat entgegengesetzt zu sein.)

"Die beiden Werte sind äquivalent, aber nicht gleich" bedeutet, dass sie beim Vergleich den gleichen Wert haben, aber in einigen anderen Aspekten unterschiedliche Objekte sein können.

z.B

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