यह क्यों काम करता है (टेम्पलेट्स, SFINAE)। सी ++

Question

कल की पोस्ट का जिक्र करते हुए, इस सुबह मुझे जाग गया। यह वास्तव में क्यों काम करता है? जब तक कार्य test चिंतित है, इस समारोह में कोई शरीर नहीं है, तो यह कुछ भी कैसे कर सकता है? मैं जानना चाहता हूं कि यह क्यों और कैसे काम करता है? मैं वास्तव में आपके उत्तरों को देखने में दिलचस्पी रखता हूं।

template<typename T> 
class IsClassT { 
    private: 
    typedef char One; 
    typedef struct { char a[2]; } Two; 
    template<typename C> static One test(int C::*); //NO BODY HERE 
    template<typename C> static Two test(…); //NOR HERE 
    public: 
    enum { Yes = sizeof(IsClassT<T>::template test<T>(0)) == sizeof(One) }; 
    enum { No = !Yes }; 
}; 

इस बहुत ही रोचक घटना को समझने में सहायता के साथ अग्रिम धन्यवाद।

Answer 1

मुझे लगता है कि आप हां enum के लिए referring कर रहे हैं? IsClassT<T>::test<T>(0)? आकार वास्तव में अपने तर्कों का मूल्यांकन नहीं करता है। क्यों निम्नलिखित की तरह कोड कानूनी है कि, भले ही आप यह आप पर को उबारने के लिए उम्मीद कर सकते हैं:

int* p = 0; 
int sizeof_int = sizeof(*p); //oops, p is 0 :(

Answer 2

1. आप संकलक त्रुटि क्योंकि test समारोह घोषणा मौजूद नहीं मिल सकता है।

2. आपको लिंकर त्रुटि नहीं मिल सकती है क्योंकि आप test -Function पर कॉल न करें।

सी ++ Standart आईएसओ/आईईसी 14882: 2003 (ई)

5.3.3 sizeof

sizeof ऑपरेटर अपनी संकार्य के वस्तु प्रतिनिधित्व में बाइट की संख्या पैदावार । ऑपरेंड या तो एक अभिव्यक्ति है, जो का मूल्यांकन, या कोष्ठक प्रकार-आईडी का मूल्यांकन नहीं किया जाता है। sizeof ऑपरेटर नहीं करेगा ...

...