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

C++标准库支持各种 function objects ,包括结合二元函子 std::plus std::multiplies ,这是各种 fold 算法,例如 std::accumulate std::reduce ,或 tbb::parallel_reduce .

我在执行一个 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树可以在对数时间内找到任何元素前缀中的最大值,或者在一个元素范围内。

然而,令我惊讶的是,这种二进制最大函子在标准库中并不存在。当然,我可以使用我自己的代码,但这就不可能专门编写通用代码。例如,更新一个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>{});

选择 例如,以比较函子作为参数的函子

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> 以类似的方式。