उस टेम्पलेट के पैरामीटर प्रकार को कैसे जांचें अभिन्न है?

Question

कुछ एसटीडी टेम्पलेट समारोह के विवरण में मैं की तरह कुछ देखा:

यदि टेम्पलेट पैरामीटर अभिन्न प्रकार का है, व्यवहार में इस तरह के और इस तरह के है।
अन्यथा, यह इस तरह और इस तरह है।

मैं एक ऐसी ही परीक्षण कर सकते हैं कैसे? शायद गतिशील_कास्ट?

के बाद से समारोह मैं लिखने के केवल सही पैरामीटर की आपूर्ति करने के लिए मैं अपने आप को पर भरोसा कर सकते मेरी निजी इस्तेमाल के लिए है, लेकिन क्यों कुछ सीखने का मौका याद आती है? :)

Answer 1

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

रनटाइम संस्करण :

// Include either <boost/type_traits/is_integral.hpp> (if using Boost) 
// or <type_traits> (if using c++1x) 
// In the following, is_integral shoudl be prefixed by either boost:: or std:: 

template <typename T> 
void algorithm(const T & t) 
{ 
    // some code 

    if (is_integral<T>::value) 
    { 
     // operations to perform if T is an integral type 
    } 
    else 
    { 
     // operations to perform if T is not an integral type 
    } 

    // some other code 
} 

हालांकि, इस समाधान सुधार किया जा सकता है जब एल्गोरिथ्म के कार्यान्वयन बहुत परीक्षण पर निर्भर करता है। इस मामले में, हम समारोह के शीर्ष पर परीक्षण, तो एक बड़ा then ब्लॉक और एक बड़ा else ब्लॉक होगा। इस मामले में एक आम दृष्टिकोण फ़ंक्शन को अधिभारित करना है और संकलक को SFINAE का उपयोग करके सही कार्यान्वयन का चयन करना है। एक आसान तरीका है यह करने के लिए boost::enable_if उपयोग करने के लिए है:

#include <boost/utility/enable_if.hpp> 
#include <boost/type_traits/is_integral.hpp> 

template <typename T> 
typename boost::enable_if<boost::is_integral<T> >::type 
algorithm(const T & t) 
{ 
    // implementation for integral types 
} 

template <typename T> 
typename boost::disable_if<boost::is_integral<T> >::type 
algorithm(const T & t) 
{ 
    // implementation for non integral types 
} 

जब algorithm समारोह लागू, संकलक "का चयन करें" सही टेम्पलेट पैरामीटर मौसम पर निर्भर करता है कार्यान्वयन अभिन्न अंग है या नहीं।

Answer 2

One possibility:

#include <type_traits> 
#include <iostream> 

struct trivial 
{ 
    int val; 
}; 

int main() 
{ 
    std::cout << "is_integral<trivial> == " << std::boolalpha 
     << std::is_integral<trivial>::value << std::endl; 
    std::cout << "is_integral<int> == " << std::boolalpha 
     << std::is_integral<int>::value << std::endl; 
    std::cout << "is_integral<float> == " << std::boolalpha 
     << std::is_integral<float>::value << std::endl; 

    return (0); 
} 

तो तुम तो std::is_integral<> का उपयोग कार्रवाई निर्धारित करने के लिए।

Answer 3

Boost.TypeTraits is_integral <>() प्रदान करता है, जैसा कि एक अन्य प्रतिक्रिया में वर्णित है, यदि आपका कंपाइलर अभी तक अगले मानक की सी ++ सुविधाओं का समर्थन नहीं करता है।

Answer 4

यदि आप सी ++ 11 सुविधाओं का उपयोग करने में असमर्थ हैं, std::numeric_limits<T>::is_integerthe same thingstd::is_integral<T>::value के रूप में है, और सी ++ 98 के साथ उपलब्ध है। 98 संस्करण बौद्धिक अत्याधुनिक जर है

ध्यान दें कि, Gral inte नहीं।