为什么使用“b < a ? a : b" 而不是 "a < b ? b : a” 来实现最大模板？

Question

C++ Templates - The Complete Guide, 2nd Edition 介绍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

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

Answer 1

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

Stepanov 和其他人认为这是一个错误，因为它破坏了给定a 和b 的有用属性，您始终可以使用{min(a, b), max(a, b)} 对它们进行排序；为此，您希望 max(a, b) 在参数相等时返回 b。

Answer 2

这个答案解释了为什么从 C++ 标准的角度来看给定的代码是错误的，但它是脱离上下文的。

有关上下文解释，请参阅 @T.C.'s answer。

---

标准定义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，所以:右边的值会在条件运算符中返回，所以@ 987654339@ 必须在右边，所以：

a < b ? b : a

...似乎是正确的答案。这是libstdc++ 和libc++ 使用的版本。

因此，根据当前标准，您报价中的信息似乎是错误的，但定义它的上下文可能会有所不同。

Answer 3

关键是当它们相等时应该返回哪个；对于这种情况，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