क्यों std :: दूरी कॉन्स और nonconst iterators के मिश्रण पर काम नहीं करता है?

Question

सवाल की तरह, मैं इसके कारण के बारे में सोच रहा हूं। क्योंकि जब मैं const और गैर-const इटरेटर्स के बीच की दूरी प्राप्त करने का प्रयास करता हूं तो मुझे एक त्रुटि मिलती है।

vector<int> v; 
auto it=v.begin(); 
auto cit=v.cbegin(); 
distance(it,cit); 


no matching function for call to ‘distance(__gnu_cxx::__normal_iterator<int*, std::vector<int> >&, __gnu_cxx::__normal_iterator<const int*, std::vector<int> >&) 

इटरेटर की सीमित समझ से, मुझे कोई कारण नहीं दिखता कि इसे क्यों काम नहीं करना चाहिए।

Answer 1

आपके पास std::distance पर कॉल में एक परिवर्तनीय पुनरावर्तक और निरंतर पुनरावर्तक है, इसलिए टेम्पलेट तर्क कटौती विफल हो रही है। आप टेम्पलेट तर्क को स्पष्ट रूप से निर्दिष्ट करके इसे ठीक कर सकते हैं।

std::vector<int> v; 
auto i1 = v.begin(); 
auto i2 = v.cbegin(); 

auto dist = std::distance<std::vector<int>::const_iterator>(i1, i2); 

Answer 2

ऐसा इसलिए है क्योंकि std::distance() केवल एक टेम्पलेट पैरामीटर ले जाता है:

template <class InputIterator> 
iterator_traits<InputIterator>::difference_type 
distance(InputIterator first, InputIterator last); 

इसलिए, first और last एक ही प्रकार के लिए परिवर्तनीय होना चाहिए, और टेम्पलेट संकल्प दुर्भाग्य पर विचार नहीं करेंगे कि vector<int>::iteratorvector<int>::const_iterator के लिए परिवर्तनीय है।

Answer 3

std::distance उन दो iterators क्या काम नहीं कर रहा के साथ काम करेंगे टेम्पलेट तर्क अनुमान है। संकलक पहले टेम्पलेट तर्क के लिए किस प्रकार के विकल्प को हल करने का प्रयास कर रहा है और इसमें दो संभावित उम्मीदवार हैं, जो मानक विफलता के अनुसार विफल होते हैं।

आप दो चीजों में से एक कर सकते हैं, या तो एक ही प्रकार के केवल iterators तुलना करें या टेम्पलेट के प्रकार प्रदान:

std::distance<std::vector<int>::const_iterator>(v.begin(), v.cbegin()); 

Answer 4

हर किसी को कहते हैं, क्योंकि std::distance केवल एक इटरेटर प्रकार लेता है यह है, और टेम्पलेट तर्क कटौती यह चुनने में सक्षम नहीं है कि यह कौन सा होना चाहिए (भले ही उनमें से केवल एक संभव है, iteratorconst_iterator में परिवर्तित हो गया है लेकिन वापस नहीं)।

यह इस तरह एक टेम्पलेट कुछ लिख लायक हो सकता है:

template <typename Container> 
typename Container::const_iterator constify(const Container &, typename Container::iterator it) { 
    return it; 
} 

तो फिर तुम इस तरह टेम्पलेट कटौती के लिए मजबूर कर सकते हैं:

std::distance(constify(v, it), cit); 

बजाय कि महान लंबे प्रकार बाहर लिखने के

। Container& पैरामीटर एक शर्म की बात है, यह वहां है क्योंकि AFAIK Container अकेले एक पुनरावर्तक तर्क से नहीं लिया जा सकता है।