catsfoot::class_assert_concept< T > Struct Template Reference

Checks that a concept is. More...

#include <concept_tools.hh>

Inheritance diagram for catsfoot::class_assert_concept< T >:
Collaboration diagram for catsfoot::class_assert_concept< T >:

List of all members.


Detailed Description

template<typename T>
struct catsfoot::class_assert_concept< T >

Checks that a concept is.

This type will raise a static assertion on when instantiating its concrete type if T is not a valid concept. It is intended to be used in a class template. For example:

 template <typename T>
 struct foo {
   //...
   class_assert_verified<some_concept<T> > check;
 };

The documentation for this struct was generated from the following file: