concepts/macros.hpp

Go to the documentation of this file.

/*****************************************************************************
** Ifdefs
*****************************************************************************/

#ifndef ECL_CONCEPTS_MACROS_HPP_
#define ECL_CONCEPTS_MACROS_HPP_

/*****************************************************************************
** Namespaces
*****************************************************************************/

namespace ecl {
namespace concepts {

/*****************************************************************************
** Classes
*****************************************************************************/
  template <void(*)()> struct InstantiateConceptCheck {};

  template <class Model>
  void CONCEPT_CHECK_FAILED()
  {
      ((Model*)0)->~Model();
  }

  template <class Model>
  struct CONCEPT_CHECK
  {
      InstantiateConceptCheck< CONCEPT_CHECK_FAILED<Model> > x; 
      enum { instantiate = 1  };
  };
}; // namespace concepts
}; // namespace ecl

#define ecl_concept_check_name_expand(Name) ConceptCheck ## Name
#define ecl_concept_check_name(Name) ecl_concept_check_name_expand(Name)

#define ecl_compile_time_concept_check( Model )  \
        enum { ecl_concept_check_name(__LINE__) = ecl::concepts::CONCEPT_CHECK< Model >::instantiate }

#define ecl_compile_time_concept_test( Model ) \
        ecl_compile_time_concept_check( Model ); \
    ~Model()

#endif /* ECL_CONCEPTS_MACROS_HPP_ */