static_assert.hh

Go to the documentation of this file.

// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#ifndef DUNE_STATIC_ASSERT_HH
#define DUNE_STATIC_ASSERT_HH
 
#if not HAVE_STATIC_ASSERT
// Taken from BOOST
//
// Helper macro CPPMAGIC_JOIN:
// The following piece of macro magic joins the two
// arguments together, even when one of the arguments is
// itself a macro (see 16.3.1 in C++ standard).  The key
// is that macro expansion of macro arguments does not
// occur in CPPMAGIC_DO_JOIN2 but does in CPPMAGIC_DO_JOIN.
//
#define CPPMAGIC_JOIN( X, Y ) CPPMAGIC_DO_JOIN( X, Y )
#define CPPMAGIC_DO_JOIN( X, Y ) CPPMAGIC_DO_JOIN2(X,Y)
#define CPPMAGIC_DO_JOIN2( X, Y ) X ## Y
 
template <bool x> struct static_assert_failure;
 
template <> struct static_assert_failure<true> { };
 
template<int x> struct static_assert_test {};
#endif
 
#if HAVE_STATIC_ASSERT
#define dune_static_assert(COND,MSG) \
  static_assert(COND,MSG)
#else
#define dune_static_assert(COND,MSG) \
  typedef static_assert_test<                         \
    sizeof(static_assert_failure< (bool)( COND )>)\
    > CPPMAGIC_JOIN (dune_static_assert_typedef_, __LINE__)
#endif
 
namespace Dune {
 
 
  template<typename T>
  struct AlwaysFalse {
    static const bool value = false;
  };
 
  template<typename T>
  struct AlwaysTrue {
    static const bool value = true;
  };
} // namespace Dune
 
/* @} */
 
#endif