Навіщо використовувати “b <a? a: b »замість« a <b? b: a ”для реалізації шаблону max?

Шаблони C ++ - Повне керівництво, 2-е видання представляє максимальний шаблон:

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