Por que usar “b <a? a: b "em vez de" a <b? b: a ”para implementar o modelo máximo?

Modelos C ++ - O Guia Completo, 2ª Edição, apresenta o modelo máximo :

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

E explica como usar, em “b < a ? a : b”vez de “a < b ? b : a”:

Observe que o modelo max () de acordo com [StepanovNotes] retorna intencionalmente “b <a? a: b "em vez de" a <b? b: a ”para garantir que a função se comporte corretamente, mesmo que os dois valores sejam equivalentes, mas não iguais.

Como entender " even if the two values are equivalent but not equal."? “a < b ? b : a”parece ter o mesmo resultado para mim.

std::max(a, b)é de fato especificado para retornar aquando os dois forem equivalentes.

Isso é considerado um erro por Stepanov e outros porque quebra a propriedade útil que é dada ae b, você sempre pode classificá-los {min(a, b), max(a, b)}; para isso, você gostaria max(a, b)de retornar bquando os argumentos forem equivalentes.

Esta resposta explica por que o código fornecido está errado do ponto de vista padrão do C ++, mas está fora de contexto.

Veja a resposta do @ TC para uma explicação contextual.

O padrão define da std::max(a, b)seguinte forma [alg.min.max] (a ênfase é minha):

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

Requer : O tipo T é LessThanComparable (Tabela 18).

Retorna : O valor maior.

Comentários : Retorna o primeiro argumento quando os argumentos são equivalentes.

Equivalente aqui significa que !(a < b) && !(b < a)é true [alg.sorting # 7] .

Em particular, se ae bsão equivalentes, ambos a < be b < asão false, então o valor à direita de :será retornado no operador condicional, portanto a, deve estar à direita, portanto:

a < b ? b : a

... parece ser a resposta correta. Esta é a versão usada pelo libstdc ++ e libc ++ .

Portanto, as informações em sua cotação parecem erradas de acordo com o padrão atual, mas o contexto em que são definidas pode ser diferente.

O ponto é qual deles deve ser retornado quando forem equivalentes; std::maxtem que retornar a(ou seja, o primeiro argumento) para este caso.

Se eles são equivalentes, retornos a.

Então a < b ? b : adeve ser usado; por outro lado, b < a ? a : b;retornará bincorretamente.

(Como disse @Holt, a citação parece oposta.)

"os dois valores são equivalentes, mas não iguais" significa que eles têm o mesmo valor quando comparados, mas podem ser objetos diferentes em alguns outros aspectos.

por exemplo

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