Mengapa menggunakan "b <a? a: b "bukannya" a <b? b: a ”untuk mengimplementasikan max template?

C ++ Templates - Panduan Lengkap, Edisi ke-2 memperkenalkan max template:

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

Dan itu menjelaskan penggunaan “b < a ? a : b”bukannya “a < b ? b : a”:

Perhatikan bahwa maks () templat menurut [StepanovNotes] dengan sengaja mengembalikan “b <a? a: b "bukannya" a <b? b: a ”untuk memastikan bahwa fungsi berperilaku dengan benar meskipun kedua nilai tersebut setara tetapi tidak sama.

Bagaimana cara memahami " even if the two values are equivalent but not equal."? “a < b ? b : a”sepertinya punya hasil yang sama buat saya.

std::max(a, b) memang ditentukan untuk kembali a ketika keduanya setara.

Itu dianggap kesalahan oleh Stepanov dan yang lainnya karena merusak properti berguna yang diberikan adan b, Anda selalu dapat mengatasinya {min(a, b), max(a, b)}; untuk itu, Anda ingin max(a, b)kembali bketika argumennya setara.

Jawaban ini menjelaskan mengapa kode yang diberikan salah dari sudut pandang standar C ++, tetapi tidak sesuai konteks.

Lihat jawaban @ TC untuk penjelasan kontekstual.

Standar mendefinisikan std::max(a, b)sebagai berikut [alg.min.max] (penekanan adalah milikku):

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

Membutuhkan : Tipe T adalah LessThanComparable (Tabel 18).

Kembali : Nilai lebih besar.

Keterangan : Mengembalikan argumen pertama ketika argumennya setara.

Setara sini berarti bahwa !(a < b) && !(b < a)adalahtrue [alg.sorting # 7] .

Secara khusus, jika adan bsetara, baik a < bdan b < asedang false, maka nilai di sebelah kanan :akan dikembalikan di operator bersyarat, jadi aharus di sebelah kanan, jadi:

a < b ? b : a

... sepertinya jawaban yang benar. Ini adalah versi yang digunakan oleh libstdc ++ dan libc ++ .

Jadi informasi dalam kutipan Anda tampaknya salah menurut standar saat ini, tetapi konteks yang didefinisikan mungkin berbeda.

Intinya adalah yang harus dikembalikan ketika mereka setara; std::maxharus kembali a(yaitu argumen pertama) untuk kasus ini.

Jika mereka setara, kembali a.

Jadi a < b ? b : aharus digunakan; di sisi lain, b < a ? a : b;akan kembali dengan btidak benar.

(Seperti yang dikatakan @Holt, kutipannya sepertinya berlawanan.)

"kedua nilai tersebut setara tetapi tidak sama" berarti mereka memiliki nilai yang sama ketika dibandingkan, tetapi mereka akan menjadi objek yang berbeda di beberapa aspek lainnya.

misalnya

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