Skip to main content

throws_ Struct Template

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

Base struct

structcallable_op_

Common base struct for callable-wrapping operators. More...

Public Constructors Index

template <class Callable_T>
constexprthrows_ (const Callable_T &func)

Constructs an exception checking operator for the given callable. More...

Public Operators Index

template <class Callable_T>
constexproperator bool () const

Conversion operator to boolean. More...

Private Member Attributes Index

template <class Callable_T>
const boolvalue_

Stores the result of the callable invocation. More...

Description

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

This partial specialisation checks whether invoking the given callable throws any exception, regardless of type. The check is performed at construction time, with the result cached for reporting and composition. Use this when a test must verify that an operation raises an exception without caring about the specific exception type.

Template Parameters
Callable_T

The type of the callable object to be invoked.

Definition at line 673 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)
explicit constexpr

Constructs an exception checking operator for the given callable.

Parameters
func

The callable object to be invoked.

Invokes func inside a try/catch block. If func throws any exception the result is true; if no exception is thrown the result is false. The result is passed to the callable_op_ base class constructor.

Declaration at line 681 of file detail.h, definition at line 582 of file detail-inlines.h.

582 constexpr throws_<Callable_T, void>::throws_ (const Callable_T& func)
583 : callable_op_{ [&func]
584 {
585 try
586 {
587 func ();
588 }
589 catch (...)
590 {
591 return true;
592 }
593 return false;
594 }() }
595 {
596 }

References micro_os_plus::micro_test_plus::detail::callable_op_::callable_op_ and micro_os_plus::micro_test_plus::detail::throws_< Callable_T, Exception_T >::throws_.

Public Operators

operator bool()

template <class Callable_T>
micro_os_plus::micro_test_plus::detail::callable_op_::operator bool ()
nodiscard constexpr

Conversion operator to boolean.

Parameters

None.

Returns

The result of the callable invocation.

Returns the pre-computed boolean result stored by the derived operator's constructor.

Declaration at line 615 of file detail.h, definition at line 535 of file detail-inlines.h.

535 operator bool () const
536 {
537 return value_;
538 }

Private Member Attributes

value_

template <class Callable_T>
const bool micro_os_plus::micro_test_plus::detail::callable_op_::value_

Stores the result of the callable invocation.

Definition at line 621 of file detail.h.

621 const bool value_{};

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


Generated via doxygen2docusaurus 2.2.0 by Doxygen 1.17.0.