Porównaj typedef jest tego samego typu

Question

Używam C++ (nie 11) i przy użyciu niektórych bibliotek, które mają różne typy dla typów danych całkowitych. Czy jest jakiś sposób twierdzić, że dwa typy są tego samego typu? Sam wymyśliłem następujące rozwiązanie .. czy to jest bezpieczne? Dzięki

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

W C++ 11 można użyć std::is_same<T,U>::value.

Skoro nie masz C++ 11, można zaimplementować tę funkcjonalność siebie jako:

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; 
}; 

Gotowe!

Podobnie można zaimplementować static_assert jak:

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

Teraz można ich używać jako:

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

Lub można zawinąć to w makro jak:

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

następnie użyć jako:

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

Jeśli używasz makro, wtedy można zobaczyć następujący ciąg znaków w wiadomości kompilatora generowany jeśli assert kończy się niepowodzeniem:

static_assert_failed 

która jest bardzo pomocna. Z innymi informacjami zawartymi w komunikacie o błędzie można dowiedzieć się, dlaczego się nie udało.

Nadzieję, że pomaga.

---

^{1. Należy zauważyć, że w C++ 11 static_assert jest operatorem (który działa w czasie kompilacji) nie szablon klasy. W powyższym kodzie static_assert jest szablonem klasy.}

Answer 2

Ponieważ nie masz C++ 11, użyj boost.

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

Możesz napisać jakąś swojej funkcji assert, zamiast BOOST_STATIC_ASSERT.

Answer 3

std :: type_info może Ci pomóc.