なぜ「b <a？「a <b？の代わりにa：b」b：a” maxテンプレートを実装するには？

C ++テンプレート-完全ガイド、第2版では、maxテンプレートが導入されています。

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

そしてそれは“b < a ? a : b”代わりに使用することを説明します“a < b ? b : a”：

[StepanovNotes]によるmax（）テンプレートは意図的に「b <a？「a <b？の代わりにa：b」b：a” 2つの値が等しくても等しくない場合でも、関数が正しく動作することを確認します。

「even if the two values are equivalent but not equal.」を理解するには？“a < b ? b : a”私には同じ結果があるようです。

std::max(a, b)実際aには、2つが同等の場合に返されるように指定されています。

それはのミスと考えられていますステパノフそれが与えられたことに有用な性質を壊すので、他aとb、あなたは常にソート彼らとすることができます{min(a, b), max(a, b)}。そのため、引数が同等の場合max(a, b)に戻りますb。

この回答は、与えられたコードがC ++標準の観点からは間違っている理由を説明していますが、コンテキスト外です。

状況説明については、@ TCの回答を参照してください。

標準はstd::max(a, b)次のように定義します[alg.min.max]（強調は私のものです）：

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

必要：タイプTはLessThanComparable（表18）です。

戻り値：大きい方の値。

備考：引数が等しい場合、最初の引数を返します。

ここで同等とは、それ!(a < b) && !(b < a)がtrue [alg.sorting＃7]であることを意味します。

特に、場合aとb同等であり、双方a < bとb < aしているfalseので、右側の値:ので、条件演算子で返されるaように、右側になければなりません。

a < b ? b : a

...正解のようです。これは、libstdc ++およびlibc ++で使用されるバージョンです。

したがって、現在の標準では見積書の情報は間違っているように見えますが、それが定義されているコンテキストは異なる場合があります。

ポイントは、それらが同等である場合にどれを返すかです。この場合、（つまり最初の引数）std::maxを返すa必要があります。

同等の場合はを返しますa。

したがってa < b ? b : a、使用する必要があります。一方、正しくb < a ? a : b;返されbません。

（@Holtが言ったように、引用は反対のようです。）

「2つの値は等しいが等しくない」とは、比較すると同じ値になることを意味しますが、他のいくつかの点では異なるオブジェクトになる場合があります。

例えば

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