암시 홍보 :: partial_sum

Question

중간 결과의 유형이 대상 유형에 의존하지 않기 때문에이 코드는 오버 플로우 앓고

그러나

vector<uint8_t> increments; 
… 
vector<uint32_t> increasing(increments.size()); 
partial_sum(increments.begin(), increments.end(), increasing.begin()); 

, 그래서이 (GCC 4.2)를 수행합니다

partial_sum(increments.begin(), increments.end(), increasing.begin(), 
      plus<uint32_t>()); 

plus<uint32_t> 피연산자를 홍보하고 오버플로를 방지해야합니까?

편집 : 저는 너무 중독되었습니다. 짧은 휴식 후에, 나는 다시 앉아서 구현을 점검했다. ...

/* input_iterator::value_type */ __value = __binary_op(__value, *__first); 
    *++__result = __value; 

내가 그 준수 생각하지 않는다, 그래서 최신 버전을 확인하고 어쩌면 버그를 제출할 수 있습니다 여기에 우리가 간다 : 이것이 수행 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42943

Answer 1

따르면 http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-active.html#539에, partial_sum가있다 n3000 (최신 릴리스) 이후 완전히 재정의 됨 :

효과 : VT를 InputIterator의 값 유형으로합시다. 비어 있지 않은 범위의 경우 은 * first를 사용하여 VT의 누적 기 acc을 초기화하고 * result = acc를 수행합니다. 첫 번째 1에있는 모든 반복자에 대해 acc는 이 acc = acc + * i 또는 acc = binary_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); } 

일반 필 터별 입력기 반복기가있는 경우 훨씬 짧아집니다.