Зачем использовать «b <a? a: b »вместо« a <b? b: a ”для реализации шаблона max?

Шаблоны C ++ - полное руководство, второе издание, представляет шаблон max :

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

И это объясняет использование “b < a ? a : b”вместо “a < b ? b : a”:

Обратите внимание, что шаблон max () в соответствии с [StepanovNotes] намеренно возвращает «b <a? a: b »вместо« a <b? b: a ”, чтобы гарантировать, что функция ведет себя правильно, даже если два значения эквивалентны, но не равны.

Как понять " even if the two values are equivalent but not equal."? “a < b ? b : a”кажется, имеют тот же результат для меня.

std::max(a, b)действительно указано возвращать, aкогда два эквивалентны.

Степанов и другие считают это ошибкой, потому что это нарушает данное полезное свойство, aи bвы всегда можете их отсортировать {min(a, b), max(a, b)}; для этого вы хотите max(a, b)вернуть, bкогда аргументы эквивалентны.

Этот ответ объясняет, почему данный код является неправильным с точки зрения стандарта C ++, но это вне контекста.

См . Ответ @ TC для контекстного объяснения.

Стандарт определяет std::max(a, b)следующее [alg.min.max] (акцент мой):

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

Требуется : Тип T является Менее сопоставимым (Таблица 18).

Возвращает : большее значение.

Замечания : Возвращает первый аргумент, когда аргументы эквивалентны.

Эквивалент здесь означает, что !(a < b) && !(b < a)это true [alg.sorting # 7] .

В частности, если aи bэквивалентны, то и так a < bи b < aесть false, поэтому значение справа :будет возвращено в условный оператор, поэтому aдолжно быть справа, так:

a < b ? b : a

... кажется правильным ответом. Это версия, используемая libstdc ++ и libc ++ .

Таким образом, информация в вашей цитате кажется неверной в соответствии с текущим стандартом, но контекст, в котором она определена, может отличаться.

Дело в том, какой из них должен быть возвращен, когда они эквивалентны; std::maxдолжен вернуть a(т.е. первый аргумент) для этого случая.

Если они эквивалентны, возвращается a.

Так a < b ? b : aдолжно быть использовано; с другой стороны, b < a ? a : b;вернется bнеправильно.

(Как сказал @Holt, цитата кажется противоположной.)

«эти два значения эквивалентны, но не равны» означает, что при сравнении они имеют одинаковое значение, но в некоторых других аспектах они могут быть разными объектами.

например

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