Arene Base
Fundamental Utilities For Safety Critical C++
Loading...
Searching...
No Matches
std::logical_and< T > Class Template Reference

Function object for performing logical AND (logical conjunction). Effectively calls operator&& on type T. More...

Public Types

using first_argument_type = T
 Type of the first value to logically AND (deprecated in C++17)(removed in C++20)
 
using result_type = bool
 Result type of invoking this object (deprecated in C++17)(removed in C++20)
 
using second_argument_type = T
 Type of the second value to logically AND (deprecated in C++17)(removed in C++20)
 

Public Member Functions

 ARENE_IGNORE_ARMCLANG ("-Wnull-conversion", "The standard expects the conversions here")
 
 ARENE_IGNORE_END ()
 
 ARENE_IGNORE_START ()
 
constexpr auto operator() (T const &lhs, T const &rhs) const noexcept(noexcept(std::declval< T const & >() &&std::declval< T const & >())) -> bool
 Returns the logical AND of lhs and rhs.
 

Detailed Description

template<class T = void>
class std::logical_and< T >

Function object for performing logical AND (logical conjunction). Effectively calls operator&& on type T.

Template Parameters
TThe type of the values.
Note
This class contains the member types result_type, first_argument type, and second_argument type. These aliases have been deprecated in C++17 and removed in C++20.

Member Typedef Documentation

◆ first_argument_type

template<class T = void>
using std::logical_and< T >::first_argument_type = T

Type of the first value to logically AND (deprecated in C++17)(removed in C++20)

◆ result_type

template<class T = void>
using std::logical_and< T >::result_type = bool

Result type of invoking this object (deprecated in C++17)(removed in C++20)

◆ second_argument_type

template<class T = void>
using std::logical_and< T >::second_argument_type = T

Type of the second value to logically AND (deprecated in C++17)(removed in C++20)

Member Function Documentation

◆ ARENE_IGNORE_ARMCLANG()

template<class T = void>
std::logical_and< T >::ARENE_IGNORE_ARMCLANG ( "-Wnull-conversion" ,
"The standard expects the conversions here"  )

◆ ARENE_IGNORE_END()

template<class T = void>
std::logical_and< T >::ARENE_IGNORE_END ( )

◆ ARENE_IGNORE_START()

template<class T = void>
std::logical_and< T >::ARENE_IGNORE_START ( )

◆ operator()()

template<class T = void>
auto std::logical_and< T >::operator() ( T const & lhs,
T const & rhs ) const -> bool
inlineconstexprnoexcept

Returns the logical AND of lhs and rhs.

Template Parameters
UTemplate parameter to enable constraints.
Parameters
lhsThe first value to compute logical AND of
rhsThe second value to compute logical AND of
Returns
Returns the result of invoking lhs && rhs.

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