सी ++ टेम्पलेट फ़ंक्शन का पता

Question

यह संकलन करने में विफल क्यों होता है? (छ ++ - 4,5)

template < typename U > 
static void h() { 
} 

int main() { 
    auto p = &h<int>; // error: p has incomplete type 
} 

संपादित:

template < typename U > 
static void h() { 
} 

int main() { 
    typedef decltype (&h<int>) D; 
    D p = &h<int>; // works 
} 

Answer 1

प्रयास करें C++ 0x में यह काम करने के लिए गारंटी है। हालांकि सी ++ 03 में यह काम नहीं कर रहा था (प्रारंभकर्ता भाग, जो है) और कुछ कंपाइलर स्पष्ट रूप से इसका समर्थन नहीं करते हैं।

इसके अलावा, मुझे याद है कि C++ 0x शब्द स्पष्ट नहीं है कि &h<int> के साथ क्या होता है जब यह फ़ंक्शन टेम्पलेट के लिए तर्क होता है और संबंधित पैरामीटर घटाया जाता है (यह auto का अनुवाद अवधारणात्मक रूप से किया जाता है)। इरादा यह है कि, यह मान्य है। this defect report देखें जहां उन्होंने शब्दलेखन किया, उदाहरण "निको जोसुटिस" और उनके अंतिम उदाहरण।

एक और नियम है कि शब्द लागू करता है लेकिन कंपाइलर्स सही ढंग से कार्यान्वित नहीं कर रहे हैं। उदाहरण के लिए, see this clang PR।

Answer 2

यह संकलन नहीं है क्योंकि 'पी' के प्रकार संकलक है जो बहुत जरूरी करने के लिए नहीं जाना जाता है: यहाँ एक काम के आसपास है सी ++ में कुछ अन्य भाषाओं के विपरीत।

template < typename U > 
static void h() { 
} 

int main() { 
    auto void (*p)() = &h<int>; 
} 

Answer 3

क्योंकि जीसीसी व्यवहार करता है टेम्प्लेट की गई अतिभारित एक के रूप में समारोह का प्रयास करें

auto p = static_cast<void(*)()>(& h<int>); 

। जीसीसी के दृष्टिकोण से ऐसा लगता है कि आपके पास h(int param) और h(float param) होगा - जिसे संकलक को चुनना है?

मैंने देखा कि जीसीसी के पुराने संस्करणों में समस्या क्या थी, लेकिन मैं इसे अधिक verbosely समझाने की कोशिश करूंगा। जीसीसी इस प्रकार को कम नहीं कर सका, क्योंकि टेम्पलेटेड फ़ंक्शन को अधिभारित किया गया था। यह मूल रूप से था जैसे आप निम्नलिखित होंगे:

void h(int) 
{ 
} 

void h(float) 
{ 
} 

void (*p)(int) = & h; //ok 
void (*p)(float) = & h; //ok 
auto p = & h; //error: which version of h? 

जीसीसी h<int> बस अतिभारित T पैरामीटर के आधार पर अंतहीन विकल्पों के साथ h समारोह की तरह था। प्रश्न में दिए गए कोड के साथ यह ओ.के. था। निम्न कार्य करें: (यही कारण है कि मैं typedefed नहीं मिलता है "काम के आसपास" है)

void (*p)() = & h<int>; 

के रूप में मैंने सोचा था कि ओपी C++ 11 auto कीवर्ड का उपयोग करने के रूप में एक टैग ने सुझाव दिया था, मैंने h<int> को void(*)() पर स्थिर रूप से कास्ट किया, जो कि जीसीसी की चाल करने के लिए केवल तरह का ऑपरेशन है, क्योंकि यह टेम्पलेट किए गए कार्यों और auto से सही तरीके से निपटने में सक्षम नहीं था।

कार्य void h<int>() और void h<float>() पाठ्यक्रम एक ही सूचक प्रकार के साथ विभिन्न कार्यों की तरह व्यवहार की होनी चाहिए और h समारोह के संस्करणों को ओवरलोड नहीं।जब instantiated वे void hInt() और void hFloat() की तरह व्यवहार करना चाहिए और तुम यहाँ की तरह ऑटो उपयोग करने के लिए सक्षम होना चाहिए:

void hInt() 
{ 
} 

void hFloat() 
{ 
} 

auto p = hInt; 
p = hFloat; 

लेकिन जीसीसी के लिए किसी कारण से वे h की अतिभारित संस्करणों की तरह थे।

कृपया डाउनवॉट्स का कारण दें।