micro_os_plus::micro_test_plus::detail::has_value Concept Reference

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

#include <extension.h>

Concept definition

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

Detailed Description

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.