缺少 std::maximum 的设计考虑是什么？

Question

C++ 标准库支持各种function objects，包括关联二进制函子std::plus 和std::multiplies，它们是各种通用fold 算法的有用参数，例如std::accumulate、std::reduce 或@ 987654327@.

我正在实现Fenwick tree 以将关联二元运算符作为模板参数（默认为std::plus<void>）。一种可能的参数选择是最大（和最小）运算符

template<typename T=void>
struct maximum
{
    constexpr T operator() (T const&x, T const&y) const
    { return x>y? x:y; }
};

template<>
struct maximum<void>
{
    template<typename T>
    constexpr T operator() (T const&x, T const&y) const
    { return x>y? x:y; }
};

当芬威克树可以在任何元素的前缀中找到最大值时，或者在一个元素范围内，以对数时间计算。

然而，令我惊讶的是，标准库中不存在这样的二进制最大函子。当然，我可以使用我自己的，但这使得将代码专门用于一般用途是不可能的。例如，更新 Fenwick 树以更改一个元素可以在最大值的情况下进行优化：如果树节点表示的范围中的先前最大值超过新值，则可以终止树传递。

那么，没有std::maximum 和std::minimum 有什么严重的原因（除了还没有人提出）？

请注意，std::max 不是选项：

std::accumulate(v.begin(), v.end(), 0, std::max<T>);

不起作用（在 C++11 中，但在之前），而不是（使用上面的 maximum）

std::accumulate(v.begin(), v.end(), 0, std::plus<void>{});
std::accumulate(v.begin(), v.end(), 0, maximum<void>{});

另一个选项是通用的 select 仿函数，例如将比较仿函数作为参数

template<typename T, typename Compare = std::greater<T> >
struct select
{
    constexpr T operator()(T const&x, T const&y) const
    { return comp(x,y)? x:y; }
  private:
    Compare comp;        
};

和select<void> 以类似的方式。

Answer 1

Accumulate是一个模板函数，它只是试图调用累加器函数，不管是Callable还是一个正则函数（好吧，正则函数本身就是Callable），所以使用this是完全有效的

cout << std::accumulate(v.begin(), v.end(), 0, std::max<YOUR_TYPE_HERE>);

如果您的类型很复杂（例如任何不适用于 max 的类型），您可以传入自定义 lambda 表达式（仅限 C++ 11 之后的版本）：

cout << std::accumulate(v.begin(), v.end(), 0, [](int a, int b){return a > b ? a : b;});

（用你的类型替换int，用你想要的逻辑替换return a > b ? a : b;）

如果您的编译器拒绝编译第一个并且您使用的是 C++11 之前的内容，您可以尝试这一行（不安全）

cout << std::accumulate(v.begin(), v.end(), 0, std::ptr_fun(std::max<int>));

std::ptr_fun 将 ANY FUNCTION 转换为函数对象，因此可以使用，请参阅此参考 http://www.cplusplus.com/reference/functional/ptr_fun/

还有一个名为std::pointer_to_binary_function 的课程可以为您提供更多帮助。这是它的参考http://www.cplusplus.com/reference/functional/pointer_to_binary_function/