¿Por qué std :: count (_if) devuelve iterator :: difference_type en vez de size_t?

Question

Duplicar posible:
Why does the C++ standard algorithm “count” return a ptrdiff_t instead of size_t?

Hay algoritmo std::count/std::count_if en C++ estándar.

template<class InputIterator, class T> 
typename iterator_traits<InputIterator>::difference_type 
count(InputIterator first, InputIterator last, const T& value); 

template<class InputIterator, class Predicate> 
typename iterator_traits<InputIterator>::difference_type 
count_if(InputIterator first, InputIterator last, Predicate pred); 

Efectos: Devuelve el número de iteradores i en el rango [primero, último) para los que tienen las siguientes condiciones correspondientes : Valor * i ==, pred (* i) = false!.

difference_type es iterator's difference_type, que puede ser negativo, pero puede volver count único valor> = 0. Por qué difference_type y no size_t por ejemplo?

Answer 1

En teoría, puede tener una secuencia tremenda cuyo número de elementos solo se puede representar con 128 bits. Suponiendo que la implementación admite un tipo entero correspondiente, es bastante probable que size_t use un tipo de 64 bits. Sin embargo, el iterador de esta gran secuencia podría usar un entero de 128 bits. Tenga en cuenta que la secuencia no es necesaria y está representada en la memoria de cualquier computadora individual. Se puede dividir en múltiples bases de datos enormes.

Es posible que también tenga una computadora relativamente pequeña que solo admita un tipo de 32 bits con un rendimiento razonable. Para una conformidad estándar completa, podría tener que admitir un tipo de 64 bits, pero puede ser conveniente admitir cálculos más rápidos utilizando una representación respaldada nativamente por la plataforma. Es decir, size_t puede no ser la elección óptima. Al crear iteradores, generalmente se sabe qué tamaño debe admitirse.