Static assert for C++98

static_assert.cpp

template<bool expr>
struct static_assert;

template<>
struct static_assert<true>
{
  static const char test;
};

struct false_type
{
  static const bool value = false;
};

struct true_type
{
  static const bool value = true;
};

template<int A, int B>
struct _n_is_equal : false_type{};

template<int A>
struct _n_is_equal<A, A> : true_type{};

template<class T, int N>
struct check_sizeof : _n_is_equal<sizeof(T), N>{};




int main()
{
  static_assert<check_sizeof<char,  1>::value>::test;
  static_assert<check_sizeof<short, 2>::value>::test;
  static_assert<check_sizeof<int,   4>::value>::test;
  static_assert<check_sizeof<long,  4>::value>::test; // ERROR: long is 4 for 64-Bit
  static_assert<check_sizeof<long long, 8>::value>::test;
}