क्यों std :: count (_if) iterator वापस करें :: size_tpe size_t के बजाय?

Question

संभव डुप्लिकेट:
Why does the C++ standard algorithm “count” return a ptrdiff_t instead of size_t?

वहाँ एल्गोरिथ्म std::count/std::count_if मानक C++ है।

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); 

प्रभाव: iterators की संख्या देता है मैं सीमा [प्रथम, अंतिम) जिसके लिए निम्नलिखित इसी की स्थिति पकड़ में: * मैं == मूल्य, pred (* i) = झूठी!।

difference_typeiterator's difference_type, जो नकारात्मक हो सकता है, लेकिन count केवल मूल्य लौट सकते हैं> = 0. क्यों difference_type और उदाहरण के लिए नहीं size_t?

Answer 1

सिद्धांत में आपके पास एक जबरदस्त अनुक्रम हो सकता है जिसका तत्व केवल 128 बिट्स के साथ प्रदर्शित किया जा सकता है। कार्यान्वयन मानते हुए एक पूर्ण पूर्णांक प्रकार का समर्थन करता है, यह काफी संभावना है कि size_t 64 बिट प्रकार का उपयोग करें। हालांकि, इस विशाल अनुक्रम के लिए इटरेटर 128 बिट पूर्णांक का उपयोग कर सकता है। ध्यान दें, अनुक्रम किसी भी व्यक्तिगत कंप्यूटर की स्मृति में आवश्यक नहीं है। इसे कई विशाल डेटाबेस में विभाजित किया जा सकता है।

आपके पास अपेक्षाकृत छोटा कंप्यूटर भी उचित प्रदर्शन के साथ केवल 32 बिट प्रकार का समर्थन कर सकता है। पूर्ण मानक अनुरूपता के लिए इसे 64 बिट प्रकार का समर्थन करना पड़ सकता है लेकिन प्लेटफ़ॉर्म द्वारा समर्थित रूप से समर्थित प्रतिनिधित्व का उपयोग करके तेज़ गणनाओं का समर्थन करना वांछनीय हो सकता है। यही है, size_t इष्टतम विकल्प नहीं हो सकता है। इटरेटर बनाने के दौरान आप आम तौर पर जानते हैं कि किस आकार को समर्थित करने की आवश्यकता है।