能否借助C++ Concepts实现支持混合类型的min与max函数？

双模板参数版std::min/std::max的技术可行性问题 #

要将标准库的std::min/std::max扩展为支持两个不同类型的参数，确实存在多个难以解决的技术障碍和兼容性风险，核心问题如下：

• 向后兼容性严重破坏
  现有海量C++代码依赖std::min/std::max的单模板参数设计：一类是显式指定模板参数的调用，比如std::max<int>(a, b)，加入双模板参数重载后会直接触发模板匹配歧义，原本可正常编译的代码直接报错；另一类是代码隐式依赖「两个参数必须同类型」的规则做类型校验，加入双参数重载后这类校验会直接失效，可能引入难以排查的隐性bug。此外现有std::min/std::max返回的是输入参数的左值引用，支持std::min(a, b) = 10这类赋值操作，如果混合类型版本返回值类型改为公共值类型，这类用法会直接失效，属于非常严重的兼容性断裂。
• 返回值类型的语义无法统一
  你设想的std::common_range_t这类类型萃取本身就存在实现难点：首先对于等宽的有符号和无符号类型（比如32位int和32位size_t），要容纳两者的全部取值范围必须用到更宽的类型（比如64位整型），但很多平台并没有原生的宽整型支持，也不符合用户对返回类型的常规预期，后续将返回值传给固定类型参数的接口时还需要额外强制转换，反而增加了使用成本。其次不同重载的返回值语义不一致（同类型参数返回左值引用、不同类型返回值），会极大提升用户的学习成本和出错概率。
• 现有重载的匹配冲突
  标准库已经提供了接收std::initializer_list参数的std::min/std::max重载，加入双不同类型参数的重载后，当传入两个类型不同的参数时，会出现「匹配双参数重载」和「匹配初始化列表重载」的歧义，模板重载规则会变得异常复杂，普通开发者很难理清匹配优先级。

目前业界针对size_t与int混合比较的场景，通用解决方案是显式做类型转换，或者自行实现业务专用的极值比较函数，不需要修改标准库的通用接口。

内容的提问来源于stack exchange，提问作者NoSenseEtAl