एक सी ++ टेम्पलेट फ़ंक्शन में क्या मैं एक डिफ्रेंस किए गए तर्क प्रकार को वापस कर सकता हूं?

Question

मेरा मतलब है कि निम्नलिखित है। मैं एक टेम्पलेट फ़ंक्शन चाहता हूं जो दो वेक्टर इटरेटर्स (या दो पॉइंटर्स को डबल की सरणी में लेता है) लेता है और एक डबल देता है जो किसी भी तरह से वेक्टर इटरेटर्स या सरणी पॉइंटर्स से संबंधित होता है जो मैं पास करता हूं। हालांकि, मैं इसे डबल या int, या किसी अंकगणितीय प्रकार के लिए काम करना चाहता हूं।

मुझे लगता है कि मैं कहता हूँ की अनुमति नहीं कर रहा हूँ:

template <class T> 
T* func(T Begin, T End) 

T new_variable = Begin + 5; 

return (*new_variable); 
} 

क्योंकि संकलक नहीं समझोगे क्या टी * साधन। एक समाधान जिसे मैंने सोचा था, वह है जो मैं वापस करने की कोशिश कर रहा हूं और इसे तीसरा तर्क देता हूं:

template <class T> 
void func(T Begin, T End, T* new_variable) 

new_variable = Begin + 5; 

return (*new_variable); 
} 

क्या यह काम करेगा? यहां तक ​​कि अगर ऐसा करने का एक और तरीका है जो मैं करने की कोशिश कर रहा हूं? (क्षमा करें यदि मैं नहीं स्पष्ट पर्याप्त किया गया है।)

Answer 1

आप एक डबल वापस जाने के लिए चाहते हैं (यानी प्रकार है कि आप जब अपसंदर्भन मिलेगा), तो आपको इटरेटर लक्षण का उपयोग कर सकते हैं:

template<typename RandomAccessIterator> 
typename std::iterator_traits<RandomAccessIterator>::value_type 
func(RandomAccessIterator a, RandomAccessIterator b) { 
    typedef typename std::iterator_traits<RandomAccessIterator>::value_type 
     value_type; 

    // use value_type now, when you want to save some temporary 
    // value into a local variable, for instance 
    value_type t = value_type(); 
    for(; a != b; ++a) t += *a; 
    return t; 
} 

इन पॉइंटर्स समेत सभी इटरेटर के लिए काम:

int main() { 
    int d[3] = { 1, 2, 3 }; 
    assert(func(d, d + 3) == 6); 
} 

Answer 2

ठीक है, आपका कोड टेक्स्ट में वर्णित वर्णन के विपरीत लगता है। यदि T इटेटरेटर प्रकार है, तो इटेटर डीरेंस (जैसा कि आपने पाठ में कहा था) का परिणाम टाइप T * (जैसा कि आप कोड में विश्वास करते हैं) है। T * एक पूरी तरह से विपरीत बात है: अगर आप पता अपने इटरेटर के बारे में बताते हैं, तो यह कुछ ऐसा है जो आपको अस्वीकार नहीं किया गया है।

वास्तव में, वहाँ "dereferenced प्रकार" सी ++ कोर भाषा सुविधाओं का उपयोग कर व्यक्त करने के लिए कोई रास्ता नहीं है (शायद decltype भविष्य में यह करना होगा, decltype(*T()) के रूप में)। प्रकार T के पूर्ववर्तन के परिणाम का वर्णन करने का एकमात्र तरीका लाइब्रेरी-आधारित समाधान का उपयोग करना है: इटेटरेटर लक्षण, जैसा कि जोहान्स ने अपने उत्तर में समझाया।