The throws_ Struct Template Reference

Operator struct template to check if an expression throws any exception. More...

Declaration

template <class Callable_T> struct micro_os_plus::micro_test_plus::detail::throws_<Callable_T, void> { ... }

Included Headers

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

Base struct

struct	op
	Empty base struct for all operator types. More...

Public Constructors Index

template <class Callable_T>
constexpr	throws_ (const Callable_T &func)
	Constructs an exception checking operator for the given callable. More...

Public Operators Index

template <class Callable_T>
constexpr	operator bool () const
	Conversion operator to boolean. More...

Public Member Attributes Index

template <class Callable_T>
const bool	value_ {}
	Stores the result of the exception check. More...

Description

Operator struct template to check if an expression throws any exception.

Template Parameters

Callable_T

The type of the callable object to be invoked.

The throws_ struct template provides a type-safe mechanism for verifying whether a callable expression throws any exception during its execution within the framework.

This comparator is designed to support both custom and standard callable types. The result of the exception check is stored in the value_ member for efficient access.

The implementation is optimised for use in embedded environments and supports both compile-time and run-time evaluation.

All definitions are intended for internal use within the framework and are implemented in the include/micro-os-plus/micro-test-plus folder to maintain a structured and modular codebase.

Definition at line 1594 of file detail.h.

Public Constructors

throws_()

template <class Callable_T>

micro_os_plus::micro_test_plus::detail::throws_< Callable_T, void >::throws_ (const Callable_T & func)

inline explicit constexpr

Constructs an exception checking operator for the given callable.

Invokes the provided callable and determines whether it throws any exception. The result is stored in the value_ member for efficient access.

Parameters

func	The callable object to be invoked.

Definition at line 1607 of file detail.h.

1607 constexpr explicit throws_ (const Callable_T& func)

1608 : value_{ [&func] {

1609 try

1610 {

1611 func ();

1612 }

1613 catch (...)

1614 {

1615 return true;

1616 }

1617 return false;

1618 }() }

1619 {

1620 }

Reference value_.

Public Operators

operator bool()

template <class Callable_T>

micro_os_plus::micro_test_plus::detail::throws_< Callable_T, void >::operator bool ()

inline nodiscard constexpr

Conversion operator to boolean.

Parameters

None.

Return Values

true	The callable throws an exception.

Returns the result of the exception check.

Return Values

false

The callable does not throw any exception.

Definition at line 1634 of file detail.h.

1634 operator bool () const

1635 {

1636 return value_;

1637 }

Reference value_.

Public Member Attributes

value_

template <class Callable_T>

const bool micro_os_plus::micro_test_plus::detail::throws_< Callable_T, void >::value_ {}

Stores the result of the exception check.

Definition at line 1642 of file detail.h.

1642 const bool value_{};

Referenced by throws_ and operator bool.

---

The documentation for this struct was generated from the following file:

• detail.h

---

Generated via doxygen2docusaurus by Doxygen 1.14.0.