没代码你说个啥。
`std::max`又不是什么很复杂的东西。
by constructor @ 2018-05-14 15:23:38
而且也许是因为太简单了，于是虽然
>T must meet the requirements of LessThanComparable
其中T是模板推导类型
但是并没有使用SFINAE技术。相比较而言，`std::gcd`在C++17就用了SFINAE的元函数`std::common_type`（虽然看起来没有必要）
by constructor @ 2018-05-14 15:28:42