为什么使用“ b <a？a：b”而不是“ a <b？b：a”以实现最大模板？

C ++模板-《完整指南，第二版》介绍了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”，以确保即使两个值相等但不相等，该函数也能正确运行。

如何理解“ even if the two values are equivalent but not equal.”？“a < b ? b : a”似乎对我有相同的结果。

std::max(a, b)确实指定a当两者相等时返回。

Stepanov和其他人认为这是一个错误，因为它破坏了给定的有用属性，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小于可比较的（表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所说，引用似乎相反。）

“这两个值相等但不相等”表示在比较时它们具有相同的值，但在某些其他方面它们却是不同的对象。

例如

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