टाइपिफ़ की तुलना करें

Question

मैं सी ++ (11 नहीं) का उपयोग कर रहा हूं और कुछ पुस्तकालयों का उपयोग कर रहा हूं जिनमें पूर्णांक डेटा प्रकारों के लिए अलग-अलग टाइपिफ़ी हैं। क्या कोई तरीका है कि मैं कह सकता हूं कि दो टाइपिफ एक ही प्रकार के हैं? मैं अपने आप निम्नलिखित समाधान के साथ आया हूँ .. क्या यह सुरक्षित है? धन्यवाद

template<typename T> 
struct TypeTest 
{ 
    static void Compare(const TypeTest& other) {} 
}; 

typedef unsigned long long UINT64; 
typedef unsigned long long UINT_64; 
typedef unsigned int UINT_32; 

int main() 
{ 
    TypeTest<UINT64>::Compare(TypeTest<UINT64>()); // pass 
    TypeTest<UINT64>::Compare(TypeTest<UINT_64>()); // pass 
    TypeTest<UINT64>::Compare(TypeTest<UINT_32>()); // fail 
} 

Answer 1

सी ++ 11 में, आप std::is_same<T,U>::value का उपयोग कर सकते हैं।

जब से तुम सी ++ 11 की जरूरत नहीं है, आप के रूप में इस कार्यक्षमता खुद को लागू कर सकते हैं:

template<typename T, typename U> 
struct is_same 
{ 
    static const bool value = false; 
}; 

template<typename T> 
struct is_same<T,T> //specialization 
{ 
    static const bool value = true; 
}; 

हो गया!

इसी तरह आप लागू कर सकते हैं static_assert के रूप में:

template<bool> struct static_assert; 
template<> struct static_assert<true> {}; //specialization 

अब आप उन्हें के रूप में उपयोग कर सकते हैं:

static_assert<is_same<UINT64,UINT64>::value>(); //pass 
static_assert<is_same<UINT64,UINT32>::value>(); //fail 

या आप के रूप में एक मैक्रो में इस लपेट सकता है:

#define STATIC_ASSERT(x) { static_assert<x> static_assert_failed; (void) static_assert_failed; } 

फिर इस प्रकार उपयोग करें:

STATIC_ASSERT(is_same<UINT64,UINT64>::value); //pass 
STATIC_ASSERT(is_same<UINT64,UINT32>::value); //pass 

आप मैक्रो का उपयोग करते हैं, तो आप निम्न स्ट्रिंग संकलक उत्पन्न संदेश में देखना होगा अगर ज़ोर विफल रहता है:

static_assert_failed 

जो उपयोगी है। त्रुटि संदेश में अन्य जानकारी के साथ, आप यह समझने में सक्षम होंगे कि यह क्यों विफल हुआ।

उम्मीद है कि मदद करता है।

---

^{1. ध्यान दें कि सी ++ 11 में, static_assert एक ऑपरेटर (जो संकलन समय पर चल रही है), नहीं एक वर्ग टेम्पलेट है। उपरोक्त कोड में, static_assert एक क्लास टेम्पलेट है।}

Answer 2

चूंकि आपके पास C++ 11 नहीं है, तो बूस्ट का उपयोग करें।

BOOST_STATIC_ASSERT(boost::is_same<T, U>::value); 

आप BOOST_STATIC_ASSERT की बजाय आपके ज़ोर समारोह के कुछ प्रकार लिख सकते हैं।

Answer 3

std :: type_info आपकी मदद कर सकता है।