std::not2
来自cppreference.com
< cpp | utility | functional
| 在标头 <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 中移除) |
|
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 返回以 pred 构造的 std::binary_negate<Predicate> 类型的对象。
异常
（无）
示例
运行此代码
#include <algorithm> #include <cstddef> #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) |
创建返回其保有的函数对象的结果之补的函数对象 (函数模板) |
| (C++17 中弃用)(C++20 中移除) |
包装器函数对象，返回所持有的二元谓词的补 (类模板) |
| (C++11) |
任意可复制构造的可调用对象的可复制包装 (类模板) |
| (C++23) |
任意可调用对象的仅移动包装，支持给定调用签名中的限定符 (类模板) |
| (C++17 中弃用)(C++20 中移除) |
构造定制的 std::unary_negate 对象 (函数模板) |
| (deprecated in C++11)(C++17 中移除) |
从函数指针创建与适配器兼容的函数对象包装器 (函数模板) |
| (C++11 中弃用)(C++17 中移除) |
与适配器兼容的二元函数基类 (类模板) |