Jak mogę tworzyć asercje czasu kompilacji bez C++ 11

Question

W rozmowie kwalifikacyjnej poproszono mnie o napisanie metafunkcji , która określiła, czy typ był wskaźnikiem. To co przedstawiłem:

template <typename T> 
struct is_pointer 
{ static const bool value = false; } 

template <typename T> 
struct is_pointer<T *> 
{ static const bool value = true; } 

Potem został poproszony o napisanie meta-assert, że zawiedzie podczas kompilacji, jeśli mój is_pointer funkcja nie jest postępuje słusznie.

Kiedy użyłem static_assert, wyraźnie powiedział mi, że mogę używać tylko standardu C++ 98. Jak mogę to osiągnąć?

Answer 1

W twoim przypadku

template <bool> struct assert; 
template <> struct assert<true> {}; 

byłby rozwiązany problem:

assert<!is_pointer<char>::value>();  // valid 
assert<is_pointer<char *>::value>(); // valid 

assert<is_pointer<char>::value>();  // compilation error: 
             // use of incomplete class 

Answer 2

Istnieją różne podejścia, wspólna jeden próbuje typedef niepoprawny typ:

#define static_assert(condition) \ 
     typedef char assert ## __LINE__ [((condition)?1:-1)] 

ten może być użyty w większości kontekstów i wywoła kompilator, jeśli warunek jest fałszywy, ponieważ próbowałby typować a n nieprawidłowy typ (tablica ujemnej liczby elementów). Może być używany w różnych kontekstach:

// namespace level: 
static_assert(sizeof(int)==4); 
struct type { 
    // class level: 
    static_assert(sizeof(int)==4); 
    void f() { 
     // function level 
     static_assert(sizeof(int)==4); 
    } 
}; 

Answer 3

Chciałbym użyć BOOST_STATIC_ASSERT. Możesz spojrzeć na kod: boost/static_assert.hpp.

Oto bardzo uproszczona wersja, po prostu daje wyobrażenie:

#define JOIN(X, Y) DO_JOIN(X, Y) 
#define DO_JOIN(X, Y) X ## Y 

template<bool cond> 
struct Static_assert_helper; // incomplete type 

template<> 
struct Static_assert_helper<true> { 
    typedef int Type; 
}; 

#define STATIC_ASSERT(cond) \ 
    typedef Static_assert_helper<(cond)>::Type JOIN(Static_assert_typedef_, __LINE__) 

może być używany w wielu miejscach (patrz dokumentacja przykłady).

(realizacja Boost jest bardziej kompletny, ze np sizeof i pośrednim struct, aby dać lepszą komunikat o błędzie i być przenośne na wielu kompilatorów).