Neden “b <a? a: b yerine “a <b? b: a ”max şablonu uygulamak için?

C ++ Şablonlar - Komple Kılavuzu, 2nd Edition tanıtır max şablonu:

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

Ve bunun “b < a ? a : b”yerine kullanmayı açıklar “a < b ? b : a”:

[StepanovNotes] 'a göre max () şablonunun bilerek “b <a? a: b yerine “a <b? b: a ”işlevini, iki değer eşdeğer olsa da eşit olmasa bile düzgün çalıştığından emin olmak için.

" even if the two values are equivalent but not equal." Nasıl anlaşılır ? “a < b ? b : a”benim için aynı sonuca sahip gibi görünüyor.

std::max(a, b)aslında aikisi eşdeğer olduğunda geri dönmesi belirtilir .

Yani bir hata olarak kabul edilir Stepanov o verilen bu faydalı özelliği kırar çünkü ve diğerleri ave bher zaman sıralama bunları birlikte, olabilir {min(a, b), max(a, b)}; bunun için , argümanlar eşdeğer olduğunda max(a, b)geri dönmek istersiniz b.

Bu yanıt, verilen kodun neden C ++ standart bakış açısından yanlış olduğunu açıklar, ancak bağlam dışıdır.

Bağlamsal bir açıklama için @ TC'nin cevabına bakınız .

Standart std::max(a, b)şu şekilde tanımlanır [alg.min.max] (vurgu benimdir):

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

Gerektiriyor : T Tipi LessThanComparable (Tablo 18).

Döndürür : Daha büyük değer.

Açıklamalar : Bağımsız değişkenler eşdeğer olduğunda ilk bağımsız değişkeni döndürür.

Burada Eşdeğer araçlarının !(a < b) && !(b < a)edilir true [7. alg.sorting] .

Özel olarak, ave beşdeğer, her ikisi de a < bve b < avardır falsesağında değeri bu nedenle, :bu yüzden, koşullu operatör döndürülme aböylece sağ olmak zorundadır:

a < b ? b : a

... doğru cevap gibi görünüyor. Bu, libstdc ++ ve libc ++ tarafından kullanılan sürümdür .

Dolayısıyla, teklifinizdeki bilgiler mevcut standarda göre yanlış görünüyor, ancak tanımlandığı bağlam farklı olabilir.

Mesele, eşdeğer olduğunda hangisinin döndürüleceğidir; bu dava için (yani ilk argüman) std::maxgeri dönmek zorundadır a.

Eğer eşdeğerlerse, geri döner a.

Bu yüzden a < b ? b : akullanılmalıdır; Öte yandan, yanlış b < a ? a : b;dönecektir b.

(@Holt'un dediği gibi, teklif tam tersi görünüyor.)

"iki değer eşdeğerdir ancak eşit değildir", karşılaştırıldıklarında aynı değere sahip oldukları anlamına gelir, ancak diğer bazı yönlerde farklı nesnelerdir.

Örneğin

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