std::not2
| Определено в заголовочном файле <functional>
|
||
template< class Predicate > std::binary_negate<Predicate> not2(const Predicate& pred); |
(до C++14) | |
template< class Predicate > constexpr std::binary_negate<Predicate> not2(const Predicate& pred); |
(начиная с C++14) (устарело в C++17) (удалено в C++20) |
|
std::not2 это вспомогательная функция для создания функционального объекта, который возвращает дополнение переданной функции бинарного предиката. Созданный объект функции имеет тип std::binary_negate<Predicate>.
Тип бинарного предиката должен определять два типа элементов, first_argument_type и second_argument_type, которые могут быть преобразованы в типы параметров предиката. Функциональные объекты, полученные из std::owner_less, std::ref, std::cref, std::plus, std::minus, std::multiplies, std::divides, std::modulus, std::equal_to, std::not_equal_to, std::greater, std::less, std::greater_equal, std::less_equal, std::logical_not, std::logical_or, std::bit_and, std::bit_or, std::bit_xor, std::mem_fn, std::map::value_comp, std::multimap::value_comp, std::function или из другого вызова std::not2 имеют эти типы определёнными, как и функциональные объекты, производные от устаревшего std::binary_function.
Параметры
| pred | — | бинарный предикат |
Возвращаемое значение
std::not2 возвращает объект типа std::binary_negate<Predicate>, созданный с помощью pred.
Исключения
(нет)
Пример
#include <algorithm>
#include <functional>
#include <iostream>
#include <vector>
struct old_same : std::binary_function<int, int, bool>
{
bool operator()(int a, int b) const { return a == b; }
};
struct new_same
{
bool operator()(int a, int b) const { return a == b; }
};
bool same_fn(int a, int b)
{
return a == b;
}
int main()
{
std::vector<int> v1{0, 1, 2};
std::vector<int> v2{2, 1, 0};
std::vector<bool> v3(v1.size());
std::cout << "отрицание binary_function:\n";
std::transform(v1.begin(), v1.end(), v2.begin(), v3.begin(),
std::not2(old_same()));
std::cout << std::boolalpha;
for (std::size_t i = 0; i < v1.size(); ++i)
std::cout << v1[i] << ' ' << v2[i] << ' ' << v3[i] << '\n';
std::cout << "отрицание стандартного функтора:\n";
std::transform(v1.begin(), v1.end(), v2.begin(), v3.begin(),
std::not2(std::equal_to<int>()));
for (std::size_t i = 0; i < v1.size(); ++i)
std::cout << v1[i] << ' ' << v2[i] << ' ' << v3[i] << '\n';
std::cout << "отрицание std::function:\n";
std::transform(v1.begin(), v1.end(), v2.begin(), v3.begin(),
std::not2(std::function<bool(int,int)>(new_same())));
for (std::size_t i = 0; i < v1.size(); ++i)
std::cout << v1[i] << ' ' << v2[i] << ' ' << v3[i] << '\n';
std::cout << "отрицание std::reference_wrapper:\n";
std::transform(v1.begin(), v1.end(), v2.begin(), v3.begin(),
std::not2(std::ref(same_fn)));
for (std::size_t i = 0; i < v1.size(); ++i)
std::cout << v1[i] << ' ' << v2[i] << ' ' << v3[i] << '\n';
}
Вывод:
отрицание binary_function:
0 2 true
1 1 false
2 0 true
отрицание стандартного функтора:
0 2 true
1 1 false
2 0 true
отрицание std::function:
0 2 true
1 1 false
2 0 true
отрицание std::reference_wrapper:
0 2 true
1 1 false
2 0 true
Смотрите также
(C++17) |
создаёт объект функции, который возвращает дополнение результата объекта функции, который он содержит (шаблон функции) |
(deprecated in C++17)(удалено в C++20) |
объект функции-обёртки, возвращающий дополнение к содержащемуся в нём бинарному предикату (шаблон класса) |
(C++11) |
обёртывает вызываемый объект любого конструируемого копированием типа с указанной сигнатурой вызова функции (шаблон класса) |
(C++23) |
обёртывает вызываемый объект любого типа с указанной сигнатурой вызова функции (шаблон класса) |
(устарело в C++17)(удалено в C++20) |
создаёт пользовательский объект std::unary_negate (шаблон функции) |
(устарело в C++11)(удалено в C++17) |
создаёт совместимую с адаптером обёртку функционального объекта из указателя на функцию (шаблон функции) |
(deprecated in C++11)(удалено в C++17) |
совместимый с адаптером базовый класс бинарной функции (шаблон класса) |