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
	Returns whether the concept implementation (feature) is noexcept or not.
static constexpr bool	vakue
	Concept result. True if the concept is satisfied, false otherwise.

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

Result	Result of the concept check. True if the concept is satisfied, false otherwise.
NoExcept	Whether 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:

• include/siplasplas/typeerasure/concepts/concept.hpp