c++ - 为什么使用 “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” :

Note that the max() template according to [StepanovNotes] intentionally returns “b < a ? a : b” instead of “a < b ? b : a” to ensure that the function behaves correctly even if the two values are equivalent but not equal.

如何理解“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。