为什么 C++ 标准库不包含非 const 版本的 std::min、std::max？

Question

我依稀记得我在某个地方看到过关于此的讨论，但我现在找不到； "non-const min max c++" 和类似的变体没有给出相关结果。

为什么 C++ 标准库不包含 std::min 的以下非常量重载（std:max 也是如此）？

template <typename T>
T& min(T& a, T& b);

它有时会很有用，例如如果我想增加较低的数字：

std::min(x, y) += 1;

这种过载会导致什么问题吗？

Answer 1

这是由 Howard E. Hinnant 在N2199: "Improved min/max" 中提出的，根据this discussion 被拒绝。

在同一次讨论中，霍华德提到了这些作为拒绝的原因：

当时认为实施过于复杂。尽管 我没有尝试过，几乎可以肯定它可以更简单地完成 今天的语言/图书馆。至少所谓的“推广” 在今天的实现中称为“std::common_type”。

部分复杂性是我试图解决几个问题 同时：

1. 能够分配到 min 的结果中（但只有在安全的情况下才能这样做）。
2. 在编译时消除悬空引用的危险。
3. 支持异构积分比较，在编译时清除危险组合。
4. 支持仅移动类型。

作为 T.C.在同一讨论中提到，提案也需要不破坏代码，例如：

int i = 1; std::min(i, 0);

---

如果您有兴趣解决讨论中提到的问题并编写提案 + 示例实现，那么这最终可能会成为标准。