close
Пространства имён
Варианты
Действия

std::not1

Материал из cppreference.com
 
 
Библиотека утилит
Языковая поддержка
Поддержка типов (базовые типы, RTTI)
Макросы тестирования функциональности библиотеки (C++20)    
Управление динамической памятью
Программные утилиты
Поддержка сопрограмм (C++20)
Вариативные функции
Трёхстороннее сравнение (C++20)
(C++20)
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
Общие утилиты
Дата и время
Функциональные объекты
Библиотека форматирования (C++20)
(C++11)
Операторы отношения (устарело в C++20)
Целочисленные функции сравнения
(C++20)(C++20)(C++20)    
(C++20)
Операции обмена и типа
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
Общие лексические типы
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
Элементарные преобразования строк
(C++17)
(C++17)
 
Объекты функции
Функции обёртки
(C++11)
(C++11)
Применение частичных функций
(C++20)(C++23)
(C++11)
Вызов функции
(C++17)(C++23)
Объект идентичности функции
(C++20)
Обёртки ссылок
(C++11)(C++11)
Прозрачные обёртки операторов
(C++14)
(C++14)
(C++14)
(C++14)  
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)

Отрицатели
(C++17)
Искатели
Ограниченные компараторы
Старые привязки и адаптеры
(до C++17*)
(до C++17*)
(до C++17*)
(до C++17*)
(до C++17*)(до C++17*)(до C++17*)(до C++17*)
(до C++20*)
(до C++20*)
(до C++17*)(до C++17*)
(до C++17*)(до C++17*)

(до C++17*)
(до C++17*)(до C++17*)(до C++17*)(до C++17*)
(до C++20*)
(до C++20*)
 
<tbody> </tbody> <tbody class="t-dcl-rev "> </tbody><tbody> </tbody>
Определено в заголовочном файле <functional>
template< class Predicate > std::unary_negate<Predicate> not1(const Predicate& pred);
(до C++14)
template< class Predicate > constexpr std::unary_negate<Predicate> not1(const Predicate& pred);
(начиная с C++14)
(устарело в C++17)
(удалено в C++20)

std::not1 это вспомогательная функция для создания функционального объекта, который возвращает дополнение переданной функции унарного предиката. Созданный объект функции имеет тип std::unary_negate<Predicate>.

Унарный тип предиката должен определять тип элемента argument_type, который может быть преобразован в тип параметра предиката. Объекты унарной функции, полученные из std::ref, std::cref, std::negate, std::logical_not, std::mem_fn, std::function, std::hash или из другого вызова std::not1 имеют это тип определённым, как и функциональные объекты, произведённые от устаревшего std::unary_function.

Параметры

pred унарный предикат

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

std::not1 возвращает объект типа std::unary_negate<Predicate>, созданный с помощью pred.

Исключения

(нет)

Пример

#include <algorithm>
#include <functional>
#include <iostream>
#include <vector>
#include <iterator>
#include <numeric>

struct LessThan7 : std::unary_function<int, bool>
{
    bool operator()(int i) const { return i < 7; }
};

int main()
{
    std::vector<int> v(10);
    std::iota(std::begin(v), std::end(v), 0);
    
    std::cout << std::count_if(begin(v), end(v), std::not1(LessThan7())) << '\n';
    
    //то же, что и выше, но с использованием `std::function`
    std::function<bool(int)> less_than_9 = [](int x){ return x < 9; };
    std::cout << std::count_if(begin(v), end(v), std::not1(less_than_9)) << '\n';
}

Вывод:

3
1

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

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