隐式提升以避免std::分部和溢出

根据 http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-active.html#539 , partial_sum 自N3000(最新版本)以来已完全重新定义:

效果:让VT成为输入者 值类型。对于非空范围, 初始化类型为的Accumulator 带*第一个并执行*结果的VT= 在[第一个+ 1,最后一个)依次,然后是acc 由acc=acc+*i或acc修改= 二进制_op(acc,*i),并分配给 *(结果+(i-第一个))。

和

“扩大”行为可以是 通过编写自定义代理获取 迭代器,有点复杂。

我真的看不出这样做的好处。阅读缺陷报告,我看不出任何理由

算法的目的是使用 输入迭代器的类型。

阿拉尔

编辑: 我接着实现了一个扩展输入迭代器。如广告所示。

template< class Base, class Wider >
struct widen_iter : iterator< input_iterator_tag, Wider > {
    Base b;
    widen_iter( Base const &inb = Base() ) : b( inb ) {}
    Wider operator*() const { return Wider( *b ); }
    Wider const *operator->() const { Wider t( *b ), *ta = &t; return ta; }
    widen_iter &operator++() { ++ b; return *this; }
    widen_iter operator++(int) { widen_iter t = *this; ++ b; return t; }
    bool operator==( widen_iter const &r ) const { return b == r.b; }
    bool operator!=( widen_iter const &r ) const { return b != r.b; }
};
template< class Wider, class Base >
widen_iter< Base, Wider >
widener( Base b ) { return widen_iter< Base, Wider >( b ); }

如果有一个按函数输入迭代器的通用过滤器,则会短得多。