Структура logical_and

Статья
10/12/2023

Предопределенный объект функции, выполняющий операцию логического сочетания (operator&&) для его аргументов.

Синтаксис

template <class Type = void>
struct logical_and : public binary_function<Type, Type, bool>
{
    bool operator()(const Type& Left, const Type& Right) const;
};

// specialized transparent functor for operator&&
template <>
struct logical_and<void>
{
  template <class T, class U>
  auto operator()(T&& Left, U&& Right) const
    -> decltype(std::forward<T>(Left) && std::forward<U>(Right));
};

Параметры

Тип, T, U
Любой тип, поддерживающий operator&&, принимающий операнды указанного или выводимого типа.

Left
Левый операнд операции логического умножения. Неспециализированный шаблон принимает ссылочный аргумент lvalue типа Type. Специализированный шаблон выполняет идеальную пересылку ссылочных аргументов lvalue и rvalue типа T.

Right
Правый операнд операции логического умножения. Неспециализированный шаблон принимает ссылочный аргумент lvalue типа Type. Специализированный шаблон идеально переадресует аргументы ссылочных аргументов lvalue и rvalue типа U.

Возвращаемое значение

Результат Left && Right. Специализированный шаблон выполняет точную пересылку результата типа, возвращаемого operator&&.

Замечания

Для определяемых пользователем типов нет сокращенного вычисления операнда. Оба аргумента вычисляются operator&&.

Пример

// functional_logical_and.cpp
// compile with: /EHsc

#define _CRT_RAND_S
#include <stdlib.h>
#include <deque>
#include <algorithm>
#include <functional>
#include <iostream>

int main( )
{
   using namespace std;
   deque<bool> d1, d2, d3( 7 );
   deque<bool>::iterator iter1, iter2, iter3;

   unsigned int randomValue;

   int i;
   for ( i = 0 ; i < 7 ; i++ )
   {
      if ( rand_s( &randomValue ) == 0 )
      {
         d1.push_back((bool)(( randomValue % 2 ) != 0));
      }

   }

   int j;
   for ( j = 0 ; j < 7 ; j++ )
   {
      if ( rand_s( &randomValue ) == 0 )
      {
         d2.push_back((bool)(( randomValue % 2 ) != 0));
      }
   }

   cout << boolalpha;    // boolalpha I/O flag on

   cout << "Original deque:\n d1 = ( " ;
   for ( iter1 = d1.begin( ) ; iter1 != d1.end( ) ; iter1++ )
      cout << *iter1 << " ";
   cout << ")" << endl;

   cout << "Original deque:\n d2 = ( " ;
   for ( iter2 = d2.begin( ) ; iter2 != d2.end( ) ; iter2++ )
      cout << *iter2 << " ";
   cout << ")" << endl;

   // To find element-wise conjunction of the truth values
   // of d1 & d2, use the logical_and function object
   transform( d1.begin( ), d1.end( ), d2.begin( ),
      d3.begin( ), logical_and<bool>( ) );
   cout << "The deque which is the conjunction of d1 & d2 is:\n d3 = ( " ;
   for ( iter3 = d3.begin( ) ; iter3 != d3.end( ) ; iter3++ )
      cout << *iter3 << " ";
   cout << ")" << endl;
}

Original deque:
d1 = ( true true true true true false false )
Original deque:
d2 = ( true false true true false true false )
The deque which is the conjunction of d1 & d2 is:
d3 = ( true false true true false false false )

Поделиться через