प्राप्त करें (अपने) सी में इटरेटर प्रकार ++ (एसटीएल)

Question

यह आसान एक कंटेनर संबद्ध iterators प्राप्त करने के लिए दिया जाता है, उदाहरण है से कंटेनर के प्रकार:

std::vector<double>::iterator i; //An iterator to a std::vector<double> 

अगर यह संभव है मैं सोच रहा था, पुनरावर्तक प्रकार दिया , "संबंधित कंटेनर" के प्रकार को कम करने के लिए (यहां मैं मान रहा हूं कि प्रत्येक कंटेनर के लिए एक और केवल एक (गैर-कॉन्स) इटरेटर है)।

दरअसल, मैं एक टेम्पलेट metafunction कि (प्रत्येक एक कंटेनर के लिए मैन्युअल रूप से इसे विशेषज्ञ के बिना) सभी एसटीएल कंटेनर के साथ काम करता है ऐसा है कि चाहते हैं उदाहरण के लिए:

ContainerOf< std::vector<double>::iterator >::type 

std::vector<double> 

का मूल्यांकन

क्या यह संभव है? यदि नहीं, तो क्यों?

किसी भी मदद के लिए अग्रिम धन्यवाद!

Answer 1

मुझे नहीं लगता कि यह संभव होगा। कुछ एसटीएल पुस्तकालयों पर आपके पास वास्तव में एक वेक्टर इटरेटर होता है जो सूचक सूचक के रूप में होता है, i.e. std::vector<T>::iterator is a T* इसलिए मैं उस तरह से कंटेनर प्रकार पर वापस आने के किसी भी तरीके से नहीं सोच सकता।

Answer 2

सी ++ एसटीएल इटरेटर्स के सटीक रनटाइम प्रकार जानबूझकर अपरिभाषित हैं और इसलिए कार्यान्वयन-विशिष्ट हैं। आप अपने कंपाइलर विक्रेता की हेडर फाइलों के माध्यम से पता लगा सकते हैं कि वास्तव में किस प्रकार का उपयोग किया जाता है और उस से कंटेनर को कम कर देता है, लेकिन यह विक्रेता- और संस्करण-विशिष्ट है, इसलिए तोड़ने का प्रवण होता है।

Answer 3

इटरेटर का बिंदु यह है कि आप उन्हें अंतर्निहित कंटेनर प्रकार के बिना काम करने के लिए उपयोग करते हैं, उदाहरण के लिए एक प्रारंभ/अंत जोड़ी गुजरना और उस सीमा पर काम करना।

हालांकि, अगर आप सभी की देखभाल करते हैं तो यह इटेटरेटर प्रकार है, मेरा मानना ​​है कि अगर आप इटेटरेटर यादृच्छिक पहुंच है तो उदाहरण के लिए आप इटेटरेटर लक्षणों का उपयोग कर सकते हैं। std::advance लें, सामान्य मामला यह है कि यह इटरेटर एन बार पर operator++ पर कॉल करता है, लेकिन यादृच्छिक एक्सेस इटरेटर के लिए + = इसके बजाय उपयोग करने के लिए विशिष्ट है।

इसके अलावा मुझे कंटेनर प्रकार को इटरेटर से प्राप्त करने के किसी भी तरीके से अवगत नहीं है।

Answer 4

बस मस्ती के लिए, यहाँ कुछ मैं जल्दी से Boost.MPL साथ काट दिया है (चेतावनी: यह veeeery अल्पज्ञता का परीक्षण किया था, इसलिए सावधानी से कार्य):

#include <boost/mpl/list.hpp> 
#include <boost/mpl/find_if.hpp> 
#include <boost/type_traits.hpp> 
#include <vector> 
#include <string> 
#include <list> 
#include <set> 

// List of candidate container types 
template<typename T> 
struct ContainersOf : boost::mpl::list< 
    std::vector<T>, 
    std::basic_string<T>, 
    std::list<T>, 
    std::set<T> 
>{}; 

// Metafunction to evaluate if IteratorT == ContainerT::iterator 
template<class IteratorT, class ContainerT> 
struct IsIteratorOf 
{ 
    typedef typename 
    boost::is_same< 
     IteratorT, 
     typename ContainerT::iterator 
    >::type type; 
}; 

// Metafunction to compute a container type from an iterator type 
template<class IteratorT> 
struct ContainerOf 
{ 
    typedef typename 
    boost::mpl::deref<typename 
     boost::mpl::find_if< 
      ContainersOf<typename std::iterator_traits<IteratorT>::value_type>, 
      IsIteratorOf<IteratorT, boost::mpl::_1> 
     >::type 
    >::type type; 
}; 

// Test 
int main() 
{ 
    ContainerOf<std::list<int>::iterator>::type l; 
    std::list<int> l2 = l; // OK 
    std::vector<int> v = l; // Fails to compile 

    return 0; 
}