बात का अनुमान लगाना टेम्पलेट तर्क विफल रहता है

Question

ठीक है, मैंने सोचा पढ़ा काफी कुछ सवाल "टेम्पलेट तर्क अनुमान नहीं कर सकता है" लेकिन कोई भी मेरे मामले मिलान करने के लिए लगता है - या मैं इस सवाल का जवाब समझ में नहीं आता ...

वहाँ one है कि मैं महसूस सही दिशा में चला जाता है, लेकिन मैं अपनी समस्या के समाधान को निकालने में असफल रहा।

मेरी शीर्षक में कोड नीचे छीन इस तरह दिखता है:

template<typename T> 
class TemplateProblem 
{ 
public: 
    // Do I really need this or did I miss something from the STL? 
    template<typename Tin, typename Tout> 
    struct UnaryFunction : public std::unary_function<Tin, Tout> 
    { 
     virtual Tout operator()(Tin input) = 0; 
    }; 

    template<typename Tin, typename Tout> 
    struct StaticCast : public UnaryFunction<Tin, Tout> 
    { 
     virtual Tout operator()(Tin input) 
     { 
      return static_cast<Tout>(input); 
     } 
    }; 

private: 
    T * const _data; 
    T const _bias; 

    template<typename Tin> 
    void Init(Tin * data, int length, UnaryFunction<Tin, T> mapper, Tin bias); 

public: 
    template<typename Tin> 
    TemplateProblem(Tin * data, int length, Tin bias = Tin()); 

    template<typename Tin> 
    TemplateProblem(Tin * data, int length, UnaryFunction<Tin, T> mapper, Tin bias = T()); 
}; 

template<typename T> 
template<typename Tin> 
void TemplateProblem<T>::Init(Tin * data, int length, UnaryFunction<Tin, T> mapper, Tin bias) 
{ 
    T mappedBias = mapper(bias); 
    for (int i = 0; i < length; i++) 
    { 
     _data[i] = data[i] + mappedBias; 
    } 
} 

template<typename T> 
template<typename Tin> 
TemplateProblem<T>::TemplateProblem(Tin * data, int length, UnaryFunction<Tin, T> mapper, Tin bias = T()) 
    : _data(new T[length]), _bias(bias) 
{ 
    Init(data, length, mapper, bias); 
} 

template<typename T> 
template<typename Tin> 
TemplateProblem<T>::TemplateProblem(Tin * data, int length, Tin bias = T()) 
    : _data(new T[length]), _bias(bias) 
{ 
    StaticCast<Tin, T> cast; 
    Init(data, length, cast, bias); 
} 

मैं इस तरह यह दृष्टांत:

Error 1 error C2784: 'void TemplateProblem<T>::Init(Tin *,int,TemplateProblem<T>::UnaryFunction<Tin,T>,Tin)' : could not deduce template argument for 'TemplateProblem<T>::UnaryFunction<Tin,T>' from 'TemplateProblem<T>::StaticCast<Tin,Tout>' ...\templateproblem.h 62 1 TemplateProblem 
Error 2 error C2893: Failed to specialize function template 'void TemplateProblem<T>::Init(Tin *,int,TemplateProblem<T>::UnaryFunction<Tin,T>,Tin)' ...\templateproblem.h 62 1 TemplateProblem 

:

unsigned char pixels[] = {23, 42, 65, 97}; 
TemplateProblem<int> tp(pixels, 4); 

VS2012 से मैं इन संदेशों को प्राप्त त्रुटि तब भी होती है जब मैं class केके रूप में दो struct एस को स्थानांतरित करता हूंसुझाव देता है।

Answer 1

संकलक त्रुटि वास्तविक समस्या को इंगित करने में बहुत उपयोगी नहीं है।

वास्तविक समस्या यह है कि आप अपने Init समारोह (और निर्माताओं में से एक है), लेकिन एक अमूर्त वर्ग में UnaryFunction<> परिणाम के सभी instantiations (मूल्य द्वारा पारित नहीं किया जा सकता है) के लिए मूल्य द्वारा UnaryFunction<Tin, T> पार जाते हैं। आसान उपाय है, ताकि mapper वास्तविक वस्तु में पारित करने के लिए संदर्भित करता है पारित-दर-संदर्भ UnaryFunction के लिए उपयोग करने के लिए है

functors पारित करने के लिए एसटीएल में विशिष्ट समाधान इस तरह एक अलग टेम्पलेट तर्क का उपयोग करने के लिए, है।:

template<typename T> 
template<typename Tin, Tmapper> 
void TemplateProblem<T>::Init(Tin * data, int length, Tmapper mapper, Tin bias) 
{ 
    T mappedBias = mapper(bias); 
    for (int i = 0; i < length; i++) 
    { 
     _data[i] = data[i] + mappedBias; 
    } 
} 

तब आपको UnaryFunctionL<> बेस क्लास की आवश्यकता नहीं है। यदि एक असंगत mapper पास हो गया है, तो इसका निदान तब किया जाएगा जब इसे फ़ंक्शन के शरीर में उपयोग किया जाता है।