为什么 max() 应该写成 b < a ? a : b 呢？

　　在 《 C++ Templates 2nd Edition 》Chapter 1 中，作者将 max() 模板定义如下：

　　

template <typename T>

T max(T a, T b)
{
    return b < a ? a : b; // 而不是 return 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. ”

　　翻译过来就是 : 根据 [StepanovNotes] 故意写成这样的， 为的就是，当两个值 ' equivalent ' 但不 ' equal ' 的时候函数也能表现正常。

　　但这个 equivalent 但不 equal ，让人很难理解。

　　cppreference 上说，For the types that are both EqualityComparable and LessThanComparable, the C++ standard library makes a distinction between equality, which is the value of the expression a == b and equivalence, which is the value of the expression !(a < b) && !(b < a).

　　意思就是：

1. 　　满足 !(a < b) && !(b < a) 的时候， a 和 b 是 equivalent 的， 因为 a 不小于 b 而且 b 不小于 a。两个变量是否是 equivalence ，由 operator< 决定。
2. 　　满足 a == b 的时候， a 和 b 是 equal 的， 因为 a 等于 b。 两个变量是否是 equal，由 operator== 决定。

　　

---

---

　　回到开头，为何要写成  return b < a ? a : b; 呢？

　　看下面这个例子：

    int x = , y = ;
    const int& max = std::max(x, y);
    const int& min = std::min(x, y);
    std::cout
        << "std::min(x, y)" << std::endl
        << "x :\t" << &x << std::endl
        << "y :\t" << &y << std::endl
        << "max :\t" << &max << std::endl
        << "min :\t" << &min << std::endl;

　　对 std::max(x, y) 和 std::min(x, y) 的结果进行引用时，返回的都是 x。

　　这只是基本数据类型，只要 !(a < b) && !(b < a) 就可以认为是 a == b，虽然他们的地址不同。这和在Python里 a == b 和 a is b 的区别异曲同工。但若是对自定义数据类型这么搞，就可能完蛋，因为operator< 和 operator== 的判断标准不一定相同。

　　比如 :

　

struct 学生
{
    int 成绩;
    string 名字;
    string 学号;
    bool operator<(学生 乙)
    {
        return this->成绩 < 乙.成绩;
    }

    bool operator==(学生 甲, 学生 乙)
    {
        return 甲.学号  == 乙.学号;
    }
}

int main()
{
    std::array<学生, > 成绩排序( min(甲, 乙), max(甲, 乙) );
}

　　如果 max 和 min 返回的都是甲，就完蛋了，给成绩排序居然把乙给搞没了。而这也就是 std::min() 和 std::max() 会导致的问题。

　　

知乎问题： https://www.zhihu.com/question/266917342

stackoverflow : https://stackoverflow.com/questions/31974941/what-is-the-difference-between-equivalence-and-equality