std::not_fn

工具库

语言支持
类型支持（基本类型、 RTTI 、类型特征）
库功能特性测试宏 (C++20)
动态内存管理
程序工具
错误处理
协程支持 (C++20)
变参数函数
launder (C++17)
initializer_list (C++11)
source_location (C++20)
三路比较 (C++20)
three_way_comparablethree_way_comparable_with (C++20)(C++20)
strong_ordering (C++20)
weak_ordering (C++20)
partial_ordering (C++20)
common_comparison_category (C++20)
compare_three_way_result (C++20)
compare_three_way (C++20)
strong_order (C++20)
weak_order (C++20)
partial_order (C++20)
compare_strong_order_fallback (C++20)
compare_weak_order_fallback (C++20)
compare_partial_order_fallback (C++20)
is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

通用工具

日期和时间
函数对象
bitset

格式化库 (C++20)
hash (C++11)
integer_sequence (C++14)

关系运算符 (C++20 中弃用)

rel_ops::operator!=rel_ops::operator>

rel_ops::operator<=rel_ops::operator>=

整数比较函数

cmp_equalcmp_lesscmp_less_than

(C++20)(C++20)(C++20)

cmp_not_equalcmp_greatercmp_greater_than

(C++20)(C++20)(C++20)

in_range

(C++20)

swap 与类型运算

swap
ranges::swap (C++20)
exchange (C++14)
declval (C++11)

forward (C++11)
move (C++11)
move_if_noexcept (C++11)
as_const (C++17)
to_underlying (C++23)

常用词汇类型

pair
tuple (C++11)
optional (C++17)
any (C++17)
variant (C++17)

tuple_size (C++11)
tuple_element (C++11)
apply (C++17)
make_from_tuple (C++17)

初等字符串转换

to_chars (C++17)
from_chars (C++17)

chars_format

(C++17)

栈踪

stacktrace_entry

(C++23)

basic_stacktrace

(C++23)

函数对象

函数包装
function (C++11)
move_only_function (C++23)
mem_fn (C++11)
bad_function_call (C++11)

部分函数应用
bind (C++11)
bind_front (C++20)
is_bind_expression (C++11)
is_placeholder (C++11)
_1, _2, _3, ... (C++11)

函数调用
invokeinvoke_r (C++17)(C++23)
恒等函数对象
identity (C++20)

引用包装
reference_wrapper (C++11)
refcref (C++11)(C++11)
unwrap_referenceunwrap_ref_decay (C++20)(C++20)

运算符包装

plus
minus
negate
multiplies
divides
modulus
bit_and
bit_or
bit_not (C++14)
bit_xor

equal_to
not_equal_to
greater
less
greater_equal
less_equal
logical_and
logical_or
logical_not

通透运算符包装

plus<> (C++14)
minus<> (C++14)
negate<> (C++14)
multiplies<> (C++14)
divides<> (C++14)
modulus<> (C++14)
bit_and<> (C++14)
bit_or<> (C++14)
bit_not<> (C++14)
bit_xor<> (C++14)

equal_to<> (C++14)
not_equal_to<> (C++14)
greater<> (C++14)
less<> (C++14)
greater_equal<> (C++14)
less_equal<> (C++14)
logical_and<> (C++14)
logical_or<> (C++14)
logical_not<> (C++14)

取反器
not_fn (C++17)
搜索器
default_searcher (C++17)
boyer_moore_searcher (C++17)
boyer_moore_horspool_searcher (C++17)

受约束的比较器
ranges::equal_to (C++20)
ranges::not_equal_to (C++20)
ranges::greater (C++20)
ranges::less (C++20)
ranges::greater_equal (C++20)
ranges::less_equal (C++20)
compare_three_way (C++20)

旧绑定器与适配器

unary_function (C++17 前)
binary_function (C++17 前)
ptr_fun (C++17 前)
pointer_to_unary_function (C++17 前)
pointer_to_binary_function (C++17 前)
mem_fun (C++17 前)
mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (C++17 前)(C++17 前)(C++17 前)(C++17 前)
not1 (C++20 前)
not2 (C++20 前)

binder1stbinder2nd (C++17 前)(C++17 前)
bind1stbind2nd (C++17 前)(C++17 前)

mem_fun_ref (C++17 前)
mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (C++17 前)(C++17 前)(C++17 前)(C++17 前)
unary_negate (C++20 前)
binary_negate (C++20 前)

定义于头文件 `<functional>`
template< class F> /unspecified/ not_fn( F&& f );		(C++17 起) (C++20 前)
template< class F> constexpr /unspecified/ not_fn( F&& f );		(C++20 起)

构造一个转发调用包装器，返回其所保有的可调用对象的逻辑非。

参数

