Namespaces
Variants

std:: binary_function

From cppreference.net
Utilities library
Function objects
Function invocation
(C++17) (C++23)
Identity function object
(C++20)
Old binders and adaptors
( until C++17* )
binary_function
( until C++17* )
( until C++17* )
( until C++17* )
( until C++17* ) ( until C++17* ) ( until C++17* ) ( until C++17* )
( until C++20* )
( until C++20* )
( until C++17* ) ( until C++17* )
( until C++17* ) ( until C++17* )

( until C++17* )
( until C++17* ) ( until C++17* ) ( until C++17* ) ( until C++17* )
( until C++20* )
( until C++20* )
Определено в заголовке <functional>
template <

class Arg1,
class Arg2,
class Result

> struct binary_function ;
(устарело в C++11)
(удалено в C++17)

std::binary_function является базовым классом для создания функциональных объектов с двумя аргументами.

std::binary_function не определяет operator ( ) ; предполагается, что производные классы определят его. std::binary_function предоставляет только три типа - first_argument_type , second_argument_type и result_type - определяемые параметрами шаблона.

Некоторые адаптеры функциональных объектов стандартной библиотеки, такие как std::not2 , требуют, чтобы адаптируемые функциональные объекты имели определенные типы; std::not2 требует, чтобы адаптируемый функциональный объект имел два типа с именами first_argument_type и second_argument_type . Наследование функциональных объектов, принимающих два аргумента, от std::binary_function является простым способом сделать их совместимыми с этими адаптерами.

std::binary_function устарел в C++11 и удалён в C++17.

Типы членов

Тип Определение
first_argument_type Arg1
second_argument_type Arg2
result_type Result

Пример

#include <algorithm>
#include <functional>
#include <iostream>
#include <vector>
struct same : std::binary_function<int, int, bool>
{
    bool operator()(int a, int b) const { return a == b; }
};
int main()
{
    std::vector<char> v1{'A', 'B', 'C', 'D', 'E'};
    std::vector<char> v2{'E', 'D', 'C', 'B', 'A'};
    std::vector<bool> v3(v1.size());
    std::transform(v1.begin(), v1.end(), v2.begin(), v3.begin(), std::not2(same()));
    std::cout << std::boolalpha;
    for (std::size_t i = 0; i < v1.size(); ++i)
        std::cout << v1[i] << " != " << v2[i] << " : " << v3[i] << '\n';
}

Вывод:

A != E : true
B != D : true
C != C : false
D != B : true
E != A : true

Смотрите также

(C++11)
копируемая обёртка для любого копируемого вызываемого объекта
(шаблон класса)
перемещаемая обёртка для любого вызываемого объекта, поддерживающего квалификаторы в заданной сигнатуре вызова
(шаблон класса)
(deprecated in C++11) (removed in C++17)
создаёт обёртку функционального объекта, совместимую с адаптерами, из указателя на функцию
(шаблон функции)
(deprecated in C++11) (removed in C++17)
совместимая с адаптерами обёртка для указателя на бинарную функцию
(шаблон класса)
(deprecated in C++11) (removed in C++17)
базовый класс унарной функции, совместимый с адаптерами
(шаблон класса)