std::experimental::not_fn

来自cppreference.com
 
C++
 
实验性
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
实验性非 TS 功能特性
模式匹配
线性代数
std::execution
契约
2D 图形
 
库基础 v2
 
并入 ISO C++ 此页面上描述的功能自 2016 年 3 月起已并入主线 ISO C++ 标准；见 std::not_fn (C++17 起)
在标头 <experimental/functional> 定义 
template< class F>
/* 未指明 */ not_fn( F&& f );
(库基础 TS v2)

创建转发调用包装器，它返回其所保有的可调用对象的逻辑补。

参数

f - 对象，从该对象构造包装器所保有的可调用对象

返回值

令 FD 为 std::decay_t<F>，fd 为从 std::forward<F>(f) 构造的 FD 类型的左值。

则 not_fn 返回未指定类型的转发调用包装器，使得 fn(a1, a2, ..., aN) 等价于 !INVOKE(fd, a1, ..., aN)，其中 INVOKE 是 可调用 (Callable) 中描述的操作。

返回的调用包装器始终为可移动构造 (MoveConstructible) ，且若 FD 为可复制构造 (CopyConstructible) 则它亦为可复制构造 (CopyConstructible) 。

说明

若 fd 非可调用 (Callable) ，或 std::is_constructible<FD, F>::value 非 true，则行为未定义。

异常

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

可能的实现

namespace detail {
    template<class F>
    struct not_fn_t {
        F f;
        template<class... Args>
        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)...);
        }

        // cv-qualified overload for QoI
        template<class... Args>
        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>
        auto operator()(Args&&... args) volatile
            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>
        auto operator()(Args&&... args) const volatile
            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 F>
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。

参阅

(C++17)
 创建返回其保有的函数对象的结果之补的函数对象
(函数模板) [编辑]