micro_os_plus::micro_test_plus::extension::is_op Concept Reference

Concept satisfied when a type is a framework expression type. More...

#include <extension.h>

Concept definition

    template<class T>
    concept is_op = requires { requires std::same_as<typename T::op_type, detail::op>; }

Detailed Description

Template Parameters

T	The type to be checked.

The is_op concept is satisfied when T has the op_type member type alias of detail::op, either inherited from the detail::op base struct, or declared directly, which avoids the empty base. It is used throughout the framework, both as a constraint and as a boolean expression in if constexpr contexts.

A custom comparator or operator uses it to tell the framework expressions, like the result of eq() or lt(), from the values of the application. The applications build their own expressions with extension::compare_op and extension::predicate_op, not by declaring the op_type marker, which the formatter could not report.

Definition at line 319 of file extension.h.