f	-	构造包装器所保有的可调用 (Callable) 对象的来源对象
类型要求
- `std::decay_t<F>` 必须满足可调用 (Callable) 和可移动构造 (MoveConstructible) 的要求。
- 要求 std::is_constructible_v<std::decay_t<F>, F> 为 true

返回值

未指定类型 T 的函数对象。它拥有下列成员：

std::not_fn 返回类型

成员对象

std::not_fn 的返回类型保有一个 std::decay_t<F> 类型的成员对象。

构造函数

	(1)
explicit T(F&& f); // 仅用于阐释			(C++17 起) (C++20 前)
explicit constexpr T(F&& f); // 仅用于阐释			(C++20 起)
T(T&& f) = default; T(const T& f) = default;		(2)

1) 构造函数从 std::forward<F>(f) 直接非列表初始化成员对象（类型为 std::decay_t<F> ）。抛出任何所选构造函数所抛的异常

2) 因为要求 std::decay_t<F> 可移动构造 (MoveConstructible) ，故返回的调用包装器始终为可移动构造 (MoveConstructible) ，并且若 std::decay_t<F> 为可复制构造 (CopyConstructible) ，则为可复制构造 (CopyConstructible) 。

成员函数 `operator()`

	(1)
template<class... Args> auto operator()(Args&&... args) & -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F>&, Args...>>()); template<class... Args> auto operator()(Args&&... args) const& -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F> const&, Args...>>());			(C++17 起) (C++20 前)
template<class... Args> constexpr auto operator()(Args&&... args) & noexcept(/see below/) -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F>&, Args...>>()); template<class... Args> constexpr auto operator()(Args&&... args) const& noexcept(/see below/) -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F> const&, Args...>>());			(C++20 起)
		(2)
template<class... Args> auto operator()(Args&&... args) && -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F>, Args...>>()); template<class... Args> auto operator()(Args&&... args) const&& -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F> const, Args...>>());				(C++17 起) (C++20 前)
template<class... Args> constexpr auto operator()(Args&&... args) && noexcept(/see below/) -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F>, Args...>>()); template<class... Args> constexpr auto operator()(Args&&... args) const&& noexcept(/see below/) -> decltype( !std::declval<std::invoke_result_t<std::decay_t<F> const, Args...>>());				(C++20 起)

1) 等价于 return !std::invoke(fd, std::forward<Args>(args)...) 2) 等价于 return !std::invoke(std::move(fd), std::forward<Args>(args)...)	(C++17 起) (C++20 前)
1) 表达式等价于 !std::invoke(fd, std::forward<Args>(args)...) 2) 表达式等价于 !std::invoke(std::move(fd), std::forward<Args>(args)...)	(C++20 起)

其中 fd 是 std::decay_t<F> 类型的成员对象

异常

不抛出异常，除非 fd 的构造抛出异常。

可能的实现

namespace detail {
    template<class F>
    struct not_fn_t {
        F f;
        template<class... Args>
        constexpr auto operator()(Args&&... args) &
            noexcept(noexcept(!std::invoke(f, std::forward<Args>(args)...)))
            -> decltype(!std::invoke(f, std::forward<Args>(args)...))
        {
            return !std::invoke(f, std::forward<Args>(args)...);
        }
 
        template<class... Args>
        constexpr auto operator()(Args&&... args) const&
            noexcept(noexcept(!std::invoke(f, std::forward<Args>(args)...)))
            -> decltype(!std::invoke(f, std::forward<Args>(args)...))
        {
            return !std::invoke(f, std::forward<Args>(args)...);
        }
 
        template<class... Args>
        constexpr auto operator()(Args&&... args) &&
            noexcept(noexcept(!std::invoke(std::move(f), std::forward<Args>(args)...)))
            -> decltype(!std::invoke(std::move(f), std::forward<Args>(args)...))
        {
            return !std::invoke(std::move(f), std::forward<Args>(args)...);
        }
 
        template<class... Args>
        constexpr auto operator()(Args&&... args) const&&
            noexcept(noexcept(!std::invoke(std::move(f), std::forward<Args>(args)...)))
            -> decltype(!std::invoke(std::move(f), std::forward<Args>(args)...))
        {
            return !std::invoke(std::move(f), std::forward<Args>(args)...);
        }
    };
}
 
template<class F>
constexpr detail::not_fn_t<std::decay_t<F>> not_fn(F&& f)
{
    return { std::forward<F>(f) };
}

注解

not_fn 的目的是取代 C++03 时代的取反器 std::not1 及 std::not2 。

示例

参阅

not1 (C++17 中弃用)(C++20 中移除)	构造定制的 std::unary_negate 对象 (函数模板)
not2 (C++17 中弃用)(C++20 中移除)	构造定制的 std::binary_negate 对象 (函数模板)

语言
标准库头文件
自立与有宿主实现
具名要求
语言支持库
概念库 (C++20)
诊断库
工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
原子操作库 (C++11)
线程支持库 (C++11)
技术规范