Skip to main content

has_value Concept

Concept satisfied when T is a framework compile-time constant. More...

Definition​

template <class T>
concept micro_os_plus::micro_test_plus::detail::has_value = extension::is_op<T> and requires { T::value; }

Description​

Concept satisfied when T is a framework compile-time constant.

Template Parameters
T

The type to be checked.

The has_value concept is satisfied when T is a framework expression type (see extension::is_op) with a static value member, like integral_constant and floating_point_constant, the types of the numeric literals. The comparators compare such operands by their T::value constants.

The types of the application are excluded, even if they have a member named value, so that they are compared with their own operators.

Definition at line 738 of file extension.h.

  template<class T>
  concept has_value = extension::is_op<T> and requires { T::value; }

Generated via doxygen2docusaurus 2.2.8 by Doxygen 1.18.0.