Perché usare "b <a? a: b "anziché" a <b? b: a "per implementare il modello massimo?

Modelli C ++ - La guida completa, 2a edizione introduce il modello massimo :

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

E spiega l'utilizzo “b < a ? a : b”anziché “a < b ? b : a”:

Si noti che il modello max () secondo [StepanovNotes] restituisce intenzionalmente “b <a? a: b "anziché" a <b? b: a ”per garantire che la funzione si comporti correttamente anche se i due valori sono equivalenti ma non uguali.

Come capire "even if the two values are equivalent but not equal. "? “a < b ? b : a”sembra avere lo stesso risultato per me.

std::max(a, b) è infatti specificato per tornare a quando i due sono equivalenti.

Questo è considerato un errore da Stepanov e altri perché rompe l'utile proprietà che ha dato ae b, puoi sempre ordinarli {min(a, b), max(a, b)}; per questo, vorresti max(a, b)tornare bquando gli argomenti sono equivalenti.

Questa risposta spiega perché il codice dato è sbagliato dal punto di vista standard C ++, ma è fuori contesto.

Vedi la risposta di @ TC per una spiegazione contestuale.

Lo standard definisce std::max(a, b)come segue [alg.min.max] (l'enfasi è mia):

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

Richiede : il tipo T è LessThanComparable (Tabella 18).

Restituisce : il valore più grande.

Note : restituisce il primo argomento quando gli argomenti sono equivalenti.

Equivalente qui significa che !(a < b) && !(b < a)è true [alg.sorting # 7] .

In particolare, se ae bsono equivalenti, entrambi a < be lo b < asono false, quindi il valore a destra di :verrà restituito nell'operatore condizionale, quindi adeve essere a destra, quindi:

a < b ? b : a

... sembra essere la risposta corretta. Questa è la versione utilizzata da libstdc ++ e libc ++ .

Quindi le informazioni nel tuo preventivo sembrano sbagliate secondo lo standard attuale, ma il contesto in cui è definito potrebbe essere diverso.

Il punto è quale dovrebbe essere restituito quando sono equivalenti; std::maxdeve tornare a(cioè il primo argomento) per questo caso.

Se sono equivalenti, restituisce a.

Quindi a < b ? b : adovrebbe essere usato; d'altra parte, b < a ? a : b;tornerà in bmodo errato.

(Come ha detto @Holt, la citazione sembra opposta.)

"i due valori sono equivalenti ma non uguali" significa che hanno lo stesso valore quando vengono confrontati, ma possono essere oggetti diversi in altri aspetti.

per esempio

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