¿Por qué usar "b <a? a: b "en lugar de" a <b? b: a ”para implementar la plantilla max?

Plantillas C ++: la guía completa, 2a edición, presenta la plantilla máxima :

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

Y explica el uso en “b < a ? a : b”lugar de “a < b ? b : a”:

Tenga en cuenta que la plantilla max () de acuerdo con [StepanovNotes] devuelve intencionalmente “b <a? a: b "en lugar de" a <b? b: a ”para garantizar que la función se comporte correctamente incluso si los dos valores son equivalentes pero no iguales.

¿Cómo entender " even if the two values are equivalent but not equal."? “a < b ? b : a”Parece tener el mismo resultado para mí.

std::max(a, b)de hecho se especifica que regrese acuando los dos son equivalentes.

Eso es considerado un error por Stepanov y otros porque rompe la propiedad útil que da ay b, siempre puede ordenarlos con {min(a, b), max(a, b)}; para eso, querrás max(a, b)volver bcuando los argumentos sean equivalentes.

Esta respuesta explica por qué el código dado es incorrecto desde un punto de vista estándar de C ++, pero está fuera de contexto.

Consulte la respuesta de @ TC para obtener una explicación contextual.

El estándar define std::max(a, b)lo siguiente [alg.min.max] (el énfasis es mío):

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

Requiere : El tipo T es menos que comparable (Tabla 18).

Devuelve : el valor más grande.

Observaciones : devuelve el primer argumento cuando los argumentos son equivalentes.

Equivalente aquí significa que !(a < b) && !(b < a)es true [alg.sorting # 7] .

En particular, si ay bson equivalentes, ambos a < by b < ason false, por lo que el valor a la derecha de :se devolverá en el operador condicional, por lo aque debe estar a la derecha, entonces:

a < b ? b : a

... parece ser la respuesta correcta. Esta es la versión utilizada por libstdc ++ y libc ++ .

Entonces, la información en su presupuesto parece incorrecta de acuerdo con el estándar actual, pero el contexto en el que se define puede ser diferente.

El punto es cuál debería devolverse cuando son equivalentes; std::maxtiene que volver a(es decir, el primer argumento) para este caso.

Si son equivalentes, devuelve a.

Por a < b ? b : alo tanto, debe ser utilizado; Por otro lado, b < a ? a : b;volverá bincorrectamente.

(Como dijo @Holt, la cita parece opuesta).

"los dos valores son equivalentes pero no iguales" significa que tienen el mismo valor cuando se comparan, pero migran como objetos diferentes en otros aspectos.

p.ej

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