Skip to main content

has_value Concept

C++20 concept satisfied when T provides a value member. More...

Definition

template <class T>
concept micro_os_plus::micro_test_plus::type_traits::has_value = requires (const T& t) { t.value; }

Description

C++20 concept satisfied when T provides a value member.

Template Parameters
T

The type to be checked.

The has_value concept is satisfied when an instance of T exposes a value member. It is used to detect framework value-wrapper types such as integral_constant, floating_point_constant, and value<T>, enabling specialised comparison and reporting.

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

  template<class T>
  concept has_value = requires (const T& t) { t.value; }

Generated via doxygen2docusaurus 2.2.0 by Doxygen 1.17.0.