siplasplas
A library for C++ reflection and introspection
cpp::concepts::Concept< Result, NoExcept > Class Template Reference

Represents a concept. More...

#include <siplasplas/typeerasure/concepts/concept.hpp>

Inherits integral_constant< bool, Result >.

Static Public Attributes

static constexpr bool no_except
 

Detailed Description

template<bool Result, bool NoExcept = false>
class cpp::concepts::Concept< Result, NoExcept >

Represents a concept.

siplasplas-typeerasure represents concepts as boolean type traits, where Concept::value == true means the concept is satisfied, and false otherwise.

Concepts also keep track of the noexcept-ness of the feature they check, to optimize the corresponding type erased feature (See cpp::features namespace).

Template Parameters
ResultResult of the concept check. True if the concept is satisfied, false otherwise.
NoExceptWhether the checked feature is noexcept. False by dfault (By default the noexcept-ness of the feature is not checked).

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