Po co używać „b <a? a: b ”zamiast„ a <b? b: a ”aby wdrożyć szablon max?

Szablony C ++ - kompletny przewodnik, wydanie 2, wprowadza szablon max :

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

I wyjaśnia użycie “b < a ? a : b”zamiast “a < b ? b : a”:

Zauważ, że szablon max () zgodny z [StepanovNotes] celowo zwraca „b <a? a: b ”zamiast„ a <b? b: a ”, aby upewnić się, że funkcja zachowuje się poprawnie, nawet jeśli dwie wartości są równoważne, ale nie równe.

Jak rozumieć „ even if the two values are equivalent but not equal.”? “a < b ? b : a”wydaje się mieć ten sam wynik dla mnie.

std::max(a, b)jest rzeczywiście określona jako zwracana, agdy te dwa są równoważne.

Uważa to za błąd Stiepanowa i innych, ponieważ łamie podaną użyteczną właściwość ai bzawsze można je posortować {min(a, b), max(a, b)}; w tym celu chciałbyś max(a, b)zwrócić, bgdy argumenty są równoważne.

Ta odpowiedź wyjaśnia, dlaczego podany kod jest nieprawidłowy ze standardowego punktu widzenia C ++, ale jest poza kontekstem.

Zobacz odpowiedź @ TC, aby uzyskać kontekstowe wyjaśnienie.

Standard definiuje std::max(a, b)następująco [alg.min.max] ( wyróżnienie moje):

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

Wymaga : Typ T jest mniejszy niż porównywalny (Tabela 18).

Zwroty : większa wartość.

Uwagi : Zwraca pierwszy argument, gdy argumenty są równoważne.

Odpowiednik tutaj oznacza, że !(a < b) && !(b < a)jest to true [alg.sorting # 7] .

W szczególności, jeśli ai bsą równoważne, oba a < bi b < asą false, więc wartość po prawej :stronie zostanie zwrócona w operatorze warunkowym, więc amusi być po prawej stronie, więc:

a < b ? b : a

... wydaje się być poprawną odpowiedzią. To jest wersja używana przez libstdc ++ i libc ++ .

Tak więc informacje w Twojej wycenie wydają się błędne zgodnie z obecnym standardem, ale kontekst, w którym są zdefiniowane, może być inny.

Chodzi o to, który należy zwrócić, gdy są one równoważne; std::maxmusi zwrócić a(tj. pierwszy argument) w tym przypadku.

Jeśli są równoważne, zwraca a.

Więc a < b ? b : apowinno być używane; z drugiej strony b < a ? a : b;zwróci bnieprawidłowo.

(Jak powiedział @Holt, cytat wydaje się odwrotny.)

„te dwie wartości są równoważne, ale nie równe” oznacza, że ​​mają tę samą wartość podczas porównywania, ale w niektórych innych aspektach mogą być różnymi obiektami.

na przykład

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