Defined in header <functional>
template< class T >
struct logical_and;
(until C++14)
template< class T = void >
struct logical_and;
(since C++14)

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


The standard library provides a specialization of std::logical_and when T is not specified, which leaves the parameter types and return type to be deduced.

function object implementing x && y deducing argument and return types
(class template specialization)
(since C++14)

Member types

Type Definition
result_type (deprecated in C++17)(removed in C++20) bool
first_argument_type (deprecated in C++17)(removed in C++20) T
second_argument_type (deprecated in C++17)(removed in C++20) T

These member types are obtained via publicly inheriting std::binary_function<T, T, bool>.

(until C++11)

Member functions

returns the logical AND of the two arguments
(public member function)


bool operator()( const T& lhs, const T& rhs ) const;
(until C++14)
constexpr bool operator()( const T& lhs, const T& rhs ) const;
(since C++14)

Returns the logical AND of lhs and rhs.


lhs, rhs - values to compute logical AND of

Return value

The result of lhs && rhs.


May throw implementation-defined exceptions.

Possible implementation

constexpr bool operator()(const T &lhs, const T &rhs) const 
    return lhs && rhs;

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.