std::not2
来自 cppreference.cn
定义于头文件 <functional> |
||
template< class Predicate > std::binary_negate<Predicate> not2( const Predicate& pred ); |
(until 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 派生的函数对象也是如此。
目录 |
[edit] 参数
pred | - | 二元谓词 |
[edit] 返回值
std::not2
返回类型为 std::binary_negate<Predicate> 的对象,使用 pred 构造。
[edit] 异常
(无)
[edit] 示例
运行此代码
#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 << "negating a 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 << "negating a standard functor:\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 << "negating a 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 << "negating a 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'; }
输出
negating a binary_function: 0 2 true 1 1 false 2 0 true negating a standard functor: 0 2 true 1 1 false 2 0 true negating a std::function: 0 2 true 1 1 false 2 0 true negating a std::reference_wrapper: 0 2 true 1 1 false 2 0 true
[edit] 参阅
(C++17) |
创建函数对象,该对象返回其所持函数对象结果的补数 (函数模板) |
(C++17 中已弃用)(C++20 中已移除) |
返回其所持二元谓词补集的包装函数对象 (类模板) |
(C++11) |
任何可复制构造的可调用对象的包装器 (类模板) |
(C++23) |
任何支持给定调用签名中限定符的可调用对象的仅移动包装器 (类模板) |
(C++17 中已弃用)(C++20 中已移除) |
构造自定义的 std::unary_negate 对象 (函数模板) |
(C++11 中已废弃)(C++17 中已移除) |
从函数指针创建适配器兼容函数对象包装器 (函数模板) |
(C++11 中已废弃)(C++17 中已移除) |
与适配器兼容的二元函数基类 (类模板) |