The requires_ Struct Template Reference

Struct template for SFINAE requirements. More...

Declaration

template <bool> struct micro_os_plus::micro_test_plus::type_traits::requires_<bool> { ... }

Included Headers

#include <micro-os-plus/micro-test-plus.h>

Description

Struct template for SFINAE requirements.

Template Parameters

Cond	The boolean condition to be checked at compile time.

The requires_ struct template is a utility for SFINAE (Substitution Failure Is Not An Error) in template metaprogramming. It is typically used to enable or disable template specialisations and function templates based on compile-time boolean conditions.

When the boolean template parameter is true, the specialisation provides a nested type alias, which can be used in conjunction with typename and requires_t to enforce requirements in template declarations.

Definition at line 627 of file type-traits.h.

---

Generated via doxygen2docusaurus by Doxygen 1.14.0